Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 341.38 | 341.491 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-22.opb |
MD5SUM | af63a989791df0a45330e3c33459520d |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 312.016 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 15589 |
Total number of constraints | 54263 |
Number of constraints which are clauses | 54263 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 96 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 94 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 190 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 1.59/1.67 c Converting 53512 PB-constraints to clauses... 1.59/1.68 c -- Unit propagations: (none) 1.59/1.68 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################### 1.69/1.70 c -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 1.78/1.83 c ---[53509]---> BDD-cost: 1 1.78/1.83 c ---[53507]---> BDD-cost: 1 1.78/1.83 c ---[53505]---> BDD-cost: 1 1.78/1.83 c ---[53503]---> BDD-cost: 1 1.78/1.83 c ---[53501]---> BDD-cost: 1 1.78/1.83 c ---[53499]---> BDD-cost: 1 1.78/1.83 c ---[53496]---> BDD-cost: 1 1.78/1.83 c ---[53492]---> BDD-cost: 1 1.78/1.83 c ---[53486]---> BDD-cost: 1 1.78/1.83 c ---[53484]---> BDD-cost: 1 1.78/1.83 c ---[53482]---> BDD-cost: 1 1.78/1.83 c ---[53480]---> BDD-cost: 1 1.78/1.83 c ---[53478]---> BDD-cost: 1 1.78/1.83 c ---[53476]---> BDD-cost: 1 1.78/1.83 c ---[53473]---> BDD-cost: 1 1.78/1.83 c ---[53469]---> BDD-cost: 1 1.78/1.83 c ---[53463]---> BDD-cost: 1 1.78/1.83 c ---[53461]---> BDD-cost: 1 1.78/1.83 c ---[53459]---> BDD-cost: 1 1.78/1.83 c ---[53457]---> BDD-cost: 1 1.78/1.83 c ---[53455]---> BDD-cost: 1 1.78/1.83 c ---[53453]---> BDD-cost: 1 1.78/1.83 c ---[53450]---> BDD-cost: 1 1.78/1.83 c ---[53446]---> BDD-cost: 1 1.78/1.83 c ---[53440]---> BDD-cost: 1 1.78/1.83 c ---[53438]---> BDD-cost: 1 1.78/1.83 c ---[53436]---> BDD-cost: 1 1.78/1.83 c ---[53434]---> BDD-cost: 1 1.78/1.83 c ---[53432]---> BDD-cost: 1 1.78/1.83 c ---[53430]---> BDD-cost: 1 1.78/1.83 c ---[53427]---> BDD-cost: 1 1.78/1.83 c ---[53423]---> BDD-cost: 1 1.78/1.83 c ---[53417]---> BDD-cost: 1 1.78/1.83 c ---[53415]---> BDD-cost: 1 1.78/1.83 c ---[53413]---> BDD-cost: 1 1.78/1.83 c ---[53411]---> BDD-cost: 1 1.78/1.83 c ---[53409]---> BDD-cost: 1 1.78/1.83 c ---[53407]---> BDD-cost: 1 1.78/1.83 c ---[53404]---> BDD-cost: 1 1.78/1.83 c ---[53400]---> BDD-cost: 1 1.78/1.83 c ---[53394]---> BDD-cost: 1 1.78/1.83 c ---[53392]---> BDD-cost: 1 1.78/1.83 c ---[53390]---> BDD-cost: 1 1.78/1.83 c ---[53388]---> BDD-cost: 1 1.78/1.83 c ---[53386]---> BDD-cost: 1 1.78/1.83 c ---[53384]---> BDD-cost: 1 1.78/1.83 c ---[53381]---> BDD-cost: 1 1.78/1.83 c ---[53377]---> BDD-cost: 1 1.78/1.83 c ---[53371]---> BDD-cost: 1 1.78/1.83 c ---[53369]---> BDD-cost: 1 1.78/1.83 c ---[53367]---> BDD-cost: 1 1.78/1.83 c ---[53365]---> BDD-cost: 1 1.78/1.83 c ---[53363]---> BDD-cost: 1 1.78/1.83 c ---[53361]---> BDD-cost: 1 1.78/1.83 c ---[53358]---> BDD-cost: 1 1.78/1.83 c ---[53354]---> BDD-cost: 1 1.78/1.83 c ---[53348]---> BDD-cost: 1 1.78/1.83 c ---[53346]---> BDD-cost: 1 1.78/1.83 c ---[53344]---> BDD-cost: 1 1.78/1.83 c ---[53342]---> BDD-cost: 1 1.78/1.83 c ---[53340]---> BDD-cost: 1 1.78/1.83 c ---[53338]---> BDD-cost: 1 1.78/1.83 c ---[53335]---> BDD-cost: 1 1.78/1.83 c ---[53331]---> BDD-cost: 1 1.78/1.83 c ---[53325]---> BDD-cost: 1 1.78/1.83 c ---[53323]---> BDD-cost: 1 1.78/1.83 c ---[53321]---> BDD-cost: 1 1.78/1.83 c ---[53319]---> BDD-cost: 1 1.78/1.83 c ---[53317]---> BDD-cost: 1 1.78/1.83 c ---[53315]---> BDD-cost: 1 1.78/1.83 c ---[53312]---> BDD-cost: 1 1.78/1.83 c ---[53308]---> BDD-cost: 1 1.78/1.83 c ---[53284]---> BDD-cost: 1 1.78/1.83 c ---[52662]---> BDD-cost: 1 1.78/1.83 c ---[52514]---> BDD-cost: 1 1.78/1.83 c ---[52383]---> BDD-cost: 1 1.78/1.84 c ---[52276]---> BDD-cost: 1 1.78/1.84 c ---[52193]---> BDD-cost: 1 1.78/1.84 c ---[52134]---> BDD-cost: 1 1.78/1.84 c ---[52089]---> BDD-cost: 1 1.78/1.84 c ---[52084]---> BDD-cost: 1 1.78/1.84 c ---[52072]---> BDD-cost: 1 1.78/1.84 c ---[52063]---> BDD-cost: 1 1.78/1.84 c ---[52054]---> BDD-cost: 1 1.78/1.84 c ---[52045]---> BDD-cost: 1 1.78/1.84 c ---[52036]---> BDD-cost: 1 1.78/1.84 c ---[52027]---> BDD-cost: 1 1.78/1.84 c ---[37976]---> BDD-cost: 1 1.78/1.84 c ---[36797]---> BDD-cost: 1 1.78/1.84 c ---[36766]---> BDD-cost: 1 1.78/1.84 c ---[36735]---> BDD-cost: 1 1.78/1.84 c ---[36704]---> BDD-cost: 1 1.78/1.84 c ---[36673]---> BDD-cost: 1 1.78/1.84 c ---[36642]---> BDD-cost: 1 1.78/1.84 c ---[36611]---> BDD-cost: 1 1.78/1.84 c ---[36580]---> BDD-cost: 1 1.78/1.84 c ---[36550]---> BDD-cost: 1 1.78/1.84 c ---[36520]---> BDD-cost: 1 1.78/1.84 c ---[36490]---> BDD-cost: 1 1.78/1.84 c ---[36460]---> BDD-cost: 1 1.78/1.84 c ---[36430]---> BDD-cost: 1 1.78/1.84 c ---[36400]---> BDD-cost: 1 1.78/1.84 c ---[36371]---> BDD-cost: 1 1.78/1.84 c ---[36333]---> BDD-cost: 1 1.78/1.84 c ---[36331]---> BDD-cost: 1 1.78/1.84 c ---[36329]---> BDD-cost: 1 1.78/1.84 c ---[36327]---> BDD-cost: 1 1.78/1.84 c ---[36325]---> BDD-cost: 1 1.78/1.84 c ---[36323]---> BDD-cost: 1 1.78/1.84 c ---[36321]---> BDD-cost: 1 1.78/1.84 c ---[36319]---> BDD-cost: 1 1.78/1.84 c ---[36317]---> BDD-cost: 1 1.78/1.84 c ---[36315]---> BDD-cost: 1 1.78/1.84 c ---[36313]---> BDD-cost: 1 1.78/1.84 c ---[36311]---> BDD-cost: 1 1.78/1.84 c ---[36309]---> BDD-cost: 1 1.78/1.84 c ---[36307]---> BDD-cost: 1 1.78/1.84 c ---[36305]---> BDD-cost: 1 1.78/1.84 c ---[36303]---> BDD-cost: 1 1.78/1.84 c ---[26522]---> BDD-cost: 1 1.78/1.84 c ---[26495]---> BDD-cost: 1 1.78/1.84 c ---[26472]---> BDD-cost: 1 1.78/1.84 c ---[26449]---> BDD-cost: 1 1.78/1.84 c ---[26426]---> BDD-cost: 1 1.78/1.84 c ---[26403]---> BDD-cost: 1 1.78/1.84 c ---[26380]---> BDD-cost: 1 1.78/1.84 c ---[26357]---> BDD-cost: 1 1.78/1.84 c ---[26334]---> BDD-cost: 1 1.78/1.84 c ---[26311]---> BDD-cost: 1 1.78/1.84 c ---[26288]---> BDD-cost: 1 1.78/1.84 c ---[26265]---> BDD-cost: 1 1.78/1.84 c ---[26242]---> BDD-cost: 1 1.78/1.84 c ---[26219]---> BDD-cost: 1 1.78/1.84 c ---[26196]---> BDD-cost: 1 1.78/1.84 c ---[26173]---> BDD-cost: 1 1.78/1.84 c ---[26150]---> BDD-cost: 1 1.78/1.84 c ---[26127]---> BDD-cost: 1 1.78/1.84 c ---[26104]---> BDD-cost: 1 1.78/1.84 c ---[26081]---> BDD-cost: 1 1.78/1.84 c ---[26058]---> BDD-cost: 1 1.78/1.84 c ---[26035]---> BDD-cost: 1 1.78/1.84 c ---[26012]---> BDD-cost: 1 1.78/1.84 c ---[25989]---> BDD-cost: 1 1.78/1.84 c ---[25950]---> BDD-cost: 1 1.78/1.84 c ---[25948]---> BDD-cost: 1 1.78/1.84 c ---[25946]---> BDD-cost: 1 1.78/1.84 c ---[25944]---> BDD-cost: 1 1.78/1.84 c ---[25942]---> BDD-cost: 1 1.78/1.84 c ---[25940]---> BDD-cost: 1 1.78/1.84 c ---[25938]---> BDD-cost: 1 1.78/1.84 c ---[25936]---> BDD-cost: 1 1.78/1.84 c ---[22631]---> BDD-cost: 1 1.78/1.84 c ---[22629]---> BDD-cost: 1 1.78/1.84 c ---[22627]---> BDD-cost: 1 1.78/1.84 c ---[22625]---> BDD-cost: 1 1.78/1.84 c ---[22623]---> BDD-cost: 1 1.78/1.84 c ---[22621]---> BDD-cost: 1 1.78/1.84 c ---[22619]---> BDD-cost: 1 1.78/1.84 c ---[22617]---> BDD-cost: 1 1.78/1.84 c ---[18160]---> BDD-cost: 1 1.78/1.84 c ---[15258]---> BDD-cost: 1 1.78/1.84 c ---[15221]---> BDD-cost: 1 1.78/1.84 c ---[15185]---> BDD-cost: 1 1.78/1.84 c ---[15150]---> BDD-cost: 1 1.78/1.84 c ---[15116]---> BDD-cost: 1 1.78/1.84 c ---[15083]---> BDD-cost: 1 1.78/1.84 c ---[15051]---> BDD-cost: 1 1.78/1.84 c ---[15020]---> BDD-cost: 1 1.78/1.84 c ---[14989]---> BDD-cost: 1 1.78/1.84 c ---[14958]---> BDD-cost: 1 1.78/1.84 c ---[14927]---> BDD-cost: 1 1.78/1.84 c ---[14896]---> BDD-cost: 1 1.78/1.84 c ---[14865]---> BDD-cost: 1 1.78/1.84 c ---[14834]---> BDD-cost: 1 1.78/1.84 c ---[14803]---> BDD-cost: 1 1.78/1.84 c ---[14772]---> BDD-cost: 1 1.78/1.84 c ---[14741]---> BDD-cost: 1 1.78/1.84 c ---[14710]---> BDD-cost: 1 1.78/1.84 c ---[14679]---> BDD-cost: 1 1.78/1.84 c ---[14648]---> BDD-cost: 1 1.78/1.84 c ---[14617]---> BDD-cost: 1 1.78/1.84 c ---[14586]---> BDD-cost: 1 1.78/1.84 c ---[14559]---> BDD-cost: 1 1.78/1.84 c ---[14513]---> BDD-cost: 1 1.78/1.84 c ---[14511]---> BDD-cost: 1 1.78/1.84 c ---[14509]---> BDD-cost: 1 1.78/1.84 c ---[14507]---> BDD-cost: 1 1.78/1.84 c ---[14505]---> BDD-cost: 1 1.78/1.84 c ---[14503]---> BDD-cost: 1 1.78/1.84 c ---[14501]---> BDD-cost: 1 1.78/1.84 c ---[14499]---> BDD-cost: 1 1.78/1.84 c ---[10630]---> BDD-cost: 1 1.78/1.84 c ---[10603]---> BDD-cost: 1 1.78/1.84 c ---[10580]---> BDD-cost: 1 1.78/1.84 c ---[10557]---> BDD-cost: 1 1.78/1.84 c ---[10534]---> BDD-cost: 1 1.78/1.84 c ---[10511]---> BDD-cost: 1 1.78/1.84 c ---[10488]---> BDD-cost: 1 1.78/1.84 c ---[10465]---> BDD-cost: 1 1.78/1.84 c ---[10442]---> BDD-cost: 1 1.78/1.84 c ---[10419]---> BDD-cost: 1 1.78/1.84 c ---[10396]---> BDD-cost: 1 1.78/1.84 c ---[10373]---> BDD-cost: 1 1.78/1.84 c ---[10350]---> BDD-cost: 1 1.78/1.84 c ---[10327]---> BDD-cost: 1 1.78/1.84 c ---[10304]---> BDD-cost: 1 1.78/1.84 c ---[10281]---> BDD-cost: 1 1.78/1.84 c ---[10257]---> BDD-cost: 1 1.78/1.84 c ---[10233]---> BDD-cost: 1 1.78/1.84 c ---[10209]---> BDD-cost: 1 1.78/1.84 c ---[10185]---> BDD-cost: 1 1.78/1.84 c ---[10161]---> BDD-cost: 1 1.78/1.84 c ---[10137]---> BDD-cost: 1 1.78/1.84 c ---[10110]---> BDD-cost: 1 1.78/1.84 c ---[10098]---> BDD-cost: 1 1.78/1.84 c ---[10060]---> BDD-cost: 1 1.78/1.84 c ---[10058]---> BDD-cost: 1 1.78/1.84 c ---[10056]---> BDD-cost: 1 1.78/1.84 c ---[10054]---> BDD-cost: 1 1.78/1.84 c ---[10052]---> BDD-cost: 1 1.78/1.84 c ---[10050]---> BDD-cost: 1 1.78/1.84 c ---[10048]---> BDD-cost: 1 1.78/1.84 c ---[10046]---> BDD-cost: 1 1.78/1.84 c ---[10044]---> BDD-cost: 1 1.78/1.84 c ---[5256]---> BDD-cost: 1 1.78/1.84 c ---[5095]---> BDD-cost: 1 1.78/1.84 c ---[4952]---> BDD-cost: 1 1.78/1.84 c ---[4832]---> BDD-cost: 1 1.78/1.84 c ---[4735]---> BDD-cost: 1 1.78/1.84 c ---[4661]---> BDD-cost: 1 1.78/1.84 c ---[4610]---> BDD-cost: 1 1.78/1.84 c ---[4578]---> BDD-cost: 1 1.78/1.84 c ---[4551]---> BDD-cost: 1 1.78/1.84 c ---[4528]---> BDD-cost: 1 1.78/1.84 c ---[4505]---> BDD-cost: 1 1.78/1.84 c ---[4482]---> BDD-cost: 1 1.78/1.84 c ---[4459]---> BDD-cost: 1 1.78/1.84 c ---[4436]---> BDD-cost: 1 1.78/1.84 c ---[4413]---> BDD-cost: 1 1.78/1.84 c ---[4390]---> BDD-cost: 1 1.78/1.84 c ---[4367]---> BDD-cost: 1 1.78/1.84 c ---[4344]---> BDD-cost: 1 1.78/1.84 c ---[4321]---> BDD-cost: 1 1.78/1.84 c ---[4298]---> BDD-cost: 1 1.78/1.84 c ---[4275]---> BDD-cost: 1 1.78/1.84 c ---[4252]---> BDD-cost: 1 1.78/1.84 c ---[4233]---> BDD-cost: 1 1.78/1.84 c ---[4209]---> BDD-cost: 1 1.78/1.84 c ---[1008]---> BDD-cost: 1 1.78/1.84 c ---[ 852]---> BDD-cost: 1 1.78/1.84 c ---[ 715]---> BDD-cost: 1 1.78/1.84 c ---[ 602]---> BDD-cost: 1 1.78/1.84 c ---[ 513]---> BDD-cost: 1 1.78/1.84 c ---[ 448]---> BDD-cost: 1 1.78/1.84 c ---[ 407]---> BDD-cost: 1 1.78/1.84 c ---[ 384]---> BDD-cost: 1 1.78/1.84 c ---[ 357]---> BDD-cost: 1 1.78/1.84 c ---[ 334]---> BDD-cost: 1 1.78/1.84 c ---[ 311]---> BDD-cost: 1 1.78/1.84 c ---[ 288]---> BDD-cost: 1 1.78/1.84 c ---[ 265]---> BDD-cost: 1 1.78/1.84 c ---[ 242]---> BDD-cost: 1 1.78/1.84 c ---[ 219]---> BDD-cost: 1 1.78/1.84 c ---[ 196]---> BDD-cost: 1 1.78/1.84 c ---[ 173]---> BDD-cost: 1 1.78/1.84 c ---[ 150]---> BDD-cost: 1 1.78/1.84 c ---[ 127]---> BDD-cost: 1 1.78/1.84 c ---[ 104]---> BDD-cost: 1 1.78/1.84 c ---[ 81]---> BDD-cost: 1 1.78/1.84 c ---[ 58]---> BDD-cost: 1 1.78/1.84 c ---[ 36]---> BDD-cost: 1 1.78/1.85 c ==================================[MINISAT+]================================== 1.78/1.85 c | Conflicts | Original | Learnt | Progress | 1.78/1.85 c | | Clauses Literals | Max Clauses Literals LPC | | 1.78/1.85 c ============================================================================== 1.78/1.85 c | 0 | 53512 139206 | 17837 0 0 nan | 0.000 % | 1.78/1.87 c | 100 | 53512 139206 | 19620 100 2909 29.1 | 2.415 % | 1.88/1.95 c | 252 | 33634 87914 | 21582 251 14186 56.5 | 35.549 % | 1.98/2.05 c | 477 | 33634 87914 | 23741 476 32537 68.4 | 35.549 % | 2.09/2.13 c | 816 | 33634 87914 | 26115 815 53987 66.2 | 35.549 % | 2.28/2.36 c | 1322 | 33634 87914 | 28726 1321 113928 86.2 | 35.549 % | 2.48/2.58 c | 2082 | 33634 87914 | 31599 2081 176665 84.9 | 35.549 % | 2.98/3.00 c | 3221 | 33634 87914 | 34759 3220 248131 77.1 | 35.549 % | 3.48/3.50 c | 4929 | 33634 87914 | 38235 4928 349735 71.0 | 35.549 % | 4.58/4.63 c | 7494 | 33634 87914 | 42058 7493 621883 83.0 | 35.549 % | 7.08/7.18 c | 11338 | 33634 87914 | 46264 11337 968080 85.4 | 35.549 % | 10.08/10.12 c | 17105 | 33634 87914 | 50891 17104 1604979 93.8 | 35.549 % | 15.38/15.42 c | 25754 | 33634 87914 | 55980 25753 2677814 104.0 | 35.549 % | 25.48/25.53 c | 38730 | 33634 87914 | 61578 38729 3670696 94.8 | 35.549 % | 45.98/46.08 c | 58191 | 33634 87914 | 67735 58190 5760172 99.0 | 35.549 % | 78.96/79.03 c | 87383 | 33634 87914 | 74509 30291 2894931 95.6 | 35.549 % | 133.24/133.35 c | 131174 | 33634 87914 | 81960 74082 6993581 94.4 | 35.549 % | 220.72/220.82 c | 196858 | 33634 87914 | 90156 63683 5026459 78.9 | 35.549 % | 341.28/341.48 c ============================================================================== 341.28/341.48 c [1mUNSATISFIABLE[0m 341.28/341.48 s UNSATISFIABLE 341.28/341.48 c _______________________________________________________________________________ 341.28/341.48 c 341.28/341.48 c restarts : 18 341.28/341.48 c conflicts : 284730 (834 /sec) 341.28/341.48 c decisions : 356328 (1044 /sec) 341.28/341.48 c propagations : 0 (0 /sec) 341.28/341.48 c inspects : 0 (0 /sec) 341.28/341.48 c CPU time : 341.2 s 341.28/341.48 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/419215-1177405841/instance-419215-1177405841.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-419215-1177405841 -o ROOT/results/node71/solver-419215-1177405841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419215-1177405841/minisat+ /tmp/evaluation/419215-1177405841/instance-419215-1177405841.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.93 3/64 4699 /proc/meminfo: memFree=1903040/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=1048 CPUtime=0 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 113 0 0 0 0 0 0 0 18 0 1 0 216573453 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 262 99 75 215 0 44 0 [startup+0.0565831 s] /proc/loadavg: 0.91 0.97 0.93 3/64 4699 /proc/meminfo: memFree=1903040/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=1528 CPUtime=0.05 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 224 0 0 0 5 0 0 0 18 0 1 0 216573453 1564672 210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 382 210 75 215 0 164 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1528 [startup+0.102588 s] /proc/loadavg: 0.91 0.97 0.93 3/64 4699 /proc/meminfo: memFree=1903040/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=2028 CPUtime=0.1 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 339 0 0 0 10 0 0 0 18 0 1 0 216573453 2076672 325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 507 325 75 215 0 289 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2028 [startup+0.301615 s] /proc/loadavg: 0.91 0.97 0.93 3/64 4699 /proc/meminfo: memFree=1903040/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=3916 CPUtime=0.29 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 821 0 0 0 29 0 0 0 19 0 1 0 216573453 4009984 807 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 979 807 75 215 0 761 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3916 [startup+0.702669 s] /proc/loadavg: 0.91 0.97 0.93 3/64 4699 /proc/meminfo: memFree=1903040/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=7852 CPUtime=0.69 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 1771 0 0 0 68 1 0 0 23 0 1 0 216573453 8040448 1757 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 1963 1757 75 215 0 1745 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7852 [startup+1.50178 s] /proc/loadavg: 0.91 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1893432/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=15380 CPUtime=1.49 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 3621 0 0 0 147 2 0 0 25 0 1 0 216573453 15749120 3607 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 3845 3607 75 215 0 3627 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15380 [startup+3.102 s] /proc/loadavg: 0.91 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1884216/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=19720 CPUtime=3.08 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 4842 0 0 0 300 8 0 0 25 0 1 0 216573453 20193280 4736 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 4930 4736 106 215 0 4712 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 19720 [startup+6.30143 s] /proc/loadavg: 0.92 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1884096/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=19720 CPUtime=6.28 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 4842 0 0 0 620 8 0 0 25 0 1 0 216573453 20193280 4736 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 4930 4736 106 215 0 4712 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19720 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1882816/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=21576 CPUtime=12.68 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 5309 0 0 0 1259 9 0 0 25 0 1 0 216573453 22093824 5203 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 5394 5203 106 215 0 5176 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21576 [startup+25.501 s] /proc/loadavg: 0.94 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1875968/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=28124 CPUtime=25.48 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 6943 0 0 0 2537 11 0 0 25 0 1 0 216573453 28798976 6837 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 7031 6837 106 215 0 6813 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28124 [startup+51.1015 s] /proc/loadavg: 0.96 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1865280/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=39020 CPUtime=51.07 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 9635 0 0 0 5094 13 0 0 25 0 1 0 216573453 39956480 9529 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 9755 9529 106 215 0 9537 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39020 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1859008/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=45104 CPUtime=102.26 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 11174 0 0 0 10211 15 0 0 25 0 1 0 216573453 46186496 11068 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 11276 11068 106 215 0 11058 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45104 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1854848/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=49308 CPUtime=162.23 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12227 0 0 0 16207 16 0 0 25 0 1 0 216573453 50491392 12121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12327 12121 106 215 0 12109 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49308 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853760/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50572 CPUtime=222.22 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12476 0 0 0 22205 17 0 0 25 0 1 0 216573453 51785728 12370 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12643 12370 106 215 0 12425 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 50572 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853440/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=282.2 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12541 0 0 0 28203 17 0 0 25 0 1 0 216573453 51929088 12435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12435 106 215 0 12460 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 50712 Solver just ended. Dumping a history of the last processes samples [startup+307.101 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=307 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12544 0 0 0 30683 17 0 0 25 0 1 0 216573453 51929088 12438 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579892 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12438 106 215 0 12460 0 Current children cumulated CPU time (s) 307 Current children cumulated vsize (KiB) 50712 [startup+319.901 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=319.79 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12544 0 0 0 31962 17 0 0 25 0 1 0 216573453 51929088 12438 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12438 106 215 0 12460 0 Current children cumulated CPU time (s) 319.79 Current children cumulated vsize (KiB) 50712 [startup+332.702 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=332.59 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12545 0 0 0 33242 17 0 0 25 0 1 0 216573453 51929088 12439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12439 106 215 0 12460 0 Current children cumulated CPU time (s) 332.59 Current children cumulated vsize (KiB) 50712 [startup+335.901 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=335.79 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12546 0 0 0 33562 17 0 0 25 0 1 0 216573453 51929088 12440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12440 106 215 0 12460 0 Current children cumulated CPU time (s) 335.79 Current children cumulated vsize (KiB) 50712 [startup+339.102 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=338.99 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12546 0 0 0 33882 17 0 0 25 0 1 0 216573453 51929088 12440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12440 106 215 0 12460 0 Current children cumulated CPU time (s) 338.99 Current children cumulated vsize (KiB) 50712 [startup+340.702 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=340.59 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12546 0 0 0 34042 17 0 0 25 0 1 0 216573453 51929088 12440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12440 106 215 0 12460 0 Current children cumulated CPU time (s) 340.59 Current children cumulated vsize (KiB) 50712 [startup+341.101 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=340.98 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12546 0 0 0 34081 17 0 0 25 0 1 0 216573453 51929088 12440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12440 106 215 0 12460 0 Current children cumulated CPU time (s) 340.98 Current children cumulated vsize (KiB) 50712 [startup+341.301 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=341.18 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12546 0 0 0 34101 17 0 0 25 0 1 0 216573453 51929088 12440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568479 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12440 106 215 0 12460 0 Current children cumulated CPU time (s) 341.18 Current children cumulated vsize (KiB) 50712 [startup+341.401 s] /proc/loadavg: 0.99 0.97 0.93 2/65 4700 /proc/meminfo: memFree=1853376/2055920 swapFree=4184236/4192956 [pid=4699] ppid=4697 vsize=50712 CPUtime=341.28 /proc/4699/stat : 4699 (minisat+) R 4697 4699 4031 0 -1 4194304 12546 0 0 0 34111 17 0 0 25 0 1 0 216573453 51929088 12440 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568540 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4699/statm: 12678 12440 106 215 0 12460 0 Current children cumulated CPU time (s) 341.28 Current children cumulated vsize (KiB) 50712 Child status: 20 Real time (s): 341.491 CPU time (s): 341.38 CPU user time (s): 341.2 CPU system time (s): 0.179972 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 50712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 341.2 system time used= 0.179972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12549 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 700 involuntary context switches= 573 runsolver used 0.313952 second user time and 0.763883 second system time The end
Begin job on node71 on Tue Apr 24 09:10:41 UTC 2007 IDJOB= 419215 IDBENCH= 47758 IDSOLVER= 156 FILE ID= node71/419215-1177405841 PBS_JOBID= 4675544 Free space on /tmp= 66443 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/fuhs/medium/AProVE07-22.opb COMMAND LINE= /tmp/evaluation/419215-1177405841/minisat+ /tmp/evaluation/419215-1177405841/instance-419215-1177405841.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-419215-1177405841 -o ROOT/results/node71/conversion-419215-1177405841 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419215-1177405841/instance-419215-1177405841.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-419215-1177405841 -o ROOT/results/node71/solver-419215-1177405841 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419215-1177405841/minisat+ /tmp/evaluation/419215-1177405841/instance-419215-1177405841.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= af63a989791df0a45330e3c33459520d RANDOM SEED= 449461346 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1903384 kB Buffers: 13048 kB Cached: 77496 kB SwapCached: 2752 kB Active: 39324 kB Inactive: 61408 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1903384 kB SwapTotal: 4192956 kB SwapFree: 4184236 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 16264 kB Slab: 37700 kB Committed_AS: 3612556 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66443 MiB End job on node71 on Tue Apr 24 09:16:23 UTC 2007