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_driverlog05c.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlog05c.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.071989 s
c
c core #2
c 
c 
c Core size: 18	Core Weight: 5	Total Weight: 40
c Current CPU time: 0.101984 s
c
c core #3
c 
c 
c Core size: 12	Core Weight: 25	Total Weight: 65
c Current CPU time: 0.12898 s
c
c core #4
c 
c 
c Core size: 12	Core Weight: 25	Total Weight: 90
c Current CPU time: 0.158975 s
c
c core #5
c 
c 
c Core size: 66	Core Weight: 125	Total Weight: 215
c Current CPU time: 0.188971 s
c
c core #6
c 
c 
c Core size: 31	Core Weight: 5	Total Weight: 220
c Current CPU time: 0.219966 s
c
c core #7
c 
c 
c Core size: 69	Core Weight: 5	Total Weight: 225
c Current CPU time: 0.250961 s
c
c core #8
c 
c 
c Core size: 50	Core Weight: 35	Total Weight: 260
c Current CPU time: 0.282956 s
c
c core #9
c 
c 
c Core size: 51	Core Weight: 40	Total Weight: 300
c Current CPU time: 0.315951 s
c
c core #10
c 
c 
c Core size: 154	Core Weight: 5	Total Weight: 305
c Current CPU time: 0.350946 s
c
c core #11
c 
c 
c Core size: 95	Core Weight: 95	Total Weight: 400
c Current CPU time: 0.385941 s
c
c core #12
c 
c 
c Core size: 45	Core Weight: 5	Total Weight: 405
c Current CPU time: 0.419936 s
c
c core #13
c 
c 
c Core size: 168	Core Weight: 5	Total Weight: 410
c Current CPU time: 0.45693 s
c
c core #14
c 
c 
c Core size: 73	Core Weight: 15	Total Weight: 425
c Current CPU time: 0.492925 s
c
c core #15
c 
c 
c Core size: 178	Core Weight: 5	Total Weight: 430
c Current CPU time: 0.538918 s
c
c core #16
c 
c 
c Core size: 84	Core Weight: 15	Total Weight: 445
c Current CPU time: 0.584911 s
c
c core #17
c 
c 
c Core size: 218	Core Weight: 5	Total Weight: 450
c Current CPU time: 0.633903 s
c
c core #18
c 
c 
c Core size: 63	Core Weight: 5	Total Weight: 455
c Current CPU time: 0.672897 s
c
c core #19
c 
c 
c Core size: 63	Core Weight: 10	Total Weight: 465
c Current CPU time: 0.711891 s
c
c core #20
c 
c 
c Core size: 68	Core Weight: 5	Total Weight: 470
c Current CPU time: 0.752885 s
c
c core #21
c 
c 
c Core size: 66	Core Weight: 10	Total Weight: 480
c Current CPU time: 0.791879 s
c
c core #22
c 
c 
c Core size: 63	Core Weight: 10	Total Weight: 490
c Current CPU time: 0.830873 s
c
c core #23
c 
c 
c Core size: 47	Core Weight: 10	Total Weight: 500
c Current CPU time: 0.870867 s
c
c core #24
c 
c 
c Core size: 58	Core Weight: 15	Total Weight: 515
c Current CPU time: 0.911861 s
c
c core #25
c 
c 
c Core size: 68	Core Weight: 5	Total Weight: 520
c Current CPU time: 0.950855 s
c
c core #26
c 
c 
c Core size: 67	Core Weight: 5	Total Weight: 525
c Current CPU time: 0.991849 s
c
c core #27
c 
c 
c Core size: 65	Core Weight: 5	Total Weight: 530
c Current CPU time: 1.02984 s
c
c core #28
c 
c 
c Core size: 55	Core Weight: 5	Total Weight: 535
c Current CPU time: 1.06984 s
c
c core #29
c 
c 
c Core size: 62	Core Weight: 5	Total Weight: 540
c Current CPU time: 1.10983 s
c
c core #30
c 
c 
c Core size: 75	Core Weight: 5	Total Weight: 545
c Current CPU time: 1.15182 s
c
c core #31
c 
c 
c Core size: 39	Core Weight: 5	Total Weight: 550
c Current CPU time: 1.19582 s
c
c core #32
c 
c 
c Core size: 94	Core Weight: 5	Total Weight: 555
c Current CPU time: 1.24181 s
c
c core #33
c 
c 
c Core size: 211	Core Weight: 5	Total Weight: 560
c Current CPU time: 1.2988 s
c
c core #34
c 
c 
c Core size: 215	Core Weight: 5	Total Weight: 565
c Current CPU time: 1.35379 s
c
c core #35
c 
c 
c Core size: 229	Core Weight: 5	Total Weight: 570
c Current CPU time: 1.41278 s
c
c core #36
c 
c 
c Core size: 181	Core Weight: 5	Total Weight: 575
c Current CPU time: 1.47278 s
c
c core #37
c 
c 
c Core size: 49	Core Weight: 25	Total Weight: 600
c Current CPU time: 1.51477 s
c
c core #38
c 
c 
c Core size: 243	Core Weight: 5	Total Weight: 605
c Current CPU time: 1.57376 s
c
c core #39
c 
c 
c Core size: 118	Core Weight: 5	Total Weight: 610
c Current CPU time: 1.62475 s
c
c core #40
c 
c 
c Core size: 167	Core Weight: 5	Total Weight: 615
c Current CPU time: 1.68574 s
c
c core #41
c 
c 
c Core size: 100	Core Weight: 5	Total Weight: 620
c Current CPU time: 1.73574 s
c
c core #42
c 
c 
c Core size: 149	Core Weight: 5	Total Weight: 625
c Current CPU time: 1.79473 s
c
c core #43
c 
c 
c Core size: 142	Core Weight: 5	Total Weight: 630
c Current CPU time: 1.84972 s
c
c core #44
c 
c 
c Core size: 210	Core Weight: 5	Total Weight: 635
c Current CPU time: 1.90871 s
c
c core #45
c 
c 
c Core size: 191	Core Weight: 5	Total Weight: 640
c Current CPU time: 1.9777 s
c
c core #46
c 
c 
c Core size: 171	Core Weight: 5	Total Weight: 645
c Current CPU time: 2.05469 s
c
c core #47
c 
c 
c Core size: 161	Core Weight: 5	Total Weight: 650
c Current CPU time: 2.12768 s
c
c core #48
c 
c 
c Core size: 130	Core Weight: 5	Total Weight: 655
c Current CPU time: 2.19667 s
c
c core #49
c 
c 
c Core size: 178	Core Weight: 5	Total Weight: 660
c Current CPU time: 2.27065 s
c
c core #50
c 
c 
c Core size: 167	Core Weight: 5	Total Weight: 665
c Current CPU time: 2.33664 s
c
c core #51
c 
c 
c Core size: 175	Core Weight: 5	Total Weight: 670
c Current CPU time: 2.39663 s
c
c core #52
c 
c 
c Core size: 135	Core Weight: 5	Total Weight: 675
c Current CPU time: 2.45263 s
c
c core #53
c 
c 
c Core size: 164	Core Weight: 5	Total Weight: 680
c Current CPU time: 2.51462 s
c
c core #54
c 
c 
c Core size: 214	Core Weight: 5	Total Weight: 685
c Current CPU time: 2.5926 s
c
c core #55
c 
c 
c Core size: 79	Core Weight: 5	Total Weight: 690
c Current CPU time: 2.65959 s
c
c core #56
c 
c 
c Core size: 220	Core Weight: 5	Total Weight: 695
c Current CPU time: 2.74058 s
c
c core #57
c 
c 
c Core size: 111	Core Weight: 5	Total Weight: 700
c Current CPU time: 2.81157 s
c
c core #58
c 
c 
c Core size: 111	Core Weight: 5	Total Weight: 705
c Current CPU time: 2.88056 s
c
c core #59
c 
c 
c Core size: 174	Core Weight: 5	Total Weight: 710
c Current CPU time: 2.95855 s
c
c core #60
c 
c 
c Core size: 200	Core Weight: 5	Total Weight: 715
c Current CPU time: 3.05354 s
c
c core #61
c 
c 
c Core size: 230	Core Weight: 5	Total Weight: 720
c Current CPU time: 3.12652 s
c
c core #62
c 
c 
c Core size: 218	Core Weight: 5	Total Weight: 725
c Current CPU time: 3.19851 s
c
c core #63
c 
c 
c Core size: 207	Core Weight: 5	Total Weight: 730
c Current CPU time: 3.2865 s
c
c core #64
c 
c 
c Core size: 229	Core Weight: 5	Total Weight: 735
c Current CPU time: 3.38848 s
c
c core #65
c 
c 
c Core size: 245	Core Weight: 5	Total Weight: 740
c Current CPU time: 3.49947 s
c
c core #66
c 
c 
c Core size: 350	Core Weight: 5	Total Weight: 745
c Current CPU time: 3.61245 s
c
c core #67
c 
c 
c Core size: 348	Core Weight: 5	Total Weight: 750
c Current CPU time: 3.72443 s
c
c core #68
c 
c 
c Core size: 432	Core Weight: 5	Total Weight: 755
c Current CPU time: 3.87041 s
c
c core #69
c 
c 
c Core size: 312	Core Weight: 5	Total Weight: 760
c Current CPU time: 4.05038 s
c
c core #70
c 
c 
c Core size: 309	Core Weight: 5	Total Weight: 765
c Current CPU time: 4.18936 s
c
c core #71
c 
c 
c Core size: 277	Core Weight: 5	Total Weight: 770
c Current CPU time: 4.72328 s
c
c core #72
c 
c 
c Core size: 309	Core Weight: 5	Total Weight: 775
c Current CPU time: 4.83626 s
c
c core #73
c 
c 
c Core size: 259	Core Weight: 5	Total Weight: 780
c Current CPU time: 4.94125 s
c
c core #74
c 
c 
c Core size: 414	Core Weight: 5	Total Weight: 785
c Current CPU time: 5.07723 s
c
c core #75
c 
c 
c Core size: 257	Core Weight: 5	Total Weight: 790
c Current CPU time: 9.47856 s
c
c core #76
c 
c 
c Core size: 222	Core Weight: 5	Total Weight: 795
c Current CPU time: 9.63254 s
c
c core #77
c 
c 
c Core size: 277	Core Weight: 5	Total Weight: 800
c Current CPU time: 9.75452 s
c
c core #78
c 
c 
c Core size: 272	Core Weight: 5	Total Weight: 805
c Current CPU time: 34.7387 s
c
c core #79
c 
c 
c Core size: 373	Core Weight: 5	Total Weight: 810
c Current CPU time: 54.6897 s
c
c core #80
c 
c 
c Core size: 395	Core Weight: 5	Total Weight: 815
c Current CPU time: 82.5375 s
c
c core #81
c 
c 
c Core size: 276	Core Weight: 5	Total Weight: 820
c Current CPU time: 82.6954 s
c
c core #82
c 
c 
c Core size: 236	Core Weight: 5	Total Weight: 825
c Current CPU time: 82.8164 s
c
c #cores: 82
s UNKNOWN
1800.000u 3.265s 30:12.01 99.5%	0+0k 0+0io 0pf+0w