Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1473.36 | 1473.9 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-fout.r.opb |
MD5SUM | 40b50d0e4bc3f1ba5675c1e65f55a1d7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 0.106983 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | YES |
Number of variables | 431 |
Total number of constraints | 177 |
Number of constraints which are clauses | 177 |
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 | 2 |
Maximum length of a constraint | 26 |
Number of terms in the objective function | 431 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 431 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 431 |
Number of bits of the biggest sum of numbers | 9 |
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.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680901-1277457125.opb. 0.00/0.00 c Instance file HOME/instance-2680901-1277457125.opb 0.00/0.00 c File size is 18662 bytes. 0.00/0.00 c Highest Coefficient sum: 27 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: 431 | 0.00/0.00 c | Number Clauses: 177 | 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 | 431 177 1815 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 53 0.00/0.00 o 53 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 431 178 2246 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 52 0.00/0.00 o 52 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 21 | 431 179 2677 | 5000 21 67 | 0.000 % | 0.00/0.01 c | 121 | 431 179 2677 | 5500 121 65 | 0.001 % | 0.00/0.02 c | 272 | 431 179 2677 | 6050 272 67 | 0.001 % | 0.00/0.04 c | 499 | 431 179 2677 | 6655 499 67 | 0.001 % | 0.00/0.06 c | 836 | 431 179 2677 | 7320 836 67 | 0.001 % | 0.09/0.10 c | 1342 | 431 179 2677 | 8052 1342 66 | 0.001 % | 0.09/0.16 c | 2101 | 431 179 2677 | 8857 2101 65 | 0.001 % | 0.20/0.24 c | 3241 | 431 179 2677 | 9743 3241 67 | 0.001 % | 0.29/0.39 c | 4949 | 431 179 2677 | 10717 4949 66 | 0.001 % | 0.59/0.61 c | 7511 | 431 179 2677 | 11789 7511 65 | 0.001 % | 0.89/0.97 c | 11355 | 431 179 2677 | 12968 11355 65 | 0.001 % | 1.49/1.58 c | 17121 | 431 179 2677 | 14265 10479 64 | 0.001 % | 2.39/2.47 c | 25771 | 431 179 2677 | 15692 11840 63 | 0.001 % | 3.89/3.92 c | 38745 | 431 179 2677 | 17261 8800 66 | 0.001 % | 6.19/6.30 c | 58206 | 431 179 2677 | 18987 10694 63 | 0.001 % | 10.90/10.97 c | 87399 | 431 179 2677 | 20886 10868 68 | 0.001 % | 16.89/16.98 c | 131188 | 431 179 2677 | 22974 12205 71 | 0.001 % | 26.99/27.05 c | 196872 | 431 179 2677 | 25272 16557 68 | 0.001 % | 44.68/44.75 c | 295398 | 431 179 2677 | 27799 14200 62 | 0.001 % | 66.37/66.48 c | 443188 | 431 179 2677 | 30579 25200 65 | 0.001 % | 108.16/108.23 c | 664872 | 431 179 2677 | 33637 30624 64 | 0.001 % | 166.74/166.85 c | 997397 | 431 179 2677 | 37001 22940 65 | 0.001 % | 183.24/183.34 c There are 0 assigned variables. 0 in cost function. 184.54/184.62 c core #1 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 14 Core Weight: 1 Total Weight: 1 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #2 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 5 Core Weight: 1 Total Weight: 2 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #3 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 6 Core Weight: 1 Total Weight: 3 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #4 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 12 Core Weight: 1 Total Weight: 4 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #5 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 5 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #6 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 12 Core Weight: 1 Total Weight: 6 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #7 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 16 Core Weight: 1 Total Weight: 7 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #8 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 7 Core Weight: 1 Total Weight: 8 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #9 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 9 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #10 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 10 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #11 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 10 Core Weight: 1 Total Weight: 11 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #12 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 12 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #13 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 13 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #14 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 14 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #15 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 5 Core Weight: 1 Total Weight: 15 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #16 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 5 Core Weight: 1 Total Weight: 16 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #17 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 13 Core Weight: 1 Total Weight: 17 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #18 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 10 Core Weight: 1 Total Weight: 18 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #19 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 19 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #20 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 11 Core Weight: 1 Total Weight: 20 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #21 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 6 Core Weight: 1 Total Weight: 21 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #22 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 3 Core Weight: 1 Total Weight: 22 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #23 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 5 Core Weight: 1 Total Weight: 23 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #24 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 16 Core Weight: 1 Total Weight: 24 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #25 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 7 Core Weight: 1 Total Weight: 25 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #26 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 5 Core Weight: 1 Total Weight: 26 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #27 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 5 Core Weight: 1 Total Weight: 27 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #28 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 5 Core Weight: 1 Total Weight: 28 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #29 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 9 Core Weight: 1 Total Weight: 29 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #30 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 8 Core Weight: 1 Total Weight: 30 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c core #31 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 20 Core Weight: 1 Total Weight: 31 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c ============================[ Search Statistics ]============================== 184.54/184.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.62 c =============================================================================== 184.54/184.62 c | 0 | 461 641 3378 | 5000 0 nan | 0.000 % | 184.54/184.62 c =============================================================================== 184.54/184.62 c core #32 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c Core size: 31 Core Weight: 1 Total Weight: 32 184.54/184.62 c 184.54/184.62 c 184.54/184.62 c ============================[ Search Statistics ]============================== 184.54/184.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.62 c =============================================================================== 184.54/184.62 c | 0 | 505 642 3450 | 5000 0 nan | 0.000 % | 184.54/184.62 c =============================================================================== 184.54/184.63 c core #33 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c Core size: 62 Core Weight: 1 Total Weight: 33 184.54/184.63 c 184.54/184.63 c 184.54/184.63 c ============================[ Search Statistics ]============================== 184.54/184.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.63 c =============================================================================== 184.54/184.63 c | 0 | 604 643 3618 | 5000 0 nan | 0.000 % | 184.54/184.63 c | 100 | 604 643 3618 | 5500 100 19 | 20.735 % | 184.54/184.63 c =============================================================================== 184.54/184.64 c core #34 184.54/184.64 c 184.54/184.64 c 184.54/184.64 c Core size: 161 Core Weight: 1 Total Weight: 34 184.54/184.64 c 184.54/184.64 c 184.54/184.64 c ============================[ Search Statistics ]============================== 184.54/184.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.64 c =============================================================================== 184.54/184.64 c | 0 | 810 644 3972 | 5000 0 nan | 0.000 % | 184.54/184.64 c | 102 | 810 644 3972 | 5500 102 28 | 11.572 % | 184.54/184.66 c | 253 | 810 644 3972 | 6050 253 26 | 11.572 % | 184.54/184.68 c | 480 | 810 644 3972 | 6655 480 25 | 11.572 % | 184.65/184.71 c | 817 | 810 644 3972 | 7320 817 24 | 11.572 % | 184.65/184.77 c | 1324 | 810 644 3972 | 8052 1324 28 | 11.572 % | 184.74/184.89 c | 2083 | 808 644 3972 | 8857 2080 30 | 11.791 % | 184.84/184.92 c =============================================================================== 184.84/184.94 c core #35 184.84/184.94 c 184.84/184.94 c 184.84/184.94 c Core size: 252 Core Weight: 1 Total Weight: 35 184.84/184.94 c 184.84/184.94 c 184.84/184.94 c ============================[ Search Statistics ]============================== 184.84/184.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.94 c =============================================================================== 184.84/184.94 c | 0 | 1079 645 4487 | 5000 0 nan | 0.000 % | 184.84/184.95 c | 100 | 1079 645 4487 | 5500 100 48 | 7.143 % | 184.84/184.97 c | 250 | 1079 645 4487 | 6050 250 45 | 7.143 % | 184.94/185.00 c | 475 | 1079 645 4487 | 6655 475 57 | 7.143 % | 184.94/185.06 c | 813 | 1079 645 4487 | 7320 813 61 | 7.143 % | 185.04/185.15 c | 1321 | 1079 645 4487 | 8052 1321 63 | 7.143 % | 185.24/185.35 c | 2089 | 1079 645 4487 | 8857 2089 78 | 7.143 % | 185.54/185.61 c | 3232 | 1079 645 4487 | 9743 3232 89 | 7.143 % | 185.94/186.06 c | 4940 | 1079 645 4487 | 10717 4940 97 | 7.143 % | 186.94/187.07 c | 7502 | 1079 645 4487 | 11789 7502 112 | 7.143 % | 188.94/189.05 c | 11347 | 1079 645 4487 | 12968 11347 114 | 7.143 % | 191.64/191.70 c | 17116 | 1079 645 4487 | 14265 10530 115 | 7.143 % | 195.83/195.90 c | 25765 | 1079 645 4487 | 15692 11937 115 | 7.143 % | 201.24/201.37 c | 38739 | 1079 645 4487 | 17261 9054 115 | 7.143 % | 202.53/202.60 c =============================================================================== 203.13/203.27 c core #36 203.13/203.27 c 203.13/203.27 c 203.13/203.27 c Core size: 304 Core Weight: 1 Total Weight: 36 203.13/203.27 c 203.13/203.27 c 203.13/203.27 c ============================[ Search Statistics ]============================== 203.13/203.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.13/203.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.13/203.27 c =============================================================================== 203.13/203.27 c | 0 | 1409 646 5119 | 5000 0 nan | 0.000 % | 203.13/203.30 c | 100 | 1409 646 5119 | 5500 100 28 | 3.757 % | 203.23/203.32 c | 251 | 1409 646 5119 | 6050 251 39 | 3.757 % | 203.23/203.36 c | 476 | 1409 646 5119 | 6655 476 58 | 3.757 % | 203.34/203.43 c | 813 | 1409 646 5119 | 7320 813 76 | 3.757 % | 203.44/203.51 c | 1320 | 1409 646 5119 | 8052 1320 94 | 3.757 % | 203.54/203.67 c | 2079 | 1409 646 5119 | 8857 2079 114 | 3.757 % | 203.93/204.05 c | 3219 | 1409 646 5119 | 9743 3219 131 | 3.757 % | 204.44/204.60 c | 4928 | 1409 646 5119 | 10717 4928 144 | 3.757 % | 205.54/205.69 c | 7492 | 1409 646 5119 | 11789 7492 149 | 3.757 % | 207.03/207.11 c | 11336 | 1409 646 5119 | 12968 11336 154 | 3.757 % | 209.43/209.52 c | 17102 | 1409 646 5119 | 14265 10499 141 | 3.757 % | 213.23/213.35 c | 25753 | 1409 646 5119 | 15692 11856 173 | 3.757 % | 220.63/220.78 c | 38736 | 1409 646 5119 | 17261 8853 194 | 3.757 % | 230.83/230.92 c | 58198 | 1409 646 5119 | 18987 10703 175 | 3.757 % | 247.12/247.29 c | 87393 | 1409 646 5119 | 20886 10999 200 | 3.757 % | 275.01/275.15 c | 131183 | 1409 646 5119 | 22974 12270 197 | 3.757 % | 325.70/325.86 c | 196869 | 1409 646 5119 | 25272 19528 202 | 3.757 % | 429.06/429.27 c | 295401 | 1409 646 5119 | 27799 14696 224 | 3.757 % | 573.82/574.04 c | 443193 | 1409 646 5119 | 30579 27845 254 | 3.757 % | 724.38/724.68 c =============================================================================== 739.08/739.32 c core #37 739.08/739.32 c 739.08/739.32 c 739.08/739.32 c Core size: 388 Core Weight: 1 Total Weight: 37 739.08/739.32 c 739.08/739.32 c 739.08/739.32 c ============================[ Search Statistics ]============================== 739.08/739.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 739.08/739.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 739.08/739.32 c =============================================================================== 739.08/739.32 c | 0 | 1830 647 5927 | 5000 0 nan | 0.000 % | 739.18/739.44 c | 101 | 1830 647 5927 | 5500 101 89 | 1.135 % | 739.27/739.57 c | 251 | 1830 647 5927 | 6050 251 97 | 1.135 % | 739.37/739.60 c | 476 | 1830 647 5927 | 6655 476 102 | 1.135 % | 739.37/739.68 c | 814 | 1830 647 5927 | 7320 814 110 | 1.135 % | 739.47/739.78 c | 1326 | 1830 647 5927 | 8052 1326 112 | 1.135 % | 739.78/740.00 c | 2086 | 1830 647 5927 | 8857 2086 136 | 1.135 % | 740.18/740.44 c | 3225 | 1830 647 5927 | 9743 3225 154 | 1.135 % | 740.77/741.00 c | 4933 | 1830 647 5927 | 10717 4933 186 | 1.135 % | 741.98/742.22 c | 7497 | 1830 647 5927 | 11789 7497 238 | 1.135 % | 745.37/745.61 c | 11345 | 1830 647 5927 | 12968 11345 289 | 1.135 % | 751.27/751.58 c | 17111 | 1830 647 5927 | 14265 10705 336 | 1.135 % | 758.56/758.84 c | 25762 | 1830 647 5927 | 15692 12086 339 | 1.135 % | 771.16/771.49 c | 38737 | 1830 647 5927 | 17261 9196 385 | 1.135 % | 791.25/791.56 c | 58199 | 1830 647 5927 | 18987 11424 411 | 1.135 % | 824.55/824.81 c | 87391 | 1830 647 5927 | 20886 11410 377 | 1.135 % | 874.53/874.82 c | 131182 | 1830 647 5927 | 22974 12536 309 | 1.135 % | 975.70/976.08 c | 196867 | 1830 647 5927 | 25272 19456 433 | 1.135 % | 1054.88/1055.29 c | 295394 | 1830 647 5927 | 27799 24104 278 | 1.135 % | 1231.13/1231.56 c | 443186 | 1830 647 5927 | 30579 19785 297 | 1.135 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680901-1277457125/watcher-2680901-1277457125 -o /tmp/evaluation-result-2680901-1277457125/solver-2680901-1277457125 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680901-1277457125.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.03 0.94 3/106 29563 /proc/meminfo: memFree=1200588/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=2580 CPUtime=0 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 303 0 0 0 0 0 0 0 24 0 1 0 87005262 2641920 216 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 645 216 144 303 0 340 0 [startup+0.0982319 s] /proc/loadavg: 1.03 1.03 0.94 3/106 29563 /proc/meminfo: memFree=1200588/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=3092 CPUtime=0.09 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 423 0 0 0 9 0 0 0 24 0 1 0 87005262 3166208 336 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 773 336 145 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.101234 s] /proc/loadavg: 1.03 1.03 0.94 3/106 29563 /proc/meminfo: memFree=1200588/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=3092 CPUtime=0.09 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 427 0 0 0 9 0 0 0 24 0 1 0 87005262 3166208 340 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 773 340 145 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.301261 s] /proc/loadavg: 1.03 1.03 0.94 3/106 29563 /proc/meminfo: memFree=1200588/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=4128 CPUtime=0.29 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 682 0 0 0 28 1 0 0 25 0 1 0 87005262 4227072 595 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 1032 595 145 303 0 727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4128 [startup+0.701317 s] /proc/loadavg: 1.03 1.03 0.94 3/106 29563 /proc/meminfo: memFree=1200588/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=5808 CPUtime=0.7 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 1110 0 0 0 67 3 0 0 25 0 1 0 87005262 5947392 1023 1992294400 134512640 135752675 4292922880 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 1452 1023 145 303 0 1147 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 5808 [startup+1.50143 s] /proc/loadavg: 1.03 1.03 0.94 2/107 29566 /proc/meminfo: memFree=1195744/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=8780 CPUtime=1.49 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 1845 0 0 0 145 4 0 0 25 0 1 0 87005262 8990720 1758 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 2195 1758 145 303 0 1890 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8780 [startup+3.10166 s] /proc/loadavg: 1.03 1.03 0.94 2/107 29566 /proc/meminfo: memFree=1191528/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=14748 CPUtime=3.09 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 3337 0 0 0 301 8 0 0 25 0 1 0 87005262 15101952 3250 1992294400 134512640 135752675 4292922880 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 3687 3251 145 303 0 3382 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14748 [startup+6.30112 s] /proc/loadavg: 1.03 1.03 0.94 2/107 29566 /proc/meminfo: memFree=1180244/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=24208 CPUtime=6.29 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 5720 0 0 0 613 16 0 0 25 0 1 0 87005262 24788992 5633 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 6052 5633 145 303 0 5747 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24208 [startup+12.701 s] /proc/loadavg: 1.03 1.03 0.94 2/107 29566 /proc/meminfo: memFree=1163380/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=41008 CPUtime=12.68 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 9886 0 0 0 1242 26 0 0 25 0 1 0 87005262 41992192 9799 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 10252 9799 145 303 0 9947 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41008 [startup+25.5009 s] /proc/loadavg: 1.02 1.02 0.94 2/107 29566 /proc/meminfo: memFree=1129404/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=73760 CPUtime=25.49 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 18058 0 0 0 2495 54 0 0 25 0 1 0 87005262 75530240 17971 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 18440 17971 145 303 0 18135 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73760 [startup+51.1005 s] /proc/loadavg: 1.01 1.02 0.94 2/107 29566 /proc/meminfo: memFree=1073976/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=129744 CPUtime=51.08 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 32037 0 0 0 5005 103 0 0 25 0 1 0 87005262 132857856 31950 1992294400 134512640 135752675 4292922880 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 32436 31950 145 303 0 32131 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 129744 [startup+102.309 s] /proc/loadavg: 1.00 1.02 0.94 2/107 29568 /proc/meminfo: memFree=967584/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=234748 CPUtime=102.27 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 58268 0 0 0 10036 191 0 0 25 0 1 0 87005262 240381952 58181 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 58687 58181 145 303 0 58382 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 234748 [startup+162.3 s] /proc/loadavg: 1.00 1.01 0.94 2/107 29570 /proc/meminfo: memFree=843832/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=359876 CPUtime=162.25 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 89512 0 0 0 15932 293 0 0 25 0 1 0 87005262 368513024 89425 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 89969 89425 145 303 0 89664 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 359876 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.94 2/107 29570 /proc/meminfo: memFree=773896/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=427780 CPUtime=222.23 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 106626 0 0 0 21850 373 0 0 25 0 1 0 87005262 438046720 106502 1992294400 134512640 135752675 4292922880 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 106945 106502 146 303 0 106640 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 427780 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29572 /proc/meminfo: memFree=685980/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=516212 CPUtime=282.21 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 128697 0 0 0 27787 434 0 0 25 0 1 0 87005262 528601088 128573 1992294400 134512640 135752675 4292922880 18446744073709551615 134639396 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 129053 128573 146 303 0 128748 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 516212 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29574 /proc/meminfo: memFree=613192/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=588556 CPUtime=342.19 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 146761 0 0 0 33735 484 0 0 25 0 1 0 87005262 602681344 146637 1992294400 134512640 135752675 4292922880 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 147139 146637 146 303 0 146834 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 588556 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29576 /proc/meminfo: memFree=549952/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=652848 CPUtime=402.17 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 162778 0 0 0 39692 525 0 0 25 0 1 0 87005262 668516352 162654 1992294400 134512640 135752675 4292922880 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 163212 162654 146 303 0 162907 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 652848 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 3/107 29578 /proc/meminfo: memFree=488076/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=713852 CPUtime=462.16 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 177982 0 0 0 45655 561 0 0 25 0 1 0 87005262 730984448 177858 1992294400 134512640 135752675 4292922880 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 178463 177858 146 303 0 178158 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 713852 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29578 /proc/meminfo: memFree=416776/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=786100 CPUtime=522.14 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 196018 0 0 0 51610 604 0 0 25 0 1 0 87005262 804966400 195894 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 196525 195894 146 303 0 196220 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 786100 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29580 /proc/meminfo: memFree=353412/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=848396 CPUtime=582.12 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 211586 0 0 0 57568 644 0 0 25 0 1 0 87005262 868757504 211462 1992294400 134512640 135752675 4292922880 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 212099 211462 146 303 0 211794 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 848396 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29582 /proc/meminfo: memFree=291040/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=910288 CPUtime=642.11 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 227030 0 0 0 63526 685 0 0 25 0 1 0 87005262 932134912 226906 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 227572 226906 146 303 0 227267 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 910288 [startup+702.301 s] ################ # More data... # ################ /proc/loadavg: 1.00 1.00 0.94 2/107 29588 /proc/meminfo: memFree=31136/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1169008 CPUtime=882.03 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 291912 0 0 0 87371 832 0 0 25 0 1 0 87005262 1197064192 291788 1992294400 134512640 135752675 4292922880 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 292252 291788 146 303 0 291947 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1169008 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29590 /proc/meminfo: memFree=9964/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1243196 CPUtime=942.02 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 310443 0 0 0 93335 867 0 0 25 0 1 0 87005262 1273032704 310319 1992294400 134512640 135752675 4292922880 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 310799 310319 146 303 0 310494 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1243196 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29592 /proc/meminfo: memFree=9508/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1302260 CPUtime=1002 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 325212 0 0 0 99301 899 0 0 25 0 1 0 87005262 1333514240 325088 1992294400 134512640 135752675 4292922880 18446744073709551615 134639515 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 325565 325088 146 303 0 325260 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1302260 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29594 /proc/meminfo: memFree=9712/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1388752 CPUtime=1061.98 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 346817 0 0 0 105248 950 0 0 25 0 1 0 87005262 1422082048 346693 1992294400 134512640 135752675 4292922880 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 347188 346693 146 303 0 346883 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1388752 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29594 /proc/meminfo: memFree=10632/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1446028 CPUtime=1121.96 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 361120 0 0 0 111207 989 0 0 25 0 1 0 87005262 1480732672 360996 1992294400 134512640 135752675 4292922880 18446744073709551615 134639396 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 361507 360996 146 303 0 361202 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1446028 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29596 /proc/meminfo: memFree=10664/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1523160 CPUtime=1181.95 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 380366 0 0 0 117168 1027 0 0 25 0 1 0 87005262 1559715840 380242 1992294400 134512640 135752675 4292922880 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 380790 380242 146 303 0 380485 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1523160 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29601 /proc/meminfo: memFree=9984/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1589864 CPUtime=1241.93 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 397026 0 0 0 123135 1058 0 0 25 0 1 0 87005262 1628020736 396902 1992294400 134512640 135752675 4292922880 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 397466 396902 146 303 0 397161 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1589864 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29603 /proc/meminfo: memFree=9892/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1641428 CPUtime=1301.91 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 409909 0 0 0 129105 1086 0 0 25 0 1 0 87005262 1680822272 409785 1992294400 134512640 135752675 4292922880 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 410357 409785 146 303 0 410052 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1641428 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 29605 /proc/meminfo: memFree=10856/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1712028 CPUtime=1361.89 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 427529 0 0 0 135064 1125 0 0 25 0 1 0 87005262 1753116672 427405 1992294400 134512640 135752675 4292922880 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 428007 427405 146 303 0 427702 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1712028 [startup+1422.31 s] /proc/loadavg: 1.04 1.01 0.94 2/107 29605 /proc/meminfo: memFree=10792/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1783984 CPUtime=1421.88 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 445514 0 0 0 141022 1166 0 0 25 0 1 0 87005262 1826799616 445390 1992294400 134512640 135752675 4292922880 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 445996 445390 146 303 0 445691 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1783984 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1473.7 s] /proc/loadavg: 1.06 1.02 0.95 2/107 29607 /proc/meminfo: memFree=10604/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=1843348 CPUtime=1473.26 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4202496 460332 0 0 0 146129 1197 0 0 25 0 1 0 87005262 1887588352 460208 1992294400 134512640 135752675 4292922880 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29563/statm: 460837 460208 146 303 0 460532 0 Current children cumulated CPU time (s) 1473.26 Current children cumulated vsize (KiB) 1843348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1473.36 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1473.36 s) to the 'lost time'. [startup+1473.81 s] /proc/loadavg: 1.06 1.02 0.95 2/107 29607 /proc/meminfo: memFree=10604/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=0 CPUtime=1473.36 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4203524 460332 0 0 0 146129 1207 0 0 25 0 1 0 87005262 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29563/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1473.36 Current children cumulated vsize (KiB) 0 [startup+1473.9 s] /proc/loadavg: 1.06 1.02 0.95 2/108 29608 /proc/meminfo: memFree=1836620/2059040 swapFree=4140284/4192956 [pid=29563] ppid=-1 vsize=0 CPUtime=0 /proc/29563/stat : -- couldn't open stat file --/proc/29563/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1473.81 s] /proc/loadavg: 1.06 1.02 0.95 2/107 29607 /proc/meminfo: memFree=10604/2059040 swapFree=4140284/4192956 [pid=29563] ppid=29561 vsize=0 CPUtime=1473.36 /proc/29563/stat : 29563 (wbo1.4b) R 29561 29563 29262 0 -1 4203524 460332 0 0 0 146129 1207 0 0 25 0 1 0 87005262 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29563/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1473.36 Current children cumulated vsize (KiB) 0 [startup+1473.9 s] /proc/loadavg: 1.06 1.02 0.95 2/108 29608 /proc/meminfo: memFree=1836620/2059040 swapFree=4140284/4192956 [pid=29563] ppid=-1 vsize=0 CPUtime=0 /proc/29563/stat : -- couldn't open stat file --/proc/29563/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 29563 and gives # childrusage.ru_utime.tv_sec=1461 # childrusage.ru_utime.tv_usec=298848 # childrusage.ru_stime.tv_sec=12 # childrusage.ru_stime.tv_usec=171149 # CPU time returned by wait4() is 1473.47 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1473.36 # lost CPU user time (s): 1461.29 # lost CPU system time (s): 12.07 Real time (s): 1473.9 CPU time (s): 1473.36 CPU user time (s): 1461.29 CPU system time (s): 12.07 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 1843348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1461.3 system time used= 12.1711 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460332 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= 7 involuntary context switches= 1700 runsolver used 2.50162 second user time and 6.91595 second system time The end
Begin job on node039 at 2010-06-25 11:12:05 IDJOB=2680901 IDBENCH=2867 IDSOLVER=1190 FILE ID=node039/2680901-1277457125 PBS_JOBID= 11188127 Free space on /tmp= 62344 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-fout.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680901-1277457125/watcher-2680901-1277457125 -o /tmp/evaluation-result-2680901-1277457125/solver-2680901-1277457125 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680901-1277457125.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 40b50d0e4bc3f1ba5675c1e65f55a1d7 RANDOM SEED=1927481012 node039.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 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.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1201116 kB Buffers: 177560 kB Cached: 565168 kB SwapCached: 5776 kB Active: 120780 kB Inactive: 635376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1201116 kB SwapTotal: 4192956 kB SwapFree: 4140284 kB Dirty: 2624 kB Writeback: 0 kB AnonPages: 11728 kB Mapped: 12292 kB Slab: 79920 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182072 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62340 MiB End job on node039 at 2010-06-25 11:36:41