Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.05 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
MD5SUM | de4cbecd7c9968d40b279ce145b888a9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 319 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8883 |
Total number of constraints | 17459 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17459 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2691 |
Number of bits of the biggest sum of numbers | 12 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655854-1276583864.opb. 0.00/0.00 c Instance file HOME/instance-2655854-1276583864.opb 0.00/0.00 c File size is 5036183 bytes. 0.79/0.87 c Highest Coefficient sum: 2691 0.79/0.87 c ============================[ Problem Statistics ]============================= 0.79/0.87 c | | 0.79/0.87 c | Parsing time: 0.84 s | 0.79/0.87 c | Number Variables: 8883 | 0.79/0.87 c | Number Clauses: 0 | 0.79/0.87 c | Number Cardinality: 0 | 0.79/0.87 c | Number PB Constraints: 17459 | 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 8883 17459 596088 | 5819 0 nan | 0.000 % | 3.69/3.76 c | 103 | 8883 17459 596088 | 6401 103 39 | 0.000 % | 5.29/5.36 c | 254 | 8883 17459 596088 | 7041 254 32 | 0.000 % | 6.89/6.97 c | 479 | 8883 17459 596088 | 7745 479 29 | 0.000 % | 9.19/9.26 c | 816 | 8883 17459 596088 | 8520 816 35 | 0.000 % | 13.49/13.59 c | 1323 | 8883 17459 596088 | 9372 1323 36 | 0.000 % | 21.69/21.75 c | 2082 | 8883 17459 596088 | 10309 2082 36 | 0.000 % | 29.39/29.43 c | 3221 | 8883 17459 596088 | 11340 3221 40 | 0.000 % | 42.89/42.91 c | 4930 | 8883 17459 596088 | 12474 4930 44 | 0.000 % | 61.38/61.47 c | 7493 | 8883 17459 596088 | 13722 7493 40 | 0.000 % | 86.57/86.69 c | 11337 | 8883 17459 596088 | 15094 11337 39 | 0.000 % | 146.86/146.95 c | 17103 | 8883 17459 596088 | 16604 9283 41 | 0.000 % | 180.25/180.34 c There are 0 assigned variables. 0 in cost function. 181.45/181.54 c core #1 181.45/181.54 c core #2 181.45/181.54 c ============================[ Search Statistics ]============================== 181.45/181.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.45/181.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.45/181.54 c =============================================================================== 181.45/181.54 c | 0 | 8774 17485 596111 | 5828 0 nan | 0.000 % | 181.45/181.55 c =============================================================================== 181.85/181.98 c core #3 181.85/181.98 c ============================[ Search Statistics ]============================== 181.85/181.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.85/181.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.85/181.98 c =============================================================================== 181.85/181.98 c | 0 | 8783 17493 596122 | 5831 0 nan | 0.000 % | 181.95/182.00 c =============================================================================== 182.35/182.44 c core #4 182.35/182.44 c ============================[ Search Statistics ]============================== 182.35/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.35/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.35/182.44 c =============================================================================== 182.35/182.44 c | 0 | 8808 17500 596137 | 5833 0 nan | 0.000 % | 182.45/182.51 c =============================================================================== 182.84/182.95 c core #5 182.84/182.95 c ============================[ Search Statistics ]============================== 182.84/182.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.95 c =============================================================================== 182.84/182.95 c | 0 | 8819 17507 596153 | 5835 0 nan | 0.000 % | 183.04/183.10 c =============================================================================== 183.44/183.54 c core #6 183.44/183.54 c ============================[ Search Statistics ]============================== 183.44/183.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.54 c =============================================================================== 183.44/183.54 c | 0 | 8843 17513 596171 | 5837 0 nan | 0.000 % | 183.74/183.83 c =============================================================================== 184.15/184.28 c core #7 184.15/184.28 c ============================[ Search Statistics ]============================== 184.15/184.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.15/184.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.15/184.28 c =============================================================================== 184.15/184.28 c | 0 | 8855 17519 596190 | 5839 0 nan | 0.000 % | 184.85/184.90 c =============================================================================== 185.25/185.35 c core #8 185.25/185.35 c ============================[ Search Statistics ]============================== 185.25/185.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.25/185.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.25/185.35 c =============================================================================== 185.25/185.35 c | 0 | 8868 17525 596211 | 5841 0 nan | 0.000 % | 186.54/186.68 c | 100 | 8868 17525 596211 | 6425 100 24 | 1.005 % | 188.84/188.92 c =============================================================================== 189.25/189.37 c core #9 189.25/189.37 c ============================[ Search Statistics ]============================== 189.25/189.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.25/189.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.25/189.37 c =============================================================================== 189.25/189.37 c | 0 | 8891 17530 596234 | 5843 0 nan | 0.000 % | 190.75/190.86 c | 102 | 8891 17530 596234 | 6427 102 27 | 0.803 % | 192.45/192.59 c | 253 | 8883 17530 596234 | 7070 253 29 | 1.082 % | 192.84/192.98 c =============================================================================== 193.34/193.43 c core #10 193.34/193.43 c ============================[ Search Statistics ]============================== 193.34/193.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.34/193.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.34/193.43 c =============================================================================== 193.34/193.43 c | 0 | 8905 17537 596262 | 5845 0 nan | 0.000 % | 194.85/194.99 c | 100 | 8905 17537 596262 | 6430 100 26 | 0.802 % | 197.44/197.51 c | 250 | 8904 17537 596262 | 7073 250 30 | 0.813 % | 200.34/200.40 c | 477 | 8890 17537 596262 | 7780 477 34 | 1.003 % | 203.04/203.19 c =============================================================================== 203.54/203.64 c core #11 203.54/203.64 c ============================[ Search Statistics ]============================== 203.54/203.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.54/203.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.54/203.64 c =============================================================================== 203.54/203.64 c | 0 | 8923 17544 596298 | 5848 0 nan | 0.000 % | 204.84/204.98 c | 100 | 8923 17544 596298 | 6432 100 26 | 0.800 % | 206.64/206.77 c | 251 | 8923 17544 596298 | 7076 251 28 | 0.800 % | 209.64/209.74 c | 477 | 8923 17544 596298 | 7783 477 28 | 0.800 % | 213.44/213.56 c | 815 | 8923 17544 596298 | 8562 815 30 | 0.800 % | 219.14/219.24 c | 1321 | 8923 17544 596298 | 9418 1321 31 | 0.800 % | 226.73/226.82 c =============================================================================== 227.14/227.27 c core #12 227.14/227.27 c ============================[ Search Statistics ]============================== 227.14/227.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.14/227.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.14/227.27 c =============================================================================== 227.14/227.27 c | 0 | 8929 17549 596306 | 5849 0 nan | 0.000 % | 228.64/228.71 c | 100 | 8929 17549 596306 | 6434 100 28 | 0.800 % | 230.33/230.40 c | 251 | 8929 17549 596306 | 7078 251 28 | 0.800 % | 233.93/234.04 c | 477 | 8929 17549 596306 | 7785 477 29 | 0.800 % | 237.34/237.41 c | 814 | 8928 17549 596306 | 8564 814 30 | 1.533 % | 242.73/242.80 c | 1323 | 8926 17549 596306 | 9420 1323 31 | 1.533 % | 251.13/251.21 c | 2082 | 8863 17549 596306 | 10363 1447 35 | 1.533 % | 264.32/264.41 c | 3222 | 8863 17549 596306 | 11399 2587 36 | 1.533 % | 285.83/285.96 c =============================================================================== 286.32/286.41 c core #13 286.32/286.41 c ============================[ Search Statistics ]============================== 286.32/286.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 286.32/286.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 286.32/286.41 c =============================================================================== 286.32/286.41 c | 0 | 8951 17553 596336 | 5851 0 nan | 0.000 % | 287.82/287.91 c | 101 | 8951 17553 596336 | 6436 101 24 | 0.600 % | 289.12/289.26 c | 252 | 8945 17553 596336 | 7079 252 27 | 0.788 % | 291.43/291.56 c | 479 | 8944 17553 596336 | 7787 479 29 | 0.800 % | 295.52/295.63 c | 817 | 8938 17553 596336 | 8566 817 31 | 0.800 % | 301.01/301.15 c | 1323 | 8938 17553 596336 | 9423 1323 33 | 0.800 % | 308.92/309.04 c | 2082 | 8932 17553 596336 | 10365 1918 33 | 0.811 % | 320.71/320.87 c | 3221 | 8932 17553 596336 | 11401 3057 36 | 0.811 % | 338.30/338.46 c | 4930 | 8930 17553 596336 | 12542 4621 38 | 0.833 % | 367.10/367.22 c =============================================================================== 367.50/367.68 c core #14 367.50/367.68 c ============================[ Search Statistics ]============================== 367.50/367.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.50/367.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.50/367.68 c =============================================================================== 367.50/367.68 c | 0 | 8977 17559 596389 | 5853 0 nan | 0.000 % | 369.10/369.22 c | 102 | 8977 17559 596389 | 6438 102 24 | 0.598 % | 370.89/371.06 c | 252 | 8977 17559 596389 | 7082 252 29 | 0.598 % | 373.80/373.99 c | 478 | 8977 17559 596389 | 7790 478 31 | 0.598 % | 376.40/376.50 c | 816 | 8977 17559 596389 | 8569 816 32 | 0.598 % | 381.69/381.85 c | 1322 | 8977 17559 596389 | 9426 1322 35 | 0.598 % | 388.79/388.90 c | 2081 | 8977 17559 596389 | 10368 2081 34 | 0.598 % | 400.69/400.82 c | 3220 | 8977 17559 596389 | 11405 3220 34 | 0.598 % | 418.79/418.92 c | 4929 | 8977 17559 596389 | 12546 4929 36 | 0.598 % | 442.98/443.16 c | 7492 | 8977 17559 596389 | 13801 7492 37 | 0.598 % | 482.68/482.90 c | 11336 | 8977 17559 596389 | 15181 11336 39 | 0.598 % | 538.95/539.19 c | 17103 | 8977 17559 596389 | 16699 9415 43 | 0.598 % | 624.83/625.00 c | 25752 | 8961 17559 596389 | 18369 9251 48 | 0.775 % | 658.42/658.64 c =============================================================================== 658.92/659.16 c core #15 658.92/659.16 c ============================[ Search Statistics ]============================== 658.92/659.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 658.92/659.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 658.92/659.16 c =============================================================================== 658.92/659.16 c | 0 | 8986 17566 596410 | 5855 0 nan | 0.000 % | 660.42/660.66 c | 102 | 8986 17566 596410 | 6440 102 24 | 0.597 % | 662.42/662.65 c | 252 | 8986 17566 596410 | 7084 252 28 | 0.597 % | 664.53/664.70 c | 478 | 8986 17566 596410 | 7793 478 32 | 0.597 % | 667.83/668.01 c | 815 | 8986 17566 596410 | 8572 815 31 | 0.597 % | 673.72/673.98 c | 1322 | 8986 17566 596410 | 9430 1322 34 | 0.597 % | 681.02/681.27 c | 2081 | 8986 17566 596410 | 10373 2081 37 | 0.597 % | 691.02/691.29 c | 3222 | 8986 17566 596410 | 11410 3222 38 | 0.597 % | 708.91/709.11 c | 4930 | 8986 17566 596410 | 12551 4930 37 | 0.597 % | 734.90/735.15 c | 7492 | 8986 17566 596410 | 13806 7492 40 | 0.597 % | 773.20/773.49 c | 11336 | 8986 17566 596410 | 15187 11336 40 | 0.597 % | 831.88/832.12 c | 17103 | 8986 17566 596410 | 16705 9430 42 | 0.597 % | 921.47/921.71 c | 25752 | 8968 17566 596410 | 18376 6945 39 | 0.808 % | 923.16/923.41 c =============================================================================== 923.55/923.89 c core #16 923.55/923.89 c ============================[ Search Statistics ]============================== 923.55/923.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 923.55/923.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 923.55/923.89 c =============================================================================== 923.55/923.89 c | 0 | 8997 17573 596435 | 5857 0 nan | 0.000 % | 925.15/925.47 c | 101 | 8997 17573 596435 | 6443 101 26 | 0.597 % | 927.07/927.34 c | 251 | 8997 17573 596435 | 7087 251 31 | 0.597 % | 930.06/930.33 c | 476 | 8997 17573 596435 | 7796 476 31 | 0.597 % | 932.76/933.05 c | 814 | 8997 17573 596435 | 8576 814 33 | 0.597 % | 937.86/938.19 c | 1320 | 8997 17573 596435 | 9433 1320 32 | 0.597 % | 946.95/947.21 c | 2079 | 8997 17573 596435 | 10377 2079 34 | 0.597 % | 960.65/960.99 c | 3218 | 8997 17573 596435 | 11414 3218 34 | 0.597 % | 975.05/975.39 c | 4927 | 8997 17573 596435 | 12556 4927 35 | 0.597 % | 999.14/999.48 c | 7489 | 8997 17573 596435 | 13812 7489 36 | 0.597 % | 1036.33/1036.65 c | 11334 | 8986 17573 596435 | 15193 7952 37 | 0.718 % | 1080.32/1080.66 c | 17100 | 8951 17573 596435 | 16712 7288 36 | 1.105 % | 1105.42/1105.75 c =============================================================================== 1105.92/1106.22 c core #17 1105.92/1106.22 c ============================[ Search Statistics ]============================== 1105.92/1106.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1105.92/1106.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1105.92/1106.22 c =============================================================================== 1105.92/1106.22 c | 0 | 9002 17577 596442 | 5859 0 nan | 0.000 % | 1107.42/1107.79 c | 101 | 9002 17577 596442 | 6444 101 32 | 0.596 % | 1109.11/1109.40 c | 253 | 9002 17577 596442 | 7089 253 31 | 0.596 % | 1111.31/1111.65 c | 479 | 9002 17577 596442 | 7798 479 35 | 0.596 % | 1114.41/1114.74 c | 816 | 9002 17577 596442 | 8578 816 35 | 0.596 % | 1119.21/1119.58 c | 1324 | 9002 17577 596442 | 9435 1324 37 | 0.596 % | 1127.30/1127.65 c | 2087 | 9002 17577 596442 | 10379 2087 36 | 0.596 % | 1137.30/1137.62 c | 3227 | 9002 17577 596442 | 11417 3227 33 | 0.596 % | 1152.51/1152.85 c | 4936 | 9002 17577 596442 | 12559 4936 35 | 0.596 % | 1177.30/1177.62 c | 7498 | 9002 17577 596442 | 13815 7498 37 | 0.596 % | 1210.99/1211.33 c | 11342 | 9002 17577 596442 | 15196 11342 37 | 0.596 % | 1268.17/1268.59 c | 17108 | 9002 17577 596442 | 16716 9351 40 | 0.596 % | 1346.06/1346.49 c | 25757 | 9002 17577 596442 | 18388 9439 42 | 0.596 % | 1444.11/1444.59 c | 38731 | 9002 17577 596442 | 20226 13155 38 | 0.596 % | 1601.86/1602.35 c | 58195 | 9002 17577 596442 | 22249 11813 47 | 0.596 % | 1744.53/1745.01 c =============================================================================== 1745.14/1745.62 c core #18 1745.14/1745.62 c ============================[ Search Statistics ]============================== 1745.14/1745.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1745.14/1745.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1745.14/1745.62 c =============================================================================== 1745.14/1745.62 c | 0 | 9026 17581 596487 | 5860 0 nan | 0.000 % | 1746.43/1746.98 c | 102 | 9026 17581 596487 | 6446 102 32 | 0.595 % | 1747.93/1748.49 c | 252 | 9026 17581 596487 | 7091 252 28 | 0.595 % | 1749.73/1750.29 c | 478 | 9026 17581 596487 | 7800 478 27 | 0.595 % | 1752.13/1752.66 c | 816 | 9026 17581 596487 | 8580 816 28 | 0.595 % | 1757.83/1758.32 c | 1323 | 9026 17581 596487 | 9438 1323 32 | 0.595 % | 1766.43/1766.90 c | 2082 | 9026 17581 596487 | 10381 2082 34 | 0.595 % | 1774.32/1774.85 c | 3221 | 9026 17581 596487 | 11420 3221 35 | 0.595 % | 1793.92/1794.45 c | 4929 | 9026 17581 596487 | 12562 4929 37 | 0.595 % |
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-2655854-1276583864/watcher-2655854-1276583864 -o /tmp/evaluation-result-2655854-1276583864/solver-2655854-1276583864 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655854-1276583864.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.06 1.01 1.00 3/106 2128 /proc/meminfo: memFree=1799164/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=7492 CPUtime=0 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 289 0 0 0 0 0 0 0 18 0 1 0 33972842 7671808 208 1992294400 134512640 135751879 4294518032 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 1873 208 143 303 0 338 0 [startup+0.0812799 s] /proc/loadavg: 1.06 1.01 1.00 3/106 2128 /proc/meminfo: memFree=1799164/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=9232 CPUtime=0.07 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 824 0 0 0 7 0 0 0 20 0 1 0 33972842 9453568 743 1992294400 134512640 135751879 4294518032 18446744073709551615 135118756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 2308 744 255 303 0 773 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9232 [startup+0.101281 s] /proc/loadavg: 1.06 1.01 1.00 3/106 2128 /proc/meminfo: memFree=1799164/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=9628 CPUtime=0.09 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 972 0 0 0 9 0 0 0 20 0 1 0 33972842 9859072 891 1992294400 134512640 135751879 4294518032 18446744073709551615 134564520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 2407 891 283 303 0 872 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9628 [startup+0.301302 s] /proc/loadavg: 1.06 1.01 1.00 3/106 2128 /proc/meminfo: memFree=1799164/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=14196 CPUtime=0.29 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 2359 0 0 0 29 0 0 0 20 0 1 0 33972842 14536704 2278 1992294400 134512640 135751879 4294518032 18446744073709551615 134573600 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 3549 2278 564 303 0 2014 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14196 [startup+0.701342 s] /proc/loadavg: 1.06 1.01 1.00 3/106 2128 /proc/meminfo: memFree=1799164/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=22364 CPUtime=0.69 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 4920 0 0 0 67 2 0 0 21 0 1 0 33972842 22900736 4839 1992294400 134512640 135751879 4294518032 18446744073709551615 135196487 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 5591 4839 1098 303 0 4056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22364 [startup+1.50142 s] /proc/loadavg: 1.06 1.01 1.00 2/107 2129 /proc/meminfo: memFree=1778324/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=22392 CPUtime=1.49 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 6727 0 0 0 146 3 0 0 23 0 1 0 33972842 22929408 5148 1992294400 134512640 135751879 4294518032 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 5598 5148 146 303 0 5293 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22392 [startup+3.10158 s] /proc/loadavg: 1.06 1.01 1.00 2/107 2129 /proc/meminfo: memFree=1778076/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=22392 CPUtime=3.09 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 6727 0 0 0 306 3 0 0 25 0 1 0 33972842 22929408 5148 1992294400 134512640 135751879 4294518032 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 5598 5148 146 303 0 5293 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22392 [startup+6.3009 s] /proc/loadavg: 1.06 1.01 1.00 2/107 2129 /proc/meminfo: memFree=1777952/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=22520 CPUtime=6.29 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 6729 0 0 0 625 4 0 0 25 0 1 0 33972842 23060480 5150 1992294400 134512640 135751879 4294518032 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 5630 5150 147 303 0 5325 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22520 [startup+12.7015 s] /proc/loadavg: 1.05 1.01 1.00 2/107 2129 /proc/meminfo: memFree=1778076/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=22652 CPUtime=12.69 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 6783 0 0 0 1265 4 0 0 25 0 1 0 33972842 23195648 5204 1992294400 134512640 135751879 4294518032 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 5663 5204 147 303 0 5358 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22652 [startup+25.5008 s] /proc/loadavg: 1.04 1.01 1.00 2/107 2129 /proc/meminfo: memFree=1778076/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=23048 CPUtime=25.48 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 6873 0 0 0 2542 6 0 0 25 0 1 0 33972842 23601152 5294 1992294400 134512640 135751879 4294518032 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 5762 5294 147 303 0 5457 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23048 [startup+51.1014 s] /proc/loadavg: 1.02 1.01 1.00 2/107 2129 /proc/meminfo: memFree=1777208/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=23972 CPUtime=51.08 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 7115 0 0 0 5099 9 0 0 25 0 1 0 33972842 24547328 5536 1992294400 134512640 135751879 4294518032 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 5993 5536 147 303 0 5688 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 23972 [startup+102.309 s] /proc/loadavg: 1.01 1.00 1.00 2/107 2131 /proc/meminfo: memFree=1775472/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=25684 CPUtime=102.28 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 7523 0 0 0 10210 18 0 0 25 0 1 0 33972842 26300416 5944 1992294400 134512640 135751879 4294518032 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 6421 5944 147 303 0 6116 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 25684 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2133 /proc/meminfo: memFree=1773860/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=27268 CPUtime=162.25 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 7938 0 0 0 16200 25 0 0 25 0 1 0 33972842 27922432 6359 1992294400 134512640 135751879 4294518032 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 6817 6359 148 303 0 6512 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 27268 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2135 /proc/meminfo: memFree=1731080/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=69940 CPUtime=222.23 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 18778 0 0 0 22188 35 0 0 25 0 1 0 33972842 71618560 17040 1992294400 134512640 135751879 4294518032 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 17485 17040 151 303 0 17180 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 69940 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2135 /proc/meminfo: memFree=1728352/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=72608 CPUtime=282.22 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 19457 0 0 0 28182 40 0 0 25 0 1 0 33972842 74350592 17719 1992294400 134512640 135751879 4294518032 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 18152 17719 151 303 0 17847 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 72608 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2137 /proc/meminfo: memFree=1724880/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=76088 CPUtime=342.21 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 20323 0 0 0 34176 45 0 0 25 0 1 0 33972842 77914112 18585 1992294400 134512640 135751879 4294518032 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 19022 18585 151 303 0 18717 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 76088 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2139 /proc/meminfo: memFree=1721408/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=79560 CPUtime=402.19 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 21174 0 0 0 40168 51 0 0 25 0 1 0 33972842 81469440 19436 1992294400 134512640 135751879 4294518032 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 19890 19436 151 303 0 19585 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 79560 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2142 /proc/meminfo: memFree=1721284/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=79560 CPUtime=462.17 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 21174 0 0 0 46160 57 0 0 25 0 1 0 33972842 81469440 19436 1992294400 134512640 135751879 4294518032 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 19890 19436 151 303 0 19585 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 79560 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2144 /proc/meminfo: memFree=1721284/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=79560 CPUtime=522.16 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 21174 0 0 0 52151 65 0 0 25 0 1 0 33972842 81469440 19436 1992294400 134512640 135751879 4294518032 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 19890 19436 151 303 0 19585 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 79560 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2144 /proc/meminfo: memFree=1721160/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=79560 CPUtime=582.14 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 21174 0 0 0 58143 71 0 0 25 0 1 0 33972842 81469440 19436 1992294400 134512640 135751879 4294518032 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 19890 19436 151 303 0 19585 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 79560 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2146 /proc/meminfo: memFree=1721160/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=79560 CPUtime=642.13 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 21174 0 0 0 64137 76 0 0 25 0 1 0 33972842 81469440 19436 1992294400 134512640 135751879 4294518032 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 19890 19436 151 303 0 19585 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 79560 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2152 /proc/meminfo: memFree=1711736/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=88576 CPUtime=882.07 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 23429 0 0 0 88106 101 0 0 25 0 1 0 33972842 90701824 21691 1992294400 134512640 135751879 4294518032 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 22144 21691 151 303 0 21839 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 88576 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2154 /proc/meminfo: memFree=1706156/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=94156 CPUtime=942.06 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 24818 0 0 0 94100 106 0 0 25 0 1 0 33972842 96415744 23080 1992294400 134512640 135751879 4294518032 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 23539 23080 151 303 0 23234 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 94156 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2156 /proc/meminfo: memFree=1706156/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=94156 CPUtime=1002.03 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 24818 0 0 0 100092 111 0 0 25 0 1 0 33972842 96415744 23080 1992294400 134512640 135751879 4294518032 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 23539 23080 151 303 0 23234 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 94156 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2158 /proc/meminfo: memFree=1706156/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=94156 CPUtime=1062.03 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 24818 0 0 0 106084 119 0 0 25 0 1 0 33972842 96415744 23080 1992294400 134512640 135751879 4294518032 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 23539 23080 151 303 0 23234 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 94156 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2160 /proc/meminfo: memFree=1701816/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1122 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 112075 125 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 98288 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2160 /proc/meminfo: memFree=1701692/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1181.99 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 118068 131 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134611114 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 98288 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2162 /proc/meminfo: memFree=1701444/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1241.98 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 124061 137 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 98288 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2164 /proc/meminfo: memFree=1701320/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1301.97 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 130055 142 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 98288 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2166 /proc/meminfo: memFree=1701320/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1361.95 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 136047 148 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 98288 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2178 /proc/meminfo: memFree=1700452/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1421.92 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 142037 155 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134620526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 98288 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2178 /proc/meminfo: memFree=1700452/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1481.89 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 148028 161 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 98288 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2180 /proc/meminfo: memFree=1700452/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1541.89 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25876 0 0 0 154020 169 0 0 25 0 1 0 33972842 100646912 24138 1992294400 134512640 135751879 4294518032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24138 151 303 0 24267 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 98288 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2182 /proc/meminfo: memFree=1700452/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1601.86 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25877 0 0 0 160011 175 0 0 25 0 1 0 33972842 100646912 24139 1992294400 134512640 135751879 4294518032 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24139 151 303 0 24267 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 98288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2184 /proc/meminfo: memFree=1700452/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=98288 CPUtime=1661.85 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 25877 0 0 0 166005 180 0 0 25 0 1 0 33972842 100646912 24139 1992294400 134512640 135751879 4294518032 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24572 24139 151 303 0 24267 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 98288 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2186 /proc/meminfo: memFree=1699832/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=99476 CPUtime=1721.84 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 26173 0 0 0 171999 185 0 0 25 0 1 0 33972842 101863424 24435 1992294400 134512640 135751879 4294518032 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 24869 24435 151 303 0 24564 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 99476 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2186 /proc/meminfo: memFree=1681852/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=117424 CPUtime=1781.82 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 30630 0 0 0 177990 192 0 0 25 0 1 0 33972842 120242176 28892 1992294400 134512640 135751879 4294518032 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 29356 28892 151 303 0 29051 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 117424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2188 /proc/meminfo: memFree=1681852/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=117424 CPUtime=1800.02 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 30630 0 0 0 179808 194 0 0 25 0 1 0 33972842 120242176 28892 1992294400 134512640 135751879 4294518032 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 29356 28892 151 303 0 29051 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 117424 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2188 /proc/meminfo: memFree=1681852/2059040 swapFree=4134576/4192956 [pid=2128] ppid=2125 vsize=117424 CPUtime=1800.02 /proc/2128/stat : 2128 (wbo1.4b) R 2125 2128 1033 0 -1 4202496 30630 0 0 0 179808 194 0 0 25 0 1 0 33972842 120242176 28892 1992294400 134512640 135751879 4294518032 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2128/statm: 29356 28892 151 303 0 29051 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 117424 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.05 CPU user time (s): 1798.09 CPU system time (s): 1.9577 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 117424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.09 system time used= 1.9577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30630 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= 10 involuntary context switches= 4590 runsolver used 3.21351 second user time and 8.27374 second system time The end
Begin job on node017 at 2010-06-15 08:37:44 IDJOB=2655854 IDBENCH=2630 IDSOLVER=1161 FILE ID=node017/2655854-1276583864 PBS_JOBID= 11173528 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655854-1276583864/watcher-2655854-1276583864 -o /tmp/evaluation-result-2655854-1276583864/solver-2655854-1276583864 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655854-1276583864.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= de4cbecd7c9968d40b279ce145b888a9 RANDOM SEED=1033526842 node017.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.201 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.40 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.201 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.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1799568 kB Buffers: 58372 kB Cached: 120188 kB SwapCached: 11648 kB Active: 112760 kB Inactive: 79792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1799568 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 8172 kB Writeback: 0 kB AnonPages: 12468 kB Mapped: 9352 kB Slab: 45232 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182496 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= 62532 MiB End job on node017 at 2010-06-15 09:07:47