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_driverlogs06.wcsp.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/min-enc/planning/driverlogs06.wcsp.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 33	Core Weight: 300	Total Weight: 300
c Current CPU time: 0.028995 s
c
c core #2
c 
c 
c Core size: 12	Core Weight: 20	Total Weight: 320
c Current CPU time: 0.038994 s
c
c core #3
c 
c 
c Core size: 20	Core Weight: 5	Total Weight: 325
c Current CPU time: 0.047992 s
c
c core #4
c 
c 
c Core size: 17	Core Weight: 5	Total Weight: 330
c Current CPU time: 0.057991 s
c
c core #5
c 
c 
c Core size: 81	Core Weight: 5	Total Weight: 335
c Current CPU time: 0.066989 s
c
c core #6
c 
c 
c Core size: 52	Core Weight: 5	Total Weight: 340
c Current CPU time: 0.077988 s
c
c core #7
c 
c 
c Core size: 119	Core Weight: 5	Total Weight: 345
c Current CPU time: 0.087986 s
c
c core #8
c 
c 
c Core size: 101	Core Weight: 80	Total Weight: 425
c Current CPU time: 0.099984 s
c
c core #9
c 
c 
c Core size: 115	Core Weight: 5	Total Weight: 430
c Current CPU time: 0.110983 s
c
c core #10
c 
c 
c Core size: 56	Core Weight: 20	Total Weight: 450
c Current CPU time: 0.123981 s
c
c core #11
c 
c 
c Core size: 107	Core Weight: 5	Total Weight: 455
c Current CPU time: 0.135979 s
c
c core #12
c 
c 
c Core size: 100	Core Weight: 5	Total Weight: 460
c Current CPU time: 0.148977 s
c
c core #13
c 
c 
c Core size: 120	Core Weight: 10	Total Weight: 470
c Current CPU time: 0.158975 s
c
c core #14
c 
c 
c Core size: 167	Core Weight: 70	Total Weight: 540
c Current CPU time: 0.172973 s
c
c core #15
c 
c 
c Core size: 158	Core Weight: 5	Total Weight: 545
c Current CPU time: 0.184971 s
c
c core #16
c 
c 
c Core size: 128	Core Weight: 5	Total Weight: 550
c Current CPU time: 0.198969 s
c
c core #17
c 
c 
c Core size: 167	Core Weight: 5	Total Weight: 555
c Current CPU time: 0.212967 s
c
c core #18
c 
c 
c Core size: 133	Core Weight: 5	Total Weight: 560
c Current CPU time: 0.227965 s
c
c core #19
c 
c 
c Core size: 124	Core Weight: 80	Total Weight: 640
c Current CPU time: 0.241963 s
c
c core #20
c 
c 
c Core size: 64	Core Weight: 5	Total Weight: 645
c Current CPU time: 0.255961 s
c
c core #21
c 
c 
c Core size: 104	Core Weight: 5	Total Weight: 650
c Current CPU time: 0.273958 s
c
c core #22
c 
c 
c Core size: 101	Core Weight: 5	Total Weight: 655
c Current CPU time: 0.289955 s
c
c core #23
c 
c 
c Core size: 88	Core Weight: 5	Total Weight: 660
c Current CPU time: 0.306953 s
c
c core #24
c 
c 
c Core size: 117	Core Weight: 5	Total Weight: 665
c Current CPU time: 0.321951 s
c
c core #25
c 
c 
c Core size: 86	Core Weight: 5	Total Weight: 670
c Current CPU time: 0.343947 s
c
c core #26
c 
c 
c Core size: 98	Core Weight: 5	Total Weight: 675
c Current CPU time: 0.368943 s
c
c core #27
c 
c 
c Core size: 125	Core Weight: 5	Total Weight: 680
c Current CPU time: 0.39194 s
c
c core #28
c 
c 
c Core size: 109	Core Weight: 5	Total Weight: 685
c Current CPU time: 0.413937 s
c
c core #29
c 
c 
c Core size: 110	Core Weight: 5	Total Weight: 690
c Current CPU time: 0.438933 s
c
c core #30
c 
c 
c Core size: 78	Core Weight: 5	Total Weight: 695
c Current CPU time: 0.461929 s
c
c core #31
c 
c 
c Core size: 79	Core Weight: 5	Total Weight: 700
c Current CPU time: 0.484926 s
c
c core #32
c 
c 
c Core size: 69	Core Weight: 5	Total Weight: 705
c Current CPU time: 0.512922 s
c
c core #33
c 
c 
c Core size: 132	Core Weight: 5	Total Weight: 710
c Current CPU time: 0.537918 s
c
c core #34
c 
c 
c Core size: 92	Core Weight: 15	Total Weight: 725
c Current CPU time: 0.559914 s
c
c core #35
c 
c 
c Core size: 104	Core Weight: 5	Total Weight: 730
c Current CPU time: 0.58591 s
c
c core #36
c 
c 
c Core size: 131	Core Weight: 5	Total Weight: 735
c Current CPU time: 0.606907 s
c
c core #37
c 
c 
c Core size: 111	Core Weight: 5	Total Weight: 740
c Current CPU time: 0.629904 s
c
c core #38
c 
c 
c Core size: 93	Core Weight: 5	Total Weight: 745
c Current CPU time: 0.6549 s
c
c core #39
c 
c 
c Core size: 118	Core Weight: 5	Total Weight: 750
c Current CPU time: 0.682896 s
c
c core #40
c 
c 
c Core size: 162	Core Weight: 5	Total Weight: 755
c Current CPU time: 0.71989 s
c
c core #41
c 
c 
c Core size: 143	Core Weight: 5	Total Weight: 760
c Current CPU time: 0.748886 s
c
c core #42
c 
c 
c Core size: 174	Core Weight: 5	Total Weight: 765
c Current CPU time: 0.78388 s
c
c core #43
c 
c 
c Core size: 168	Core Weight: 5	Total Weight: 770
c Current CPU time: 0.820875 s
c
c core #44
c 
c 
c Core size: 203	Core Weight: 5	Total Weight: 775
c Current CPU time: 0.855869 s
c
c core #45
c 
c 
c Core size: 140	Core Weight: 5	Total Weight: 780
c Current CPU time: 0.893864 s
c
c core #46
c 
c 
c Core size: 198	Core Weight: 5	Total Weight: 785
c Current CPU time: 0.939857 s
c
c core #47
c 
c 
c Core size: 306	Core Weight: 5	Total Weight: 790
c Current CPU time: 0.98385 s
c
c core #48
c 
c 
c Core size: 248	Core Weight: 5	Total Weight: 795
c Current CPU time: 1.03684 s
c
c core #49
c 
c 
c Core size: 316	Core Weight: 5	Total Weight: 800
c Current CPU time: 1.10983 s
c
c core #50
c 
c 
c Core size: 372	Core Weight: 5	Total Weight: 805
c Current CPU time: 1.36379 s
c
c core #51
c 
c 
c Core size: 541	Core Weight: 5	Total Weight: 810
c Current CPU time: 1.74773 s
c
c core #52
c 
c 
c Core size: 652	Core Weight: 5	Total Weight: 815
c Current CPU time: 49.9444 s
c
c core #53
c 
c 
c Core size: 785	Core Weight: 5	Total Weight: 820
c Current CPU time: 188.209 s
c
c #cores: 53
s UNKNOWN
1800.001u 5.066s 30:15.73 99.4%	0+0k 0+0io 0pf+0w