Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo1.6-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_min-enc_planning_driverlog09.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlog09.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 14	Core Weight: 20	Total Weight: 20
c Current CPU time: 0.179972 s
c
c core #2
c 
c 
c Core size: 14	Core Weight: 20	Total Weight: 40
c Current CPU time: 0.237963 s
c
c core #3
c 
c 
c Core size: 80	Core Weight: 20	Total Weight: 60
c Current CPU time: 0.297954 s
c
c core #4
c 
c 
c Core size: 148	Core Weight: 20	Total Weight: 80
c Current CPU time: 0.356945 s
c
c core #5
c 
c 
c Core size: 69	Core Weight: 10	Total Weight: 90
c Current CPU time: 0.419936 s
c
c core #6
c 
c 
c Core size: 82	Core Weight: 10	Total Weight: 100
c Current CPU time: 0.479927 s
c
c core #7
c 
c 
c Core size: 89	Core Weight: 10	Total Weight: 110
c Current CPU time: 0.542917 s
c
c core #8
c 
c 
c Core size: 87	Core Weight: 10	Total Weight: 120
c Current CPU time: 0.603908 s
c
c core #9
c 
c 
c Core size: 113	Core Weight: 10	Total Weight: 130
c Current CPU time: 0.667898 s
c
c core #10
c 
c 
c Core size: 143	Core Weight: 10	Total Weight: 140
c Current CPU time: 0.730888 s
c
c core #11
c 
c 
c Core size: 128	Core Weight: 10	Total Weight: 150
c Current CPU time: 0.795879 s
c
c core #12
c 
c 
c Core size: 151	Core Weight: 10	Total Weight: 160
c Current CPU time: 0.857869 s
c
c core #13
c 
c 
c Core size: 190	Core Weight: 10	Total Weight: 170
c Current CPU time: 0.925859 s
c
c core #14
c 
c 
c Core size: 242	Core Weight: 10	Total Weight: 180
c Current CPU time: 0.991849 s
c
c core #15
c 
c 
c Core size: 222	Core Weight: 10	Total Weight: 190
c Current CPU time: 1.06484 s
c
c core #16
c 
c 
c Core size: 323	Core Weight: 10	Total Weight: 200
c Current CPU time: 1.14083 s
c
c core #17
c 
c 
c Core size: 95	Core Weight: 10	Total Weight: 210
c Current CPU time: 1.21281 s
c
c core #18
c 
c 
c Core size: 567	Core Weight: 10	Total Weight: 220
c Current CPU time: 1.2888 s
c
c core #19
c 
c 
c Core size: 216	Core Weight: 10	Total Weight: 230
c Current CPU time: 1.37079 s
c
c core #20
c 
c 
c Core size: 349	Core Weight: 10	Total Weight: 240
c Current CPU time: 1.44878 s
c
c core #21
c 
c 
c Core size: 649	Core Weight: 10	Total Weight: 250
c Current CPU time: 1.53577 s
c
c core #22
c 
c 
c Core size: 422	Core Weight: 10	Total Weight: 260
c Current CPU time: 1.62175 s
c
c core #23
c 
c 
c Core size: 192	Core Weight: 10	Total Weight: 270
c Current CPU time: 1.70674 s
c
c core #24
c 
c 
c Core size: 550	Core Weight: 10	Total Weight: 280
c Current CPU time: 1.79873 s
c
c core #25
c 
c 
c Core size: 289	Core Weight: 10	Total Weight: 290
c Current CPU time: 1.88571 s
c
c core #26
c 
c 
c Core size: 348	Core Weight: 10	Total Weight: 300
c Current CPU time: 1.9767 s
c
c core #27
c 
c 
c Core size: 481	Core Weight: 10	Total Weight: 310
c Current CPU time: 2.09268 s
c
c core #28
c 
c 
c Core size: 608	Core Weight: 10	Total Weight: 320
c Current CPU time: 2.20167 s
c
c core #29
c 
c 
c Core size: 1187	Core Weight: 10	Total Weight: 330
c Current CPU time: 2.40163 s
c
c core #30
c 
c 
c Core size: 407	Core Weight: 10	Total Weight: 340
c Current CPU time: 2.54761 s
c
c core #31
c 
c 
c Core size: 848	Core Weight: 10	Total Weight: 350
c Current CPU time: 2.82757 s
c
c core #32
c 
c 
c Core size: 61	Core Weight: 10	Total Weight: 360
c Current CPU time: 2.94155 s
c
c core #33
c 
c 
c Core size: 1342	Core Weight: 10	Total Weight: 370
c Current CPU time: 3.2735 s
c
c core #34
c 
c 
c Core size: 1083	Core Weight: 10	Total Weight: 380
c Current CPU time: 3.87641 s
c
c core #35
c 
c 
c Core size: 828	Core Weight: 10	Total Weight: 390
c Current CPU time: 4.76228 s
c
c core #36
c 
c 
c Core size: 1516	Core Weight: 10	Total Weight: 400
c Current CPU time: 7.83581 s
c
c core #37
c 
c 
c Core size: 1159	Core Weight: 10	Total Weight: 410
c Current CPU time: 11.2463 s
c
c core #38
c 
c 
c Core size: 1089	Core Weight: 10	Total Weight: 420
c Current CPU time: 14.1159 s
c
c core #39
c 
c 
c Core size: 530	Core Weight: 10	Total Weight: 430
c Current CPU time: 15.2027 s
c
c core #40
c 
c 
c Core size: 374	Core Weight: 10	Total Weight: 440
c Current CPU time: 17.4663 s
c
c core #41
c 
c 
c Core size: 556	Core Weight: 10	Total Weight: 450
c Current CPU time: 40.9448 s
c
c core #42
c 
c 
c Core size: 367	Core Weight: 10	Total Weight: 460
c Current CPU time: 42.6925 s
c
c core #43
c 
c 
c Core size: 530	Core Weight: 10	Total Weight: 470
c Current CPU time: 45.0102 s
c
c core #44
c 
c 
c Core size: 263	Core Weight: 10	Total Weight: 480
c Current CPU time: 46.5099 s
c
c core #45
c 
c 
c Core size: 233	Core Weight: 10	Total Weight: 490
c Current CPU time: 47.9457 s
c
c core #46
c 
c 
c Core size: 522	Core Weight: 10	Total Weight: 500
c Current CPU time: 51.4942 s
c
c core #47
c 
c 
c Core size: 299	Core Weight: 10	Total Weight: 510
c Current CPU time: 200.541 s
c
c core #48
c 
c 
c Core size: 547	Core Weight: 10	Total Weight: 520
c Current CPU time: 1708.17 s
c
c #cores: 48
s UNKNOWN
1800.000u 2.430s 30:13.42 99.3%	0+0k 0+0io 0pf+0w