Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.14 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb |
MD5SUM | 2dad588c047f66368bead690393575a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1567 |
Best CPU time to get the best result obtained on this benchmark | 0.038993 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1567 |
Optimality of the best value was proved | YES |
Number of variables | 133 |
Total number of constraints | 229 |
Number of constraints which are clauses | 229 |
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 | 31 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 5699 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 5699 |
Number of bits of the biggest sum of numbers | 13 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461356-1307081291.opb. 0.00/0.00 c Instance file HOME/instance-3461356-1307081291.opb 0.00/0.00 c File size is 8927 bytes. 0.00/0.00 c Highest Coefficient sum: 32 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 133 | 0.00/0.00 c | Number Clauses: 229 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 122 229 786 | 5000 0 -nan | 0.000 % | 0.00/0.00 c core #1 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 34 Total Weight: 411 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #2 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 14 Core Weight: 32 Total Weight: 443 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #3 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 7 Core Weight: 18 Total Weight: 461 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #4 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 19 Core Weight: 10 Total Weight: 471 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #5 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 34 Total Weight: 505 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #6 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 16 Total Weight: 521 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #7 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 7 Core Weight: 10 Total Weight: 531 0.00/0.00 c Current CPU time: 0.000999 s 0.00/0.00 c 0.00/0.00 c core #8 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 34 Total Weight: 565 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #9 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 607 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #10 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 649 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #11 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 691 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #12 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 733 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #13 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 40 Total Weight: 773 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #14 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 815 0.00/0.00 c Current CPU time: 0.001999 s 0.00/0.00 c 0.00/0.00 c core #15 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 857 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #16 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 899 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #17 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 941 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #18 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 983 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #19 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 1025 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #20 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 1067 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #21 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 1109 0.00/0.00 c Current CPU time: 0.002999 s 0.00/0.00 c 0.00/0.00 c core #22 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 1151 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #23 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 1193 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #24 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 32 Core Weight: 8 Total Weight: 1201 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #25 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 16 Core Weight: 10 Total Weight: 1211 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #26 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 11 Core Weight: 9 Total Weight: 1220 0.00/0.00 c Current CPU time: 0.003999 s 0.00/0.00 c 0.00/0.00 c core #27 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 41 Total Weight: 1261 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #28 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 8 Total Weight: 1269 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #29 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 3 Core Weight: 33 Total Weight: 1302 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #30 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 34 Total Weight: 1336 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #31 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 11 Total Weight: 1347 0.00/0.00 c Current CPU time: 0.004999 s 0.00/0.00 c 0.00/0.00 c core #32 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 4 Core Weight: 8 Total Weight: 1355 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #33 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 6 Core Weight: 4 Total Weight: 1359 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #34 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 8 Core Weight: 17 Total Weight: 1376 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #35 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 6 Core Weight: 16 Total Weight: 1392 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #36 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 6 Core Weight: 16 Total Weight: 1408 0.00/0.00 c Current CPU time: 0.005999 s 0.00/0.00 c 0.00/0.00 c core #37 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 11 Core Weight: 1 Total Weight: 1409 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #38 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 5 Core Weight: 23 Total Weight: 1432 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #39 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 6 Core Weight: 2 Total Weight: 1434 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #40 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 6 Core Weight: 6 Total Weight: 1440 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #41 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 11 Core Weight: 4 Total Weight: 1444 0.00/0.00 c Current CPU time: 0.006998 s 0.00/0.00 c 0.00/0.00 c core #42 0.00/0.00 c 0.00/0.00 c 0.00/0.00 c Core size: 10 Core Weight: 10 Total Weight: 1454 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #43 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 11 Core Weight: 7 Total Weight: 1461 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #44 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 10 Core Weight: 8 Total Weight: 1469 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #45 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 12 Core Weight: 1 Total Weight: 1470 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #46 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 11 Core Weight: 2 Total Weight: 1472 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #47 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 7 Core Weight: 8 Total Weight: 1480 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #48 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 14 Core Weight: 1 Total Weight: 1481 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #49 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 14 Core Weight: 14 Total Weight: 1495 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #50 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 19 Core Weight: 1 Total Weight: 1496 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #51 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 44 Core Weight: 1 Total Weight: 1497 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #52 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 52 Core Weight: 7 Total Weight: 1504 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #53 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 29 Core Weight: 8 Total Weight: 1512 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #54 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 21 Core Weight: 1 Total Weight: 1513 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #55 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 29 Core Weight: 7 Total Weight: 1520 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #56 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 29 Core Weight: 1 Total Weight: 1521 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 396 663 1368 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #57 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 19 Core Weight: 1 Total Weight: 1522 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 405 669 1381 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #58 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 22 Core Weight: 1 Total Weight: 1523 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 416 675 1398 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #59 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 33 Core Weight: 1 Total Weight: 1524 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 436 688 1433 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #60 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 14 Core Weight: 1 Total Weight: 1525 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 446 695 1492 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #61 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 35 Core Weight: 1 Total Weight: 1526 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 465 712 1540 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #62 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 33 Core Weight: 4 Total Weight: 1530 0.00/0.01 c Current CPU time: 0.014997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 496 728 1651 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #63 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 20 Core Weight: 1 Total Weight: 1531 0.00/0.01 c Current CPU time: 0.014997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 517 739 1744 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #64 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 33 Core Weight: 1 Total Weight: 1532 0.00/0.01 c Current CPU time: 0.015997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 540 758 1807 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #65 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 36 Core Weight: 1 Total Weight: 1533 0.00/0.01 c Current CPU time: 0.016997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 574 780 1951 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.02 c core #66 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 34 Core Weight: 1 Total Weight: 1534 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 600 798 2019 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #67 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 31 Core Weight: 5 Total Weight: 1539 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 627 820 2156 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #68 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 29 Core Weight: 1 Total Weight: 1540 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 648 836 2203 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #69 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 25 Core Weight: 2 Total Weight: 1542 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 666 853 2265 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #70 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 41 Core Weight: 1 Total Weight: 1543 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 691 869 2339 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #71 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 68 Core Weight: 1 Total Weight: 1544 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 726 901 2453 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #72 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 42 Core Weight: 1 Total Weight: 1545 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 774 915 2653 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #73 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 46 Core Weight: 1 Total Weight: 1546 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 812 948 2772 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #74 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 71 Core Weight: 1 Total Weight: 1547 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 870 974 2945 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.03 c core #75 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 55 Core Weight: 1 Total Weight: 1548 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 914 1004 3104 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #76 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 57 Core Weight: 1 Total Weight: 1549 0.00/0.03 c Current CPU time: 0.027995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 959 1027 3324 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 101 | 959 1027 3324 | 5500 101 11 | 4.100 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #77 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 39 Core Weight: 1 Total Weight: 1550 0.00/0.03 c Current CPU time: 0.029995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 977 1055 3446 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #78 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 52 Core Weight: 1 Total Weight: 1551 0.00/0.03 c Current CPU time: 0.031995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 999 1077 3526 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #79 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 38 Core Weight: 1 Total Weight: 1552 0.00/0.03 c Current CPU time: 0.031995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1026 1097 3612 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #80 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 48 Core Weight: 1 Total Weight: 1553 0.00/0.03 c Current CPU time: 0.032994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1062 1117 3710 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #81 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 74 Core Weight: 1 Total Weight: 1554 0.00/0.03 c Current CPU time: 0.034994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1130 1157 3935 | 5000 0 -nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #82 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 66 Core Weight: 1 Total Weight: 1555 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1192 1196 4141 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 101 | 1187 1196 4141 | 5500 101 13 | 4.432 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #83 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 57 Core Weight: 1 Total Weight: 1556 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1235 1219 4273 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 1213 1219 4273 | 5500 100 11 | 9.416 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #84 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 110 Core Weight: 1 Total Weight: 1557 0.00/0.04 c Current CPU time: 0.041993 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1326 1289 4594 | 5000 0 -nan | 0.000 % | 0.00/0.05 c | 100 | 1326 1289 4594 | 5500 100 13 | 3.634 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c core #85 0.00/0.05 c 0.00/0.05 c 0.00/0.05 c Core size: 72 Core Weight: 1 Total Weight: 1558 0.00/0.05 c Current CPU time: 0.044993 s 0.00/0.05 c 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 1387 1306 4745 | 5000 0 -nan | 0.000 % | 0.00/0.05 c | 103 | 1367 1306 4745 | 5500 103 14 | 8.351 % | 0.05/0.05 c | 256 | 1315 1306 4745 | 6050 256 13 | 8.629 % | 0.05/0.05 c =============================================================================== 0.05/0.06 c core #86 0.05/0.06 c 0.05/0.06 c 0.05/0.06 c Core size: 126 Core Weight: 1 Total Weight: 1559 0.05/0.06 c Current CPU time: 0.050992 s 0.05/0.06 c 0.05/0.06 c ============================[ Search Statistics ]============================== 0.05/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.06 c =============================================================================== 0.05/0.06 c | 0 | 1497 1327 4999 | 5000 0 -nan | 0.000 % | 0.05/0.06 c | 100 | 1468 1327 4999 | 5500 100 18 | 8.018 % | 0.05/0.06 c | 251 | 1422 1327 4999 | 6050 251 12 | 8.145 % | 0.05/0.07 c | 477 | 1422 1327 4999 | 6655 477 17 | 8.145 % | 0.05/0.07 c | 816 | 1421 1327 4999 | 7320 816 17 | 8.145 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c core #87 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 146 Core Weight: 1 Total Weight: 1560 0.05/0.09 c Current CPU time: 0.080987 s 0.05/0.09 c 0.05/0.09 c ============================[ Search Statistics ]============================== 0.05/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.09 c =============================================================================== 0.05/0.09 c | 0 | 1639 1339 5300 | 5000 0 -nan | 0.000 % | 0.05/0.09 c | 100 | 1639 1339 5300 | 5500 100 29 | 2.960 % | 0.09/0.10 c | 250 | 1639 1339 5300 | 6050 250 17 | 2.961 % | 0.09/0.10 c | 475 | 1639 1339 5300 | 6655 475 16 | 2.960 % | 0.09/0.11 c | 812 | 1639 1339 5300 | 7320 812 16 | 2.960 % | 0.09/0.13 c | 1319 | 1639 1339 5300 | 8052 1319 18 | 2.961 % | 0.09/0.16 c | 2079 | 1639 1339 5300 | 8857 2079 24 | 2.960 % | 0.19/0.21 c | 3220 | 1639 1339 5300 | 9743 3220 26 | 2.960 % | 0.19/0.29 c | 4929 | 1639 1339 5300 | 10717 4929 27 | 2.960 % | 0.39/0.45 c | 7493 | 1629 1339 5300 | 11789 7493 28 | 3.552 % | 0.79/0.86 c | 11338 | 1629 1339 5300 | 12968 11338 32 | 3.552 % | 0.89/0.93 c =============================================================================== 0.89/0.97 c core #88 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c Core size: 191 Core Weight: 1 Total Weight: 1561 0.89/0.97 c Current CPU time: 0.91986 s 0.89/0.97 c 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 1817 1355 5678 | 5000 0 -nan | 0.000 % | 0.89/0.97 c | 100 | 1795 1355 5678 | 5500 100 31 | 6.535 % | 0.89/0.98 c | 252 | 1745 1355 5678 | 6050 252 18 | 6.535 % | 0.89/0.98 c | 477 | 1745 1355 5678 | 6655 477 29 | 6.535 % | 0.89/0.99 c | 815 | 1745 1355 5678 | 7320 815 30 | 6.535 % | 1.00/1.02 c | 1321 | 1745 1355 5678 | 8052 1321 33 | 6.535 % | 1.00/1.06 c | 2083 | 1745 1355 5678 | 8857 2083 40 | 6.535 % | 1.11/1.12 c | 3225 | 1745 1355 5678 | 9743 3225 38 | 6.535 % | 1.19/1.23 c | 4934 | 1745 1355 5678 | 10717 4934 40 | 6.535 % | 1.39/1.42 c | 7497 | 1745 1355 5678 | 11789 7497 40 | 6.535 % | 1.69/1.78 c | 11342 | 1745 1355 5678 | 12968 11342 41 | 6.535 % | 2.49/2.56 c | 17108 | 1745 1355 5678 | 14265 10388 54 | 6.535 % | 3.89/3.94 c | 25762 | 1745 1355 5678 | 15692 11743 53 | 6.535 % | 5.89/5.90 c | 38741 | 1745 1355 5678 | 17261 8607 48 | 6.535 % | 7.99/8.04 c | 58204 | 1745 1355 5678 | 18987 10390 54 | 6.535 % | 11.69/11.79 c | 87399 | 1735 1355 5678 | 20886 10566 47 | 7.070 % | 17.89/17.91 c =============================================================================== 18.39/18.47 c core #89 18.39/18.47 c 18.39/18.47 c 18.39/18.47 c Core size: 207 Core Weight: 1 Total Weight: 1562 18.39/18.47 c Current CPU time: 18.0892 s 18.39/18.47 c 18.39/18.47 c ============================[ Search Statistics ]============================== 18.39/18.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.39/18.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.39/18.47 c =============================================================================== 18.39/18.47 c | 0 | 2020 1369 6101 | 5000 0 -nan | 0.000 % | 18.39/18.48 c | 100 | 2019 1369 6101 | 5500 100 32 | 2.560 % | 18.39/18.48 c | 252 | 2017 1369 6101 | 6050 252 29 | 2.560 % | 18.39/18.49 c | 482 | 2017 1369 6101 | 6655 482 26 | 2.561 % | 18.49/18.50 c | 823 | 2017 1369 6101 | 7320 823 26 | 2.560 % | 18.49/18.52 c | 1329 | 2017 1369 6101 | 8052 1329 29 | 2.560 % | 18.49/18.56 c | 2089 | 2017 1369 6101 | 8857 2089 34 | 2.560 % | 18.60/18.63 c | 3229 | 2017 1369 6101 | 9743 3229 38 | 2.560 % | 18.71/18.78 c | 4937 | 2017 1369 6101 | 10717 4937 43 | 2.560 % | 18.89/18.95 c | 7500 | 2017 1369 6101 | 11789 7500 41 | 2.560 % | 19.29/19.34 c | 11347 | 2002 1369 6101 | 12968 11347 45 | 3.285 % | 20.09/20.13 c | 17114 | 2002 1369 6101 | 14265 10492 50 | 3.285 % | 21.29/21.37 c | 25765 | 2002 1369 6101 | 15692 11850 48 | 3.285 % | 22.89/22.99 c | 38740 | 1959 1369 6101 | 17261 8739 43 | 5.362 % | 25.89/25.91 c | 58201 | 1959 1369 6101 | 18987 10515 64 | 5.362 % | 31.80/31.87 c | 87393 | 1959 1369 6101 | 20886 10671 76 | 5.362 % | 39.39/39.44 c | 131183 | 1959 1369 6101 | 22974 11958 70 | 5.362 % | 54.60/54.62 c | 196868 | 1959 1369 6101 | 25272 19006 76 | 5.362 % | 74.81/74.84 c | 295394 | 1959 1369 6101 | 27799 13470 56 | 5.362 % | 107.49/107.52 c | 443184 | 1959 1369 6101 | 30579 13897 54 | 5.362 % | 160.49/160.58 c | 664867 | 1958 1369 6101 | 33637 23085 65 | 5.411 % | 230.30/230.38 c | 997392 | 1921 1369 6101 | 37001 17251 57 | 7.198 % | 347.89/347.94 c | 1496184 | 1921 1369 6101 | 40701 14661 61 | 7.198 % | 506.29/506.37 c | 2244366 | 1691 1369 6101 | 44771 35421 59 | 18.309 % | 702.09/702.18 c =============================================================================== 720.39/720.49 c core #90 720.39/720.49 c 720.39/720.49 c 720.39/720.49 c Core size: 228 Core Weight: 1 Total Weight: 1563 720.39/720.49 c Current CPU time: 712.36 s 720.39/720.49 c 720.39/720.49 c ============================[ Search Statistics ]============================== 720.39/720.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 720.39/720.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 720.39/720.49 c =============================================================================== 720.39/720.49 c | 0 | 2236 1382 6549 | 5000 0 -nan | 0.000 % | 720.39/720.49 c | 101 | 2183 1382 6549 | 5500 101 80 | 8.311 % | 720.39/720.50 c | 251 | 2096 1382 6549 | 6050 251 43 | 8.311 % | 720.39/720.51 c | 476 | 2096 1382 6549 | 6655 476 43 | 8.311 % | 720.50/720.52 c | 813 | 2096 1382 6549 | 7320 813 35 | 8.311 % | 720.50/720.55 c | 1320 | 2089 1382 6549 | 8052 1320 33 | 8.618 % | 720.50/720.59 c | 2084 | 2089 1382 6549 | 8857 2084 43 | 8.618 % | 720.58/720.65 c | 3224 | 2089 1382 6549 | 9743 3224 39 | 8.618 % | 720.69/720.75 c | 4932 | 2083 1382 6549 | 10717 4932 38 | 8.880 % | 720.89/720.93 c | 7494 | 2067 1382 6549 | 11789 7494 38 | 9.580 % | 721.19/721.21 c | 11338 | 1990 1382 6549 | 12968 11338 39 | 12.948 % | 721.79/721.87 c | 17108 | 1990 1382 6549 | 14265 10301 42 | 12.948 % | 723.09/723.15 c | 25757 | 1973 1382 6549 | 15692 11433 68 | 13.692 % | 725.59/725.67 c | 38731 | 1973 1382 6549 | 17261 8301 80 | 13.692 % | 729.09/729.13 c | 58192 | 1973 1382 6549 | 18987 9693 60 | 13.692 % | 733.98/734.00 c | 87384 | 1973 1382 6549 | 20886 19276 71 | 13.692 % | 744.49/744.51 c | 131178 | 1941 1382 6549 | 22974 19939 71 | 15.092 % | 757.91/757.93 c | 196864 | 1941 1382 6549 | 25272 14790 86 | 15.092 % | 783.68/783.70 c | 295390 | 1941 1382 6549 | 27799 20539 92 | 15.092 % | 822.08/822.15 c | 443180 | 1941 1382 6549 | 30579 16914 73 | 15.092 % | 879.38/879.48 c | 664863 | 1941 1382 6549 | 33637 28566 72 | 15.092 % | 945.39/945.40 c | 997391 | 1931 1382 6549 | 37001 32054 48 | 15.529 % | 1074.19/1074.28 c | 1496180 | 1931 1382 6549 | 40701 28062 85 | 15.529 % | 1267.58/1267.62 c | 2244372 | 1931 1382 6549 | 44771 38492 87 | 15.529 % | 1594.99/1595.05 c | 3366647 | 1931 1382 6549 | 49248 30840 74 | 15.529 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461356-1307081291/watcher-3461356-1307081291 -o /tmp/evaluation-result-3461356-1307081291/solver-3461356-1307081291 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461356-1307081291.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.01 2.00 2/488 4265 /proc/meminfo: memFree=21432812/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=2108 CPUtime=0 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 317 0 0 0 0 0 0 0 25 0 1 0 552320346 2158592 267 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 527 267 175 372 0 152 0 [startup+0.0585941 s] /proc/loadavg: 2.03 2.01 2.00 2/488 4265 /proc/meminfo: memFree=21432812/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=3020 CPUtime=0.05 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 537 0 0 0 5 0 0 0 18 0 1 0 552320346 3092480 487 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 755 487 180 372 0 380 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3020 [startup+0.100587 s] /proc/loadavg: 2.03 2.01 2.00 2/488 4265 /proc/meminfo: memFree=21432812/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=3304 CPUtime=0.09 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 636 0 0 0 8 1 0 0 18 0 1 0 552320346 3383296 586 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 826 586 180 372 0 451 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3304 [startup+0.30054 s] /proc/loadavg: 2.03 2.01 2.00 2/488 4265 /proc/meminfo: memFree=21432812/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=4232 CPUtime=0.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 860 0 0 0 27 2 0 0 18 0 1 0 552320346 4333568 810 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 1058 810 180 372 0 683 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4232 [startup+0.700485 s] /proc/loadavg: 2.03 2.01 2.00 2/488 4265 /proc/meminfo: memFree=21432812/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=6004 CPUtime=0.69 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 1305 0 0 0 65 4 0 0 18 0 1 0 552320346 6148096 1255 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 1501 1255 180 372 0 1126 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6004 [startup+1.50033 s] /proc/loadavg: 2.03 2.01 2.00 3/489 4266 /proc/meminfo: memFree=21424000/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=7980 CPUtime=1.49 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 1785 0 0 0 142 7 0 0 18 0 1 0 552320346 8171520 1711 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 1995 1711 180 372 0 1620 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7980 [startup+3.10105 s] /proc/loadavg: 2.03 2.01 2.00 3/489 4266 /proc/meminfo: memFree=21421520/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=9980 CPUtime=3.1 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 2322 0 0 0 300 10 0 0 18 0 1 0 552320346 10219520 2248 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 2495 2248 180 372 0 2120 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 9980 [startup+6.30049 s] /proc/loadavg: 2.03 2.01 2.00 3/489 4266 /proc/meminfo: memFree=21416020/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=13536 CPUtime=6.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 3158 0 0 0 615 14 0 0 18 0 1 0 552320346 13860864 3084 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 3384 3084 180 372 0 3009 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13536 [startup+12.7004 s] /proc/loadavg: 2.02 2.01 2.00 3/489 4267 /proc/meminfo: memFree=21401888/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=22928 CPUtime=12.69 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 5467 0 0 0 1245 24 0 0 25 0 1 0 552320346 23478272 5393 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 5732 5393 180 372 0 5357 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22928 [startup+25.5011 s] /proc/loadavg: 2.18 2.04 2.01 3/489 4267 /proc/meminfo: memFree=21383044/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=32908 CPUtime=25.49 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 8018 0 0 0 2504 45 0 0 25 0 1 0 552320346 33697792 7902 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 8227 7902 180 372 0 7852 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32908 [startup+51.1006 s] /proc/loadavg: 2.12 2.04 2.01 3/489 4268 /proc/meminfo: memFree=21361984/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=39132 CPUtime=51.09 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 9619 0 0 0 5035 74 0 0 25 0 1 0 552320346 40071168 9503 33554432000 4194304 5714214 140734968375808 18446744073709551615 4320123 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 9783 9503 180 372 0 9408 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 39132 [startup+102.319 s] /proc/loadavg: 2.11 2.04 2.01 3/489 4269 /proc/meminfo: memFree=21295128/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=72740 CPUtime=102.31 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 17858 0 0 0 10099 132 0 0 25 0 1 0 552320346 74485760 17742 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 18185 17742 180 372 0 17810 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 72740 [startup+162.301 s] /proc/loadavg: 2.04 2.03 2.00 3/489 4271 /proc/meminfo: memFree=21217524/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=111712 CPUtime=162.3 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 27382 0 0 0 16043 187 0 0 25 0 1 0 552320346 114393088 27266 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 27928 27266 180 372 0 27553 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 111712 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/489 4272 /proc/meminfo: memFree=21153020/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=145992 CPUtime=222.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 35922 0 0 0 21978 251 0 0 25 0 1 0 552320346 149495808 35806 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 36498 35806 180 372 0 36123 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 145992 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/489 4274 /proc/meminfo: memFree=21044236/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=181452 CPUtime=282.3 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 44714 0 0 0 27918 312 0 0 25 0 1 0 552320346 185806848 44598 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 45363 44598 180 372 0 44988 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 181452 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 4275 /proc/meminfo: memFree=21009348/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=217356 CPUtime=342.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 53529 0 0 0 33868 361 0 0 25 0 1 0 552320346 222572544 53413 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 54339 53413 180 372 0 53964 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 217356 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/489 4277 /proc/meminfo: memFree=20973104/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=254536 CPUtime=402.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 62689 0 0 0 39817 412 0 0 25 0 1 0 552320346 260644864 62573 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 63634 62573 180 372 0 63259 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 254536 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/489 4279 /proc/meminfo: memFree=20935516/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=290908 CPUtime=462.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 71732 0 0 0 45753 476 0 0 25 0 1 0 552320346 297889792 71616 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 72727 71616 180 372 0 72352 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 290908 [startup+522.301 s] /proc/loadavg: 2.13 2.03 2.01 3/489 4280 /proc/meminfo: memFree=20898272/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=329140 CPUtime=522.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 81243 0 0 0 51691 538 0 0 25 0 1 0 552320346 337039360 81127 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 82285 81127 180 372 0 81910 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 329140 [startup+582.301 s] /proc/loadavg: 2.11 2.04 2.01 3/489 4282 /proc/meminfo: memFree=20868124/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=359168 CPUtime=582.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 88640 0 0 0 57650 579 0 0 25 0 1 0 552320346 367788032 88524 33554432000 4194304 5714214 140734968375808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 89792 88524 180 372 0 89417 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 359168 [startup+642.3 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 2.00 2.03 2.00 3/489 4290 /proc/meminfo: memFree=20716644/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=882.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126365 0 0 0 87426 802 0 0 25 0 1 0 552320346 520294400 125987 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 125987 180 372 0 126650 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 508100 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/489 4291 /proc/meminfo: memFree=20717108/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=942.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126468 0 0 0 93367 861 0 0 25 0 1 0 552320346 520294400 126090 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126090 180 372 0 126650 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 508100 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 4293 /proc/meminfo: memFree=20694512/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1002.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126562 0 0 0 99314 915 0 0 25 0 1 0 552320346 520294400 126184 33554432000 4194304 5714214 140734968375808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126184 180 372 0 126650 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 508100 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 4295 /proc/meminfo: memFree=20667348/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1062.29 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126588 0 0 0 105262 967 0 0 25 0 1 0 552320346 520294400 126210 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126210 180 372 0 126650 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 508100 [startup+1122.3 s] /proc/loadavg: 2.07 2.03 2.01 3/489 4296 /proc/meminfo: memFree=20630728/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1122.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126704 0 0 0 111206 1022 0 0 25 0 1 0 552320346 520294400 126326 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126326 180 372 0 126650 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 508100 [startup+1182.3 s] /proc/loadavg: 2.06 2.04 2.01 3/489 4298 /proc/meminfo: memFree=20612360/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1182.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126800 0 0 0 117158 1070 0 0 25 0 1 0 552320346 520294400 126422 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126422 180 372 0 126650 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 508100 [startup+1242.3 s] /proc/loadavg: 2.06 2.04 2.00 3/489 4299 /proc/meminfo: memFree=20594712/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1242.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126908 0 0 0 123106 1122 0 0 25 0 1 0 552320346 520294400 126530 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126530 180 372 0 126650 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 508100 [startup+1302.3 s] /proc/loadavg: 2.02 2.03 2.00 3/489 4301 /proc/meminfo: memFree=20568880/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1302.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126924 0 0 0 129069 1159 0 0 25 0 1 0 552320346 520294400 126546 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126546 180 372 0 126650 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 508100 [startup+1362.3 s] /proc/loadavg: 2.01 2.02 2.00 3/489 4303 /proc/meminfo: memFree=20542924/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1362.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 126965 0 0 0 135033 1195 0 0 25 0 1 0 552320346 520294400 126587 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126587 180 372 0 126650 0 Current children cumulated CPU time (s) 1362.28 Current children cumulated vsize (KiB) 508100 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/489 4304 /proc/meminfo: memFree=20510892/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1422.3 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 127046 0 0 0 140999 1231 0 0 25 0 1 0 552320346 520294400 126668 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126668 180 372 0 126650 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 508100 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 4306 /proc/meminfo: memFree=20476036/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1482.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 127089 0 0 0 146954 1274 0 0 25 0 1 0 552320346 520294400 126711 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126711 180 372 0 126650 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 508100 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 4307 /proc/meminfo: memFree=20452684/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1542.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 127112 0 0 0 152913 1315 0 0 25 0 1 0 552320346 520294400 126734 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126734 180 372 0 126650 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 508100 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/489 4309 /proc/meminfo: memFree=20431952/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=508100 CPUtime=1602.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 127113 0 0 0 158864 1364 0 0 25 0 1 0 552320346 520294400 126735 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 127025 126735 180 372 0 126650 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 508100 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/489 4339 /proc/meminfo: memFree=20912796/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=517832 CPUtime=1662.27 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 129562 0 0 0 164827 1400 0 0 25 0 1 0 552320346 530259968 129184 33554432000 4194304 5714214 140734968375808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 129458 129184 180 372 0 129083 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 517832 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/489 4340 /proc/meminfo: memFree=20873876/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=537464 CPUtime=1722.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 134390 0 0 0 170795 1433 0 0 25 0 1 0 552320346 550363136 134012 33554432000 4194304 5714214 140734968375808 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 134366 134012 180 372 0 133991 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 537464 [startup+1782.3 s] /proc/loadavg: 2.11 2.03 2.01 3/489 4342 /proc/meminfo: memFree=20824352/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=563244 CPUtime=1782.28 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 140740 0 0 0 176760 1468 0 0 25 0 1 0 552320346 576761856 140362 33554432000 4194304 5714214 140734968375808 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 140811 140362 180 372 0 140436 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 563244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.08 2.03 2.01 3/489 4342 /proc/meminfo: memFree=20818268/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=566120 CPUtime=1800.08 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 141414 0 0 0 178531 1477 0 0 25 0 1 0 552320346 579706880 141036 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 141530 141036 180 372 0 141155 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 566120 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.08 2.03 2.01 3/489 4342 /proc/meminfo: memFree=20818268/32951124 swapFree=46575304/67111528 [pid=4265] ppid=4263 vsize=566120 CPUtime=1800.08 cores=1,3,5,7 /proc/4265/stat : 4265 (wbo1.6) R 4263 4265 31334 0 -1 4202496 141414 0 0 0 178531 1477 0 0 25 0 1 0 552320346 579706880 141036 33554432000 4194304 5714214 140734968375808 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/4265/statm: 141530 141036 180 372 0 141155 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 566120 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.14 CPU time (s): 1800.13 CPU user time (s): 1785.33 CPU system time (s): 14.8007 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 566120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.33 system time used= 14.8007 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 141414 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= 23 involuntary context switches= 2374 runsolver used 7.95779 second user time and 19.949 second system time The end
Begin job on node107 at 2011-06-03 08:08:11 IDJOB=3461356 IDBENCH=2023 IDSOLVER=1953 FILE ID=node107/3461356-1307081291 RUNJOBID= node107-1307075697-3851 PBS_JOBID= 13497881 Free space on /tmp= 73860 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461356-1307081291/watcher-3461356-1307081291 -o /tmp/evaluation-result-3461356-1307081291/solver-3461356-1307081291 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461356-1307081291.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2dad588c047f66368bead690393575a4 RANDOM SEED=964960277 node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5359.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21433092 kB Buffers: 297172 kB Cached: 2025456 kB SwapCached: 22548 kB Active: 9245792 kB Inactive: 1924148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21433092 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 4212 kB Writeback: 0 kB AnonPages: 8842776 kB Mapped: 33384 kB Slab: 184352 kB PageTables: 94980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145244672 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73844 MiB End job on node107 at 2011-06-03 08:38:13