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_pseudo_miplib_normalized-mps-v2-20-10-p0548.opb.msat.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/pseudo/miplib/normalized-mps-v2-20-10-p0548.opb.msat.wcnf
Job solver: /home/maxsat/solvers/wbo1.6/wbo1.6
c core #1
c 
c 
c Core size: 16	Core Weight: 15	Total Weight: 15
c Current CPU time: 0.048992 s
c
c core #2
c 
c 
c Core size: 17	Core Weight: 5	Total Weight: 20
c Current CPU time: 0.06499 s
c
c core #3
c 
c 
c Core size: 17	Core Weight: 10	Total Weight: 30
c Current CPU time: 0.081987 s
c
c core #4
c 
c 
c Core size: 176	Core Weight: 30	Total Weight: 60
c Current CPU time: 0.098984 s
c
c core #5
c 
c 
c Core size: 165	Core Weight: 3	Total Weight: 63
c Current CPU time: 0.115982 s
c
c core #6
c 
c 
c Core size: 137	Core Weight: 4	Total Weight: 67
c Current CPU time: 0.134979 s
c
c core #7
c 
c 
c Core size: 146	Core Weight: 1	Total Weight: 68
c Current CPU time: 0.153976 s
c
c core #8
c 
c 
c Core size: 134	Core Weight: 1	Total Weight: 69
c Current CPU time: 0.173973 s
c
c core #9
c 
c 
c Core size: 126	Core Weight: 2	Total Weight: 71
c Current CPU time: 0.19397 s
c
c core #10
c 
c 
c Core size: 119	Core Weight: 1	Total Weight: 72
c Current CPU time: 0.212967 s
c
c core #11
c 
c 
c Core size: 147	Core Weight: 2	Total Weight: 74
c Current CPU time: 0.233964 s
c
c core #12
c 
c 
c Core size: 105	Core Weight: 1	Total Weight: 75
c Current CPU time: 0.254961 s
c
c core #13
c 
c 
c Core size: 122	Core Weight: 1	Total Weight: 76
c Current CPU time: 0.276957 s
c
c core #14
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 77
c Current CPU time: 0.298954 s
c
c core #15
c 
c 
c Core size: 110	Core Weight: 3	Total Weight: 80
c Current CPU time: 0.320951 s
c
c core #16
c 
c 
c Core size: 149	Core Weight: 1	Total Weight: 81
c Current CPU time: 0.343947 s
c
c core #17
c 
c 
c Core size: 113	Core Weight: 1	Total Weight: 82
c Current CPU time: 0.366944 s
c
c core #18
c 
c 
c Core size: 100	Core Weight: 2	Total Weight: 84
c Current CPU time: 0.386941 s
c
c core #19
c 
c 
c Core size: 132	Core Weight: 3	Total Weight: 87
c Current CPU time: 0.410937 s
c
c core #20
c 
c 
c Core size: 109	Core Weight: 2	Total Weight: 89
c Current CPU time: 0.436933 s
c
c core #21
c 
c 
c Core size: 123	Core Weight: 1	Total Weight: 90
c Current CPU time: 0.461929 s
c
c core #22
c 
c 
c Core size: 108	Core Weight: 1	Total Weight: 91
c Current CPU time: 0.487925 s
c
c core #23
c 
c 
c Core size: 109	Core Weight: 1	Total Weight: 92
c Current CPU time: 0.51992 s
c
c core #24
c 
c 
c Core size: 85	Core Weight: 1	Total Weight: 93
c Current CPU time: 0.547916 s
c
c core #25
c 
c 
c Core size: 129	Core Weight: 1	Total Weight: 94
c Current CPU time: 0.576912 s
c
c core #26
c 
c 
c Core size: 115	Core Weight: 1	Total Weight: 95
c Current CPU time: 0.603908 s
c
c core #27
c 
c 
c Core size: 118	Core Weight: 1	Total Weight: 96
c Current CPU time: 0.637903 s
c
c core #28
c 
c 
c Core size: 83	Core Weight: 1	Total Weight: 97
c Current CPU time: 0.671897 s
c
c core #29
c 
c 
c Core size: 136	Core Weight: 1	Total Weight: 98
c Current CPU time: 0.704892 s
c
c core #30
c 
c 
c Core size: 188	Core Weight: 1	Total Weight: 99
c Current CPU time: 0.739887 s
c
c core #31
c 
c 
c Core size: 180	Core Weight: 1	Total Weight: 100
c Current CPU time: 0.777881 s
c
c core #32
c 
c 
c Core size: 132	Core Weight: 1	Total Weight: 101
c Current CPU time: 0.816875 s
c
c core #33
c 
c 
c Core size: 199	Core Weight: 1	Total Weight: 102
c Current CPU time: 0.85287 s
c
c core #34
c 
c 
c Core size: 175	Core Weight: 1	Total Weight: 103
c Current CPU time: 0.921859 s
c
c core #35
c 
c 
c Core size: 150	Core Weight: 1	Total Weight: 104
c Current CPU time: 0.975851 s
c
c core #36
c 
c 
c Core size: 142	Core Weight: 1	Total Weight: 105
c Current CPU time: 1.08283 s
c
c core #37
c 
c 
c Core size: 214	Core Weight: 1	Total Weight: 106
c Current CPU time: 1.19782 s
c
c core #38
c 
c 
c Core size: 161	Core Weight: 1	Total Weight: 107
c Current CPU time: 1.3028 s
c
c core #39
c 
c 
c Core size: 153	Core Weight: 1	Total Weight: 108
c Current CPU time: 1.43278 s
c
c core #40
c 
c 
c Core size: 214	Core Weight: 1	Total Weight: 109
c Current CPU time: 1.55676 s
c
c core #41
c 
c 
c Core size: 290	Core Weight: 1	Total Weight: 110
c Current CPU time: 1.85272 s
c
c core #42
c 
c 
c Core size: 359	Core Weight: 1	Total Weight: 111
c Current CPU time: 2.52262 s
c
c core #43
c 
c 
c Core size: 363	Core Weight: 1	Total Weight: 112
c Current CPU time: 3.42248 s
c
c core #44
c 
c 
c Core size: 643	Core Weight: 1	Total Weight: 113
c Current CPU time: 6.48001 s
c
c core #45
c 
c 
c Core size: 1422	Core Weight: 1	Total Weight: 114
c Current CPU time: 21.5007 s
c
c core #46
c 
c 
c Core size: 1775	Core Weight: 1	Total Weight: 115
c Current CPU time: 55.7675 s
c
c core #47
c 
c 
c Core size: 776	Core Weight: 1	Total Weight: 116
c Current CPU time: 84.4832 s
c
c core #48
c 
c 
c Core size: 723	Core Weight: 3	Total Weight: 119
c Current CPU time: 86.6288 s
c
c core #49
c 
c 
c Core size: 930	Core Weight: 1	Total Weight: 120
c Current CPU time: 267.554 s
c
c core #50
c 
c 
c Core size: 625	Core Weight: 6	Total Weight: 126
c Current CPU time: 268.67 s
c
c core #51
c 
c 
c Core size: 672	Core Weight: 2	Total Weight: 128
c Current CPU time: 1277.05 s
c
c core #52
c 
c 
c Core size: 651	Core Weight: 1	Total Weight: 129
c Current CPU time: 1332.1 s
c
c core #53
c 
c 
c Core size: 736	Core Weight: 1	Total Weight: 130
c Current CPU time: 1662.69 s
c
c #cores: 53
s UNKNOWN
1800.001u 6.796s 30:09.15 99.8%	0+0k 0+0io 0pf+0w