Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-pms_crafted-_home_maxsat_benchmarks_pms_crafted_job-shop_ft10-808-1090.wcnf
Job file: /home/maxsat/benchmarks/pms_crafted/job-shop/ft10-808-1090.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 929	Core Weight: 1	Total Weight: 1
c Current CPU time: 3.9654 s
c
c core #2
c 
c 
c Core size: 581	Core Weight: 1	Total Weight: 2
c Current CPU time: 6.86396 s
c
c core #3
c 
c 
c Core size: 801	Core Weight: 1	Total Weight: 3
c Current CPU time: 9.56954 s
c
c core #4
c 
c 
c Core size: 889	Core Weight: 1	Total Weight: 4
c Current CPU time: 11.7812 s
c
c core #5
c 
c 
c Core size: 671	Core Weight: 1	Total Weight: 5
c Current CPU time: 13.6029 s
c
c core #6
c 
c 
c Core size: 416	Core Weight: 1	Total Weight: 6
c Current CPU time: 15.8296 s
c
c core #7
c 
c 
c Core size: 656	Core Weight: 1	Total Weight: 7
c Current CPU time: 17.8143 s
c
c core #8
c 
c 
c Core size: 645	Core Weight: 1	Total Weight: 8
c Current CPU time: 20.5679 s
c
c core #9
c 
c 
c Core size: 500	Core Weight: 1	Total Weight: 9
c Current CPU time: 22.2026 s
c
c core #10
c 
c 
c Core size: 383	Core Weight: 1	Total Weight: 10
c Current CPU time: 24.8242 s
c
c core #11
c 
c 
c Core size: 302	Core Weight: 1	Total Weight: 11
c Current CPU time: 27.6878 s
c
c core #12
c 
c 
c Core size: 676	Core Weight: 1	Total Weight: 12
c Current CPU time: 29.7895 s
c
c core #13
c 
c 
c Core size: 490	Core Weight: 1	Total Weight: 13
c Current CPU time: 31.8422 s
c
c core #14
c 
c 
c Core size: 548	Core Weight: 1	Total Weight: 14
c Current CPU time: 34.1708 s
c
c core #15
c 
c 
c Core size: 349	Core Weight: 1	Total Weight: 15
c Current CPU time: 37.1184 s
c
c core #16
c 
c 
c Core size: 1125	Core Weight: 1	Total Weight: 16
c Current CPU time: 40.8158 s
c
c core #17
c 
c 
c Core size: 499	Core Weight: 1	Total Weight: 17
c Current CPU time: 43.3484 s
c
c core #18
c 
c 
c Core size: 749	Core Weight: 1	Total Weight: 18
c Current CPU time: 45.6081 s
c
c core #19
c 
c 
c Core size: 978	Core Weight: 1	Total Weight: 19
c Current CPU time: 48.5186 s
c
c core #20
c 
c 
c Core size: 945	Core Weight: 1	Total Weight: 20
c Current CPU time: 52.1991 s
c
c core #21
c 
c 
c Core size: 1281	Core Weight: 1	Total Weight: 21
c Current CPU time: 55.7985 s
c
c core #22
c 
c 
c Core size: 1184	Core Weight: 1	Total Weight: 22
c Current CPU time: 59.476 s
c
c core #23
c 
c 
c Core size: 1126	Core Weight: 1	Total Weight: 23
c Current CPU time: 64.2092 s
c
c core #24
c 
c 
c Core size: 1181	Core Weight: 1	Total Weight: 24
c Current CPU time: 68.7805 s
c
c core #25
c 
c 
c Core size: 2427	Core Weight: 1	Total Weight: 25
c Current CPU time: 78.77 s
c
c core #26
c 
c 
c Core size: 1225	Core Weight: 1	Total Weight: 26
c Current CPU time: 85.193 s
c
c core #27
c 
c 
c Core size: 2431	Core Weight: 1	Total Weight: 27
c Current CPU time: 95.6195 s
c
c core #28
c 
c 
c Core size: 2187	Core Weight: 1	Total Weight: 28
c Current CPU time: 105.275 s
c
c core #29
c 
c 
c Core size: 2003	Core Weight: 1	Total Weight: 29
c Current CPU time: 114.431 s
c
c core #30
c 
c 
c Core size: 2881	Core Weight: 1	Total Weight: 30
c Current CPU time: 133.652 s
c
c core #31
c 
c 
c Core size: 4590	Core Weight: 1	Total Weight: 31
c Current CPU time: 172.061 s
c
c core #32
c 
c 
c Core size: 5681	Core Weight: 1	Total Weight: 32
c Current CPU time: 230.584 s
c
c core #33
c 
c 
c Core size: 6627	Core Weight: 1	Total Weight: 33
c Current CPU time: 346.313 s
c
c core #34
c 
c 
c Core size: 4919	Core Weight: 1	Total Weight: 34
c Current CPU time: 387.521 s
c
c core #35
c 
c 
c Core size: 3038	Core Weight: 1	Total Weight: 35
c Current CPU time: 405.627 s
c
c core #36
c 
c 
c Core size: 9449	Core Weight: 1	Total Weight: 36
c Current CPU time: 585.72 s
c
c core #37
c 
c 
c Core size: 3808	Core Weight: 1	Total Weight: 37
c Current CPU time: 657.546 s
c
c core #38
c 
c 
c Core size: 6973	Core Weight: 1	Total Weight: 38
c Current CPU time: 798.055 s
c
c core #39
c 
c 
c Core size: 4136	Core Weight: 1	Total Weight: 39
c Current CPU time: 854.134 s
c
c core #40
c 
c 
c Core size: 7562	Core Weight: 1	Total Weight: 40
c Current CPU time: 978.807 s
c
c core #41
c 
c 
c Core size: 7600	Core Weight: 1	Total Weight: 41
c Current CPU time: 1139.62 s
c
c core #42
c 
c 
c Core size: 4985	Core Weight: 1	Total Weight: 42
c Current CPU time: 1203.86 s
c
c core #43
c 
c 
c Core size: 5346	Core Weight: 1	Total Weight: 43
c Current CPU time: 1271.81 s
c
c core #44
c 
c 
c Core size: 6864	Core Weight: 1	Total Weight: 44
c Current CPU time: 1373.06 s
c
c core #45
c 
c 
c Core size: 1093	Core Weight: 1	Total Weight: 45
c Current CPU time: 1394.53 s
c
c core #46
c 
c 
c Core size: 48	Core Weight: 1	Total Weight: 46
c Current CPU time: 1407.77 s
c
c core #47
c 
c 
c Core size: 488	Core Weight: 1	Total Weight: 47
c Current CPU time: 1429.21 s
c
c core #48
c 
c 
c Core size: 1007	Core Weight: 1	Total Weight: 48
c Current CPU time: 1440.38 s
c
c core #49
c 
c 
c Core size: 838	Core Weight: 1	Total Weight: 49
c Current CPU time: 1449.94 s
c
c core #50
c 
c 
c Core size: 2742	Core Weight: 1	Total Weight: 50
c Current CPU time: 1558 s
c
c core #51
c 
c 
c Core size: 49	Core Weight: 1	Total Weight: 51
c Current CPU time: 1563.96 s
c
c core #52
c 
c 
c Core size: 2239	Core Weight: 1	Total Weight: 52
c Current CPU time: 1715.96 s
c
c core #53
c 
c 
c Core size: 62	Core Weight: 1	Total Weight: 53
c Current CPU time: 1785.3 s
c
c core #54
c 
c 
c Core size: 66	Core Weight: 1	Total Weight: 54
c Current CPU time: 1793.6 s
c
c #cores: 54
s UNKNOWN
1800.009u 1.216s 30:07.21 99.6%	0+0k 0+0io 0pf+0w