Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb |
MD5SUM | 5a1b3155d98b6c4d8f9ab1b869fece67 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 355 |
Optimality of the best value was proved | NO |
Number of variables | 11001 |
Total number of constraints | 21678 |
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 | 21678 |
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 | 2765 |
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-2655872-1276585667.opb. 0.00/0.00 c Instance file HOME/instance-2655872-1276585667.opb 0.00/0.00 c File size is 6306000 bytes. 1.00/1.04 c Highest Coefficient sum: 2765 1.00/1.04 c ============================[ Problem Statistics ]============================= 1.00/1.04 c | | 1.00/1.04 c | Parsing time: 1.02 s | 1.00/1.04 c | Number Variables: 11001 | 1.00/1.04 c | Number Clauses: 0 | 1.00/1.04 c | Number Cardinality: 0 | 1.00/1.04 c | Number PB Constraints: 21678 | 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 11001 21678 743262 | 7226 0 nan | 0.000 % | 3.90/3.91 c | 100 | 11001 21678 743262 | 7948 100 34 | 0.000 % | 6.50/6.60 c | 251 | 11001 21678 743262 | 8743 251 33 | 0.000 % | 9.19/9.20 c | 477 | 11001 21678 743262 | 9617 477 28 | 0.000 % | 12.79/12.89 c | 814 | 11001 21678 743262 | 10579 814 33 | 0.000 % | 24.68/24.78 c | 1321 | 11001 21678 743262 | 11637 1321 33 | 0.000 % | 34.79/34.84 c | 2080 | 11001 21678 743262 | 12801 2080 35 | 0.000 % | 48.39/48.41 c | 3221 | 11001 21678 743262 | 14081 3221 36 | 0.000 % | 61.37/61.46 c | 4930 | 11001 21678 743262 | 15489 4930 39 | 0.000 % | 80.57/80.61 c | 7492 | 11001 21678 743262 | 17038 7492 38 | 0.000 % | 121.86/121.90 c | 11336 | 11001 21678 743262 | 18742 11336 40 | 0.000 % | 180.14/180.28 c There are 0 assigned variables. 0 in cost function. 181.65/181.79 c core #1 181.65/181.79 c core #2 181.65/181.79 c ============================[ Search Statistics ]============================== 181.65/181.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.65/181.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.65/181.79 c =============================================================================== 181.65/181.79 c | 0 | 10885 21704 743285 | 7234 0 nan | 0.000 % | 181.75/181.81 c =============================================================================== 182.25/182.36 c core #3 182.25/182.36 c ============================[ Search Statistics ]============================== 182.25/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.36 c =============================================================================== 182.25/182.36 c | 0 | 10894 21712 743296 | 7237 0 nan | 0.000 % | 182.25/182.38 c =============================================================================== 182.84/182.94 c core #4 182.84/182.94 c ============================[ Search Statistics ]============================== 182.84/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.94 c =============================================================================== 182.84/182.94 c | 0 | 10920 21719 743311 | 7239 0 nan | 0.000 % | 182.94/183.02 c =============================================================================== 183.44/183.58 c core #5 183.44/183.58 c ============================[ Search Statistics ]============================== 183.44/183.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.58 c =============================================================================== 183.44/183.58 c | 0 | 10931 21726 743327 | 7242 0 nan | 0.000 % | 183.65/183.77 c =============================================================================== 184.25/184.33 c core #6 184.25/184.33 c ============================[ Search Statistics ]============================== 184.25/184.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.25/184.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.25/184.33 c =============================================================================== 184.25/184.33 c | 0 | 10956 21732 743345 | 7244 0 nan | 0.000 % | 184.65/184.70 c =============================================================================== 185.14/185.26 c core #7 185.14/185.26 c ============================[ Search Statistics ]============================== 185.14/185.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.26 c =============================================================================== 185.14/185.26 c | 0 | 10968 21738 743364 | 7246 0 nan | 0.000 % | 185.94/186.04 c =============================================================================== 186.55/186.61 c core #8 186.55/186.61 c ============================[ Search Statistics ]============================== 186.55/186.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.61 c =============================================================================== 186.55/186.61 c | 0 | 10981 21744 743385 | 7248 0 nan | 0.000 % | 188.15/188.26 c | 100 | 10981 21744 743385 | 7972 100 23 | 0.858 % | 190.35/190.47 c | 250 | 10978 21744 743385 | 8770 250 25 | 0.948 % | 191.94/192.01 c =============================================================================== 192.45/192.57 c core #9 192.45/192.57 c ============================[ Search Statistics ]============================== 192.45/192.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.45/192.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.45/192.57 c =============================================================================== 192.45/192.57 c | 0 | 11005 21749 743408 | 7249 0 nan | 0.000 % | 194.34/194.40 c | 100 | 11005 21749 743408 | 7974 100 26 | 0.686 % | 196.44/196.59 c | 251 | 10997 21749 743408 | 8772 251 28 | 0.930 % | 196.75/196.87 c =============================================================================== 197.34/197.44 c core #10 197.34/197.44 c ============================[ Search Statistics ]============================== 197.34/197.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.34/197.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.34/197.44 c =============================================================================== 197.34/197.44 c | 0 | 11019 21756 743436 | 7252 0 nan | 0.000 % | 199.24/199.39 c | 101 | 11019 21756 743436 | 7977 101 26 | 0.685 % | 201.44/201.51 c | 251 | 11018 21756 743436 | 8774 251 27 | 0.694 % | 204.14/204.25 c | 476 | 11011 21756 743436 | 9652 476 29 | 0.885 % | 204.34/204.43 c =============================================================================== 204.94/205.00 c core #11 204.94/205.00 c ============================[ Search Statistics ]============================== 204.94/205.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.94/205.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.94/205.00 c =============================================================================== 204.94/205.00 c | 0 | 11037 21763 743472 | 7254 0 nan | 0.000 % | 206.65/206.77 c | 102 | 11037 21763 743472 | 7979 102 26 | 0.684 % | 208.44/208.55 c | 252 | 11037 21763 743472 | 8777 252 28 | 0.684 % | 211.14/211.27 c | 480 | 11037 21763 743472 | 9655 480 29 | 0.684 % | 215.83/215.92 c | 817 | 11037 21763 743472 | 10621 817 29 | 0.684 % | 221.63/221.74 c | 1323 | 11037 21763 743472 | 11683 1323 30 | 0.684 % | 234.14/234.30 c | 2083 | 11005 21763 743472 | 12851 982 31 | 1.089 % | 237.13/237.26 c =============================================================================== 237.73/237.84 c core #12 237.73/237.84 c ============================[ Search Statistics ]============================== 237.73/237.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.73/237.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.73/237.84 c =============================================================================== 237.73/237.84 c | 0 | 11043 21768 743480 | 7256 0 nan | 0.000 % | 239.43/239.59 c | 100 | 11043 21768 743480 | 7981 100 26 | 0.684 % | 241.73/241.90 c | 251 | 11043 21768 743480 | 8779 251 26 | 0.684 % | 245.14/245.23 c | 476 | 11043 21768 743480 | 9657 476 29 | 0.684 % | 250.03/250.18 c | 813 | 11043 21768 743480 | 10623 813 30 | 0.684 % | 256.53/256.60 c | 1320 | 11043 21768 743480 | 11685 1320 31 | 0.684 % | 268.72/268.88 c | 2080 | 11043 21768 743480 | 12854 2080 32 | 0.684 % | 285.22/285.37 c | 3219 | 11043 21768 743480 | 14139 3219 33 | 0.684 % | 302.71/302.88 c =============================================================================== 303.32/303.45 c core #13 303.32/303.45 c ============================[ Search Statistics ]============================== 303.32/303.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 303.32/303.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 303.32/303.45 c =============================================================================== 303.32/303.45 c | 0 | 11066 21772 743510 | 7257 0 nan | 0.000 % | 305.02/305.19 c | 100 | 11066 21772 743510 | 7983 100 25 | 0.512 % | 307.01/307.16 c | 251 | 11060 21772 743510 | 8781 251 30 | 0.674 % | 310.21/310.34 c | 479 | 11060 21772 743510 | 9659 479 31 | 0.674 % | 313.91/314.01 c | 818 | 11060 21772 743510 | 10625 818 31 | 0.674 % | 320.11/320.25 c | 1324 | 11059 21772 743510 | 11688 1324 32 | 0.674 % | 330.40/330.50 c | 2083 | 11048 21772 743510 | 12856 2082 34 | 0.674 % | 342.11/342.21 c | 3223 | 11048 21772 743510 | 14142 3222 34 | 0.674 % | 363.49/363.61 c | 4931 | 11047 21772 743510 | 15556 3438 35 | 0.683 % | 386.00/386.14 c =============================================================================== 386.59/386.72 c core #14 386.59/386.72 c ============================[ Search Statistics ]============================== 386.59/386.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 386.59/386.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 386.59/386.72 c =============================================================================== 386.59/386.72 c | 0 | 11093 21778 743565 | 7259 0 nan | 0.000 % | 388.39/388.53 c | 101 | 11093 21778 743565 | 7985 101 27 | 0.511 % | 390.70/390.88 c | 251 | 11093 21778 743565 | 8783 251 35 | 0.511 % | 394.09/394.28 c | 476 | 11078 21778 743565 | 9662 476 35 | 0.655 % | 396.90/397.00 c | 814 | 11078 21778 743565 | 10628 814 34 | 0.655 % | 402.59/402.74 c | 1321 | 11078 21778 743565 | 11691 1321 37 | 0.655 % | 410.99/411.12 c | 2080 | 11078 21778 743565 | 12860 2080 36 | 0.655 % | 421.48/421.68 c | 3220 | 11077 21778 743565 | 14146 2998 37 | 0.655 % | 441.68/441.81 c | 4928 | 11076 21778 743565 | 15561 2113 36 | 0.664 % | 464.87/465.08 c =============================================================================== 465.48/465.65 c core #15 465.48/465.65 c ============================[ Search Statistics ]============================== 465.48/465.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 465.48/465.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 465.48/465.65 c =============================================================================== 465.48/465.65 c | 0 | 11101 21785 743584 | 7261 0 nan | 0.000 % | 467.28/467.41 c | 100 | 11101 21785 743584 | 7987 100 25 | 0.511 % | 469.48/469.69 c | 251 | 11101 21785 743584 | 8786 251 28 | 0.511 % | 472.97/473.13 c | 477 | 11101 21785 743584 | 9665 477 32 | 0.511 % | 476.77/476.96 c | 814 | 11101 21785 743584 | 10631 814 33 | 0.511 % | 482.37/482.52 c | 1320 | 11101 21785 743584 | 11694 1320 33 | 0.511 % | 492.26/492.45 c | 2079 | 11101 21785 743584 | 12864 2079 35 | 0.511 % | 504.86/505.03 c | 3219 | 11101 21785 743584 | 14150 3219 37 | 0.511 % | 523.66/523.80 c | 4928 | 11101 21785 743584 | 15566 4928 39 | 0.511 % | 557.35/557.58 c | 7491 | 11101 21785 743584 | 17122 7491 38 | 0.511 % | 593.74/594.00 c | 11335 | 11090 21785 743584 | 18834 11220 37 | 0.609 % | 615.84/616.05 c =============================================================================== 616.44/616.64 c core #16 616.44/616.64 c ============================[ Search Statistics ]============================== 616.44/616.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 616.44/616.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 616.44/616.64 c =============================================================================== 616.44/616.64 c | 0 | 11106 21789 743591 | 7263 0 nan | 0.000 % | 618.13/618.37 c | 100 | 11106 21789 743591 | 7989 100 25 | 0.511 % | 620.14/620.40 c | 250 | 11106 21789 743591 | 8788 250 27 | 0.511 % | 623.23/623.47 c | 475 | 11106 21789 743591 | 9667 475 30 | 0.511 % | 626.53/626.76 c | 812 | 11106 21789 743591 | 10633 812 31 | 0.511 % | 632.73/632.97 c | 1319 | 11106 21789 743591 | 11697 1319 31 | 0.511 % | 641.63/641.85 c | 2078 | 11106 21789 743591 | 12866 2078 31 | 0.511 % | 654.63/654.81 c | 3218 | 11106 21789 743591 | 14153 3218 33 | 0.511 % | 679.63/679.88 c | 4927 | 11106 21789 743591 | 15568 4927 34 | 0.511 % | 709.11/709.36 c | 7489 | 11106 21789 743591 | 17125 7489 36 | 0.511 % | 751.69/751.95 c | 11335 | 11089 21789 743591 | 18838 9545 35 | 0.950 % | 759.49/759.79 c =============================================================================== 760.09/760.38 c core #17 760.09/760.38 c ============================[ Search Statistics ]============================== 760.09/760.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 760.09/760.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 760.09/760.38 c =============================================================================== 760.09/760.38 c | 0 | 11114 21794 743606 | 7264 0 nan | 0.000 % | 761.89/762.11 c | 101 | 11114 21794 743606 | 7991 101 25 | 0.510 % | 764.21/764.41 c | 251 | 11114 21794 743606 | 8790 251 26 | 0.510 % | 767.70/767.95 c | 477 | 11114 21794 743606 | 9669 477 30 | 0.510 % | 773.10/773.37 c | 815 | 11114 21794 743606 | 10636 815 32 | 0.510 % | 780.09/780.39 c | 1323 | 11114 21794 743606 | 11699 1323 33 | 0.510 % | 789.09/789.32 c | 2082 | 11114 21794 743606 | 12869 2082 35 | 0.510 % | 798.49/798.75 c | 3221 | 11114 21794 743606 | 14156 3221 35 | 0.510 % | 823.48/823.77 c | 4930 | 11114 21794 743606 | 15572 4930 37 | 0.510 % | 855.97/856.28 c | 7493 | 11114 21794 743606 | 17129 7493 38 | 0.510 % | 917.06/917.39 c | 11338 | 11114 21794 743606 | 18842 11338 40 | 0.510 % | 938.95/939.20 c =============================================================================== 939.45/939.79 c core #18 939.45/939.79 c ============================[ Search Statistics ]============================== 939.45/939.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 939.45/939.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 939.45/939.79 c =============================================================================== 939.45/939.79 c | 0 | 11129 21798 743633 | 7266 0 nan | 0.000 % | 941.75/942.06 c | 100 | 11129 21798 743633 | 7992 100 31 | 0.510 % | 943.96/944.20 c | 251 | 11129 21798 743633 | 8791 251 28 | 0.510 % | 946.95/947.20 c | 478 | 11129 21798 743633 | 9671 478 26 | 0.510 % | 950.35/950.66 c | 816 | 11129 21798 743633 | 10638 816 27 | 0.510 % | 957.64/957.92 c | 1324 | 11129 21798 743633 | 11701 1324 31 | 0.510 % | 970.45/970.72 c | 2084 | 11129 21798 743633 | 12872 2084 36 | 0.510 % | 985.54/985.88 c | 3223 | 11129 21798 743633 | 14159 3223 37 | 0.510 % | 1002.94/1003.29 c | 4933 | 11129 21798 743633 | 15575 4933 38 | 0.510 % | 1030.03/1030.30 c | 7497 | 11129 21798 743633 | 17132 7497 39 | 0.510 % | 1097.42/1097.72 c | 11342 | 11129 21798 743633 | 18846 11342 40 | 0.510 % | 1145.50/1145.80 c | 17108 | 11129 21798 743633 | 20730 17108 38 | 0.510 % | 1257.27/1257.63 c | 25758 | 11129 21798 743633 | 22803 14751 38 | 0.510 % | 1392.84/1393.21 c | 38733 | 11027 21798 743633 | 25084 14425 38 | 1.421 % | 1646.08/1646.52 c | 58194 | 11027 21798 743633 | 27592 19778 40 | 1.421 % |
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-2655872-1276585667/watcher-2655872-1276585667 -o /tmp/evaluation-result-2655872-1276585667/solver-2655872-1276585667 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655872-1276585667.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: 0.92 0.98 0.99 3/106 2217 /proc/meminfo: memFree=1795944/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=8732 CPUtime=0 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 34153178 8941568 213 1992294400 134512640 135751879 4288019712 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 2183 214 144 303 0 338 0 [startup+0.0413131 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2217 /proc/meminfo: memFree=1795944/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=9524 CPUtime=0.04 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 533 0 0 0 4 0 0 0 20 0 1 0 34153178 9752576 452 1992294400 134512640 135751879 4288019712 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 2381 452 193 303 0 536 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9524 [startup+0.101318 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2217 /proc/meminfo: memFree=1795944/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=10868 CPUtime=0.09 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 951 0 0 0 9 0 0 0 20 0 1 0 34153178 11128832 870 1992294400 134512640 135751879 4288019712 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 2717 870 280 303 0 872 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10868 [startup+0.300339 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2217 /proc/meminfo: memFree=1795944/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=15588 CPUtime=0.29 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 2409 0 0 0 29 0 0 0 20 0 1 0 34153178 15962112 2328 1992294400 134512640 135751879 4288019712 18446744073709551615 134573817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 3897 2328 576 303 0 2052 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15588 [startup+0.700379 s] /proc/loadavg: 0.92 0.98 0.99 3/106 2217 /proc/meminfo: memFree=1795944/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=24264 CPUtime=0.69 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 5166 0 0 0 68 1 0 0 20 0 1 0 34153178 24846336 5085 1992294400 134512640 135751879 4288019712 18446744073709551615 135201606 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 6066 5085 1158 303 0 4221 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24264 [startup+1.50046 s] /proc/loadavg: 0.92 0.98 0.99 2/107 2218 /proc/meminfo: memFree=1772996/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=26732 CPUtime=1.49 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 8170 0 0 0 147 2 0 0 22 0 1 0 34153178 27373568 6210 1992294400 134512640 135751879 4288019712 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 6683 6210 146 303 0 6378 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26732 [startup+3.10162 s] /proc/loadavg: 0.92 0.98 0.99 2/107 2218 /proc/meminfo: memFree=1770888/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=26732 CPUtime=3.1 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 8170 0 0 0 307 3 0 0 25 0 1 0 34153178 27373568 6210 1992294400 134512640 135751879 4288019712 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 6683 6210 146 303 0 6378 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 26732 [startup+6.30194 s] /proc/loadavg: 0.93 0.98 0.99 2/107 2218 /proc/meminfo: memFree=1770516/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=26732 CPUtime=6.29 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 8171 0 0 0 626 3 0 0 25 0 1 0 34153178 27373568 6211 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 6683 6211 147 303 0 6378 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26732 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/107 2218 /proc/meminfo: memFree=1770516/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=26864 CPUtime=12.69 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 8203 0 0 0 1265 4 0 0 25 0 1 0 34153178 27508736 6243 1992294400 134512640 135751879 4288019712 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 6716 6243 147 303 0 6411 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26864 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 0.99 2/107 2218 /proc/meminfo: memFree=1770516/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=27128 CPUtime=25.48 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 8238 0 0 0 2543 5 0 0 25 0 1 0 34153178 27779072 6278 1992294400 134512640 135751879 4288019712 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 6782 6278 147 303 0 6477 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27128 [startup+51.1005 s] /proc/loadavg: 0.96 0.98 0.99 2/107 2218 /proc/meminfo: memFree=1770392/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=27656 CPUtime=51.08 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 8374 0 0 0 5101 7 0 0 25 0 1 0 34153178 28319744 6414 1992294400 134512640 135751879 4288019712 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 6914 6414 147 303 0 6609 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 27656 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 2222 /proc/meminfo: memFree=1768780/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=29128 CPUtime=102.27 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 8760 0 0 0 10214 13 0 0 25 0 1 0 34153178 29827072 6800 1992294400 134512640 135751879 4288019712 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 7282 6800 147 303 0 6977 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 29128 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2224 /proc/meminfo: memFree=1767416/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=30448 CPUtime=162.25 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 9092 0 0 0 16207 18 0 0 25 0 1 0 34153178 31178752 7132 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 7612 7132 147 303 0 7307 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 30448 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2226 /proc/meminfo: memFree=1714096/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=83484 CPUtime=222.23 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 22656 0 0 0 22196 27 0 0 25 0 1 0 34153178 85487616 20436 1992294400 134512640 135751879 4288019712 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 20871 20436 151 303 0 20566 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 83484 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2226 /proc/meminfo: memFree=1710748/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=87056 CPUtime=282.22 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 23518 0 0 0 28190 32 0 0 25 0 1 0 34153178 89145344 21298 1992294400 134512640 135751879 4288019712 18446744073709551615 134611208 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 21764 21298 151 303 0 21459 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 87056 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2228 /proc/meminfo: memFree=1706780/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=90784 CPUtime=342.21 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 24451 0 0 0 34183 38 0 0 25 0 1 0 34153178 92962816 22231 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 22696 22231 151 303 0 22391 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 90784 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2230 /proc/meminfo: memFree=1702936/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=94720 CPUtime=402.18 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 25435 0 0 0 40176 42 0 0 25 0 1 0 34153178 96993280 23215 1992294400 134512640 135751879 4288019712 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 23680 23215 151 303 0 23375 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 94720 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2232 /proc/meminfo: memFree=1702812/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=94720 CPUtime=462.17 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 25435 0 0 0 46169 48 0 0 25 0 1 0 34153178 96993280 23215 1992294400 134512640 135751879 4288019712 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 23680 23215 151 303 0 23375 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 94720 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2235 /proc/meminfo: memFree=1699216/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=98236 CPUtime=522.16 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 26314 0 0 0 52161 55 0 0 25 0 1 0 34153178 100593664 24094 1992294400 134512640 135751879 4288019712 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 24559 24094 151 303 0 24254 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 98236 [startup+582.301 s] /proc/loadavg: 1.10 1.02 1.00 2/107 2238 /proc/meminfo: memFree=1698100/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=98236 CPUtime=582.14 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 26314 0 0 0 58155 59 0 0 25 0 1 0 34153178 100593664 24094 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 24559 24094 151 303 0 24254 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 98236 [startup+642.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 2240 /proc/meminfo: memFree=1692644/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=104224 CPUtime=642.13 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 27812 0 0 0 64146 67 0 0 25 0 1 0 34153178 106725376 25592 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 26056 25592 151 303 0 25751 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 104224 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2246 /proc/meminfo: memFree=1690164/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=106688 CPUtime=882.07 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 28441 0 0 0 88119 88 0 0 25 0 1 0 34153178 109248512 26221 1992294400 134512640 135751879 4288019712 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 26672 26221 151 303 0 26367 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 106688 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2248 /proc/meminfo: memFree=1686444/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=942.06 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 94114 92 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 110536 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2250 /proc/meminfo: memFree=1686444/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1002.04 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 100109 95 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 110536 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2258 /proc/meminfo: memFree=1686320/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1062.02 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 106103 99 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 110536 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2260 /proc/meminfo: memFree=1686320/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1122.01 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 112097 104 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 110536 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2260 /proc/meminfo: memFree=1686196/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1181.99 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 118091 108 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 110536 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2262 /proc/meminfo: memFree=1686072/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1241.98 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 124085 113 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 110536 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2264 /proc/meminfo: memFree=1685948/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1301.97 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 130079 118 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 110536 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2266 /proc/meminfo: memFree=1685948/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1361.95 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 136070 125 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 110536 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2268 /proc/meminfo: memFree=1685948/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1421.93 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 142063 130 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 110536 [startup+1482.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 2268 /proc/meminfo: memFree=1685452/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1481.92 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 148057 135 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 110536 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 2270 /proc/meminfo: memFree=1685452/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1541.9 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 154050 140 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 110536 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2272 /proc/meminfo: memFree=1685328/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1601.89 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 160044 145 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 110536 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2274 /proc/meminfo: memFree=1685328/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1661.87 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 166037 150 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 110536 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2276 /proc/meminfo: memFree=1685204/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1721.85 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 172030 155 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 110536 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2276 /proc/meminfo: memFree=1684956/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1781.84 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29387 0 0 0 178023 161 0 0 25 0 1 0 34153178 113188864 27167 1992294400 134512640 135751879 4288019712 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27167 151 303 0 27329 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 110536 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2278 /proc/meminfo: memFree=1684956/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1800.04 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29388 0 0 0 179842 162 0 0 25 0 1 0 34153178 113188864 27168 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27168 151 303 0 27329 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 110536 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 2278 /proc/meminfo: memFree=1684956/2059040 swapFree=4134576/4192956 [pid=2217] ppid=2215 vsize=110536 CPUtime=1800.04 /proc/2217/stat : 2217 (wbo1.4b) R 2215 2217 1033 0 -1 4202496 29388 0 0 0 179842 162 0 0 25 0 1 0 34153178 113188864 27168 1992294400 134512640 135751879 4288019712 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2217/statm: 27634 27168 151 303 0 27329 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 110536 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.07 CPU user time (s): 1798.43 CPU system time (s): 1.63875 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 110536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.43 system time used= 1.63875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29388 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= 14 involuntary context switches= 3427 runsolver used 2.94655 second user time and 8.5537 second system time The end
Begin job on node017 at 2010-06-15 09:07:48 IDJOB=2655872 IDBENCH=2633 IDSOLVER=1161 FILE ID=node017/2655872-1276585667 PBS_JOBID= 11173528 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655872-1276585667/watcher-2655872-1276585667 -o /tmp/evaluation-result-2655872-1276585667/solver-2655872-1276585667 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655872-1276585667.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67 RANDOM SEED=1221712068 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: 1796596 kB Buffers: 60404 kB Cached: 121572 kB SwapCached: 11648 kB Active: 114048 kB Inactive: 81900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1796596 kB SwapTotal: 4192956 kB SwapFree: 4134576 kB Dirty: 8840 kB Writeback: 4 kB AnonPages: 12412 kB Mapped: 9296 kB Slab: 44888 kB PageTables: 3916 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:37:50