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_driverlog05ac.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlog05ac.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 18	Core Weight: 35	Total Weight: 35
c Current CPU time: 0.086986 s
c
c core #2
c 
c 
c Core size: 18	Core Weight: 5	Total Weight: 40
c Current CPU time: 0.118981 s
c
c core #3
c 
c 
c Core size: 12	Core Weight: 25	Total Weight: 65
c Current CPU time: 0.151976 s
c
c core #4
c 
c 
c Core size: 12	Core Weight: 25	Total Weight: 90
c Current CPU time: 0.183972 s
c
c core #5
c 
c 
c Core size: 66	Core Weight: 125	Total Weight: 215
c Current CPU time: 0.216967 s
c
c core #6
c 
c 
c Core size: 31	Core Weight: 5	Total Weight: 220
c Current CPU time: 0.250961 s
c
c core #7
c 
c 
c Core size: 69	Core Weight: 5	Total Weight: 225
c Current CPU time: 0.286956 s
c
c core #8
c 
c 
c Core size: 50	Core Weight: 35	Total Weight: 260
c Current CPU time: 0.320951 s
c
c core #9
c 
c 
c Core size: 51	Core Weight: 40	Total Weight: 300
c Current CPU time: 0.356945 s
c
c core #10
c 
c 
c Core size: 154	Core Weight: 5	Total Weight: 305
c Current CPU time: 0.397939 s
c
c core #11
c 
c 
c Core size: 95	Core Weight: 95	Total Weight: 400
c Current CPU time: 0.435933 s
c
c core #12
c 
c 
c Core size: 45	Core Weight: 5	Total Weight: 405
c Current CPU time: 0.472928 s
c
c core #13
c 
c 
c Core size: 168	Core Weight: 5	Total Weight: 410
c Current CPU time: 0.513921 s
c
c core #14
c 
c 
c Core size: 73	Core Weight: 15	Total Weight: 425
c Current CPU time: 0.556915 s
c
c core #15
c 
c 
c Core size: 178	Core Weight: 5	Total Weight: 430
c Current CPU time: 0.608907 s
c
c core #16
c 
c 
c Core size: 84	Core Weight: 15	Total Weight: 445
c Current CPU time: 0.657899 s
c
c core #17
c 
c 
c Core size: 218	Core Weight: 5	Total Weight: 450
c Current CPU time: 0.713891 s
c
c core #18
c 
c 
c Core size: 63	Core Weight: 5	Total Weight: 455
c Current CPU time: 0.758884 s
c
c core #19
c 
c 
c Core size: 63	Core Weight: 10	Total Weight: 465
c Current CPU time: 0.802877 s
c
c core #20
c 
c 
c Core size: 68	Core Weight: 5	Total Weight: 470
c Current CPU time: 0.847871 s
c
c core #21
c 
c 
c Core size: 66	Core Weight: 10	Total Weight: 480
c Current CPU time: 0.891864 s
c
c core #22
c 
c 
c Core size: 63	Core Weight: 10	Total Weight: 490
c Current CPU time: 0.936857 s
c
c core #23
c 
c 
c Core size: 47	Core Weight: 10	Total Weight: 500
c Current CPU time: 0.98085 s
c
c core #24
c 
c 
c Core size: 58	Core Weight: 15	Total Weight: 515
c Current CPU time: 1.01984 s
c
c core #25
c 
c 
c Core size: 68	Core Weight: 5	Total Weight: 520
c Current CPU time: 1.06484 s
c
c core #26
c 
c 
c Core size: 67	Core Weight: 5	Total Weight: 525
c Current CPU time: 1.10983 s
c
c core #27
c 
c 
c Core size: 65	Core Weight: 5	Total Weight: 530
c Current CPU time: 1.15582 s
c
c core #28
c 
c 
c Core size: 55	Core Weight: 5	Total Weight: 535
c Current CPU time: 1.20182 s
c
c core #29
c 
c 
c Core size: 62	Core Weight: 5	Total Weight: 540
c Current CPU time: 1.24781 s
c
c core #30
c 
c 
c Core size: 75	Core Weight: 5	Total Weight: 545
c Current CPU time: 1.2948 s
c
c core #31
c 
c 
c Core size: 39	Core Weight: 5	Total Weight: 550
c Current CPU time: 1.34279 s
c
c core #32
c 
c 
c Core size: 94	Core Weight: 5	Total Weight: 555
c Current CPU time: 1.39379 s
c
c core #33
c 
c 
c Core size: 211	Core Weight: 5	Total Weight: 560
c Current CPU time: 1.45778 s
c
c core #34
c 
c 
c Core size: 215	Core Weight: 5	Total Weight: 565
c Current CPU time: 1.52077 s
c
c core #35
c 
c 
c Core size: 229	Core Weight: 5	Total Weight: 570
c Current CPU time: 1.58676 s
c
c core #36
c 
c 
c Core size: 181	Core Weight: 5	Total Weight: 575
c Current CPU time: 1.65475 s
c
c core #37
c 
c 
c Core size: 49	Core Weight: 25	Total Weight: 600
c Current CPU time: 1.70274 s
c
c core #38
c 
c 
c Core size: 243	Core Weight: 5	Total Weight: 605
c Current CPU time: 1.76873 s
c
c core #39
c 
c 
c Core size: 118	Core Weight: 5	Total Weight: 610
c Current CPU time: 1.82772 s
c
c core #40
c 
c 
c Core size: 167	Core Weight: 5	Total Weight: 615
c Current CPU time: 1.89671 s
c
c core #41
c 
c 
c Core size: 100	Core Weight: 5	Total Weight: 620
c Current CPU time: 1.9507 s
c
c core #42
c 
c 
c Core size: 149	Core Weight: 5	Total Weight: 625
c Current CPU time: 2.01669 s
c
c core #43
c 
c 
c Core size: 142	Core Weight: 5	Total Weight: 630
c Current CPU time: 2.07868 s
c
c core #44
c 
c 
c Core size: 210	Core Weight: 5	Total Weight: 635
c Current CPU time: 2.14767 s
c
c core #45
c 
c 
c Core size: 191	Core Weight: 5	Total Weight: 640
c Current CPU time: 2.22366 s
c
c core #46
c 
c 
c Core size: 171	Core Weight: 5	Total Weight: 645
c Current CPU time: 2.31165 s
c
c core #47
c 
c 
c Core size: 161	Core Weight: 5	Total Weight: 650
c Current CPU time: 2.39264 s
c
c core #48
c 
c 
c Core size: 130	Core Weight: 5	Total Weight: 655
c Current CPU time: 2.46362 s
c
c core #49
c 
c 
c Core size: 178	Core Weight: 5	Total Weight: 660
c Current CPU time: 2.54761 s
c
c core #50
c 
c 
c Core size: 167	Core Weight: 5	Total Weight: 665
c Current CPU time: 2.6216 s
c
c core #51
c 
c 
c Core size: 175	Core Weight: 5	Total Weight: 670
c Current CPU time: 2.69059 s
c
c core #52
c 
c 
c Core size: 135	Core Weight: 5	Total Weight: 675
c Current CPU time: 2.75658 s
c
c core #53
c 
c 
c Core size: 164	Core Weight: 5	Total Weight: 680
c Current CPU time: 2.82457 s
c
c core #54
c 
c 
c Core size: 214	Core Weight: 5	Total Weight: 685
c Current CPU time: 2.90856 s
c
c core #55
c 
c 
c Core size: 79	Core Weight: 5	Total Weight: 690
c Current CPU time: 2.98455 s
c
c core #56
c 
c 
c Core size: 220	Core Weight: 5	Total Weight: 695
c Current CPU time: 3.07953 s
c
c core #57
c 
c 
c Core size: 111	Core Weight: 5	Total Weight: 700
c Current CPU time: 3.15852 s
c
c core #58
c 
c 
c Core size: 111	Core Weight: 5	Total Weight: 705
c Current CPU time: 3.23451 s
c
c core #59
c 
c 
c Core size: 174	Core Weight: 5	Total Weight: 710
c Current CPU time: 3.32449 s
c
c core #60
c 
c 
c Core size: 200	Core Weight: 5	Total Weight: 715
c Current CPU time: 3.43148 s
c
c core #61
c 
c 
c Core size: 230	Core Weight: 5	Total Weight: 720
c Current CPU time: 3.51147 s
c
c core #62
c 
c 
c Core size: 218	Core Weight: 5	Total Weight: 725
c Current CPU time: 3.59245 s
c
c core #63
c 
c 
c Core size: 207	Core Weight: 5	Total Weight: 730
c Current CPU time: 3.69044 s
c
c core #64
c 
c 
c Core size: 229	Core Weight: 5	Total Weight: 735
c Current CPU time: 3.80442 s
c
c core #65
c 
c 
c Core size: 245	Core Weight: 5	Total Weight: 740
c Current CPU time: 3.9244 s
c
c core #66
c 
c 
c Core size: 350	Core Weight: 5	Total Weight: 745
c Current CPU time: 4.04738 s
c
c core #67
c 
c 
c Core size: 348	Core Weight: 5	Total Weight: 750
c Current CPU time: 4.17436 s
c
c core #68
c 
c 
c Core size: 432	Core Weight: 5	Total Weight: 755
c Current CPU time: 4.33334 s
c
c core #69
c 
c 
c Core size: 312	Core Weight: 5	Total Weight: 760
c Current CPU time: 4.53031 s
c
c core #70
c 
c 
c Core size: 309	Core Weight: 5	Total Weight: 765
c Current CPU time: 4.68629 s
c
c core #71
c 
c 
c Core size: 277	Core Weight: 5	Total Weight: 770
c Current CPU time: 5.2402 s
c
c core #72
c 
c 
c Core size: 309	Core Weight: 5	Total Weight: 775
c Current CPU time: 5.37118 s
c
c core #73
c 
c 
c Core size: 259	Core Weight: 5	Total Weight: 780
c Current CPU time: 5.49416 s
c
c core #74
c 
c 
c Core size: 414	Core Weight: 5	Total Weight: 785
c Current CPU time: 5.64814 s
c
c core #75
c 
c 
c Core size: 257	Core Weight: 5	Total Weight: 790
c Current CPU time: 10.2714 s
c
c core #76
c 
c 
c Core size: 222	Core Weight: 5	Total Weight: 795
c Current CPU time: 10.4544 s
c
c core #77
c 
c 
c Core size: 277	Core Weight: 5	Total Weight: 800
c Current CPU time: 10.5924 s
c
c core #78
c 
c 
c Core size: 272	Core Weight: 5	Total Weight: 805
c Current CPU time: 38.8571 s
c
c core #79
c 
c 
c Core size: 373	Core Weight: 5	Total Weight: 810
c Current CPU time: 62.0236 s
c
c core #80
c 
c 
c Core size: 395	Core Weight: 5	Total Weight: 815
c Current CPU time: 95.0755 s
c
c core #81
c 
c 
c Core size: 276	Core Weight: 5	Total Weight: 820
c Current CPU time: 95.2725 s
c
c core #82
c 
c 
c Core size: 236	Core Weight: 5	Total Weight: 825
c Current CPU time: 95.4045 s
c
c #cores: 82
s UNKNOWN
1800.003u 3.923s 30:11.76 99.5%	0+0k 0+0io 0pf+0w