Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.14 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 14 |
Best CPU time to get the best result obtained on this benchmark | 1792.37 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 74 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5454 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656056-1276616272.opb. 0.00/0.00 c Instance file HOME/instance-2656056-1276616272.opb 0.00/0.00 c File size is 10354 bytes. 0.00/0.00 c Highest Coefficient sum: 5454 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: 172 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 14 | 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 | 172 14 1058 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 643 0.00/0.00 o 643 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 172 15 1170 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 103 | 172 15 1170 | 5500 103 65 | 0.003 % | 0.00/0.02 c | 253 | 172 15 1170 | 6050 253 64 | 0.003 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 371 0.00/0.02 o 371 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 255 | 172 16 1282 | 5000 255 63 | 0.003 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 305 0.00/0.03 o 305 0.00/0.03 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 303 | 172 17 1394 | 5000 303 62 | 0.003 % | 0.00/0.04 c | 403 | 172 17 1394 | 5500 403 59 | 0.003 % | 0.00/0.05 c | 554 | 172 17 1394 | 6050 554 57 | 0.003 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 278 0.00/0.05 o 278 0.00/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 554 | 172 18 1506 | 5000 554 57 | 0.003 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 240 0.00/0.05 o 240 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 565 | 172 19 1618 | 5000 565 57 | 0.003 % | 0.00/0.06 c | 666 | 172 19 1618 | 5500 666 57 | 0.003 % | 0.00/0.08 c | 816 | 172 19 1618 | 6050 816 56 | 0.003 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 148 0.09/0.10 o 148 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 1023 | 172 20 1730 | 5000 1023 54 | 0.003 % | 0.09/0.11 c | 1124 | 172 20 1730 | 5500 1124 56 | 0.003 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 118 0.09/0.12 o 118 0.09/0.12 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1145 | 172 21 1842 | 5000 1145 55 | 0.003 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 109 0.09/0.12 o 109 0.09/0.12 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 1193 | 158 22 1954 | 5000 601 54 | 0.003 % | 0.09/0.13 c | 1293 | 158 22 1954 | 5500 701 54 | 8.143 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 98 0.09/0.14 o 98 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 1356 | 158 23 2066 | 5000 764 54 | 8.143 % | 0.09/0.15 c | 1457 | 158 23 2066 | 5500 865 54 | 8.143 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 92 0.09/0.17 o 92 0.09/0.17 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 1557 | 158 24 2178 | 5000 965 54 | 8.143 % | 0.09/0.18 c | 1657 | 158 24 2178 | 5500 1065 55 | 8.143 % | 0.18/0.20 c | 1807 | 158 24 2178 | 6050 1215 55 | 8.143 % | 0.18/0.23 c | 2033 | 158 24 2178 | 6655 1441 54 | 8.143 % | 0.18/0.27 c | 2370 | 158 24 2178 | 7320 1778 53 | 8.143 % | 0.28/0.33 c | 2876 | 158 24 2178 | 8052 2284 53 | 8.143 % | 0.38/0.42 c | 3635 | 158 24 2178 | 8857 3043 53 | 8.143 % | 0.48/0.52 c =============================================================================== 0.48/0.52 c New solution: 57 0.48/0.52 o 57 0.48/0.52 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s 0.48/0.52 c =============================================================================== 0.48/0.52 c | 4322 | 158 25 2290 | 5000 3730 53 | 8.143 % | 0.48/0.53 c | 4422 | 144 25 2290 | 5500 3384 53 | 16.282 % | 0.48/0.56 c | 4572 | 144 25 2290 | 6050 3534 53 | 16.282 % | 0.48/0.59 c | 4797 | 144 25 2290 | 6655 3759 54 | 16.282 % | 0.59/0.64 c | 5134 | 144 25 2290 | 7320 4096 54 | 16.282 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 56 0.59/0.67 o 56 0.59/0.67 c Elapsed CPU time: 0.6519 s Remaining CPU time: 179.348 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 5317 | 144 26 2402 | 5000 4279 54 | 16.282 % | 0.59/0.68 c | 5417 | 144 26 2402 | 5500 4379 54 | 16.282 % | 0.69/0.70 c | 5567 | 144 26 2402 | 6050 4529 54 | 16.282 % | 0.69/0.73 c | 5792 | 144 26 2402 | 6655 4754 55 | 16.282 % | 0.69/0.78 c | 6129 | 144 26 2402 | 7320 5091 55 | 16.282 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 52 0.79/0.84 o 52 0.79/0.84 c Elapsed CPU time: 0.824874 s Remaining CPU time: 179.175 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 6524 | 144 27 2514 | 5000 5486 55 | 16.282 % | 0.79/0.86 c | 6624 | 144 27 2514 | 5500 2843 57 | 16.282 % | 0.79/0.89 c | 6774 | 144 27 2514 | 6050 2993 57 | 16.282 % | 0.88/0.91 c | 6999 | 144 27 2514 | 6655 3218 57 | 16.282 % | 0.88/0.96 c | 7336 | 144 27 2514 | 7320 3555 56 | 16.282 % | 0.99/1.04 c | 7842 | 144 27 2514 | 8052 4061 56 | 16.282 % | 1.09/1.15 c | 8601 | 144 27 2514 | 8857 4820 56 | 16.282 % | 1.28/1.32 c | 9740 | 144 27 2514 | 9743 5959 56 | 16.282 % | 1.49/1.59 c | 11448 | 144 27 2514 | 10717 7667 56 | 16.282 % | 1.99/2.03 c | 14010 | 144 27 2514 | 11789 10229 57 | 16.282 % | 2.78/2.81 c | 17855 | 144 27 2514 | 12968 8150 57 | 16.282 % | 3.98/4.05 c | 23621 | 144 27 2514 | 14265 7397 56 | 16.282 % | 5.49/5.57 c =============================================================================== 5.49/5.57 c New solution: 49 5.49/5.57 o 49 5.49/5.57 c Elapsed CPU time: 5.49216 s Remaining CPU time: 174.508 s 5.49/5.57 c =============================================================================== 5.49/5.57 c | 30416 | 144 28 2626 | 5000 14192 56 | 16.282 % | 5.58/5.68 c | 30516 | 144 28 2626 | 5500 3648 56 | 16.282 % | 5.68/5.70 c | 30666 | 144 28 2626 | 6050 3798 56 | 16.282 % | 5.68/5.74 c | 30891 | 144 28 2626 | 6655 4023 56 | 16.282 % | 5.68/5.79 c | 31228 | 144 28 2626 | 7320 4360 56 | 16.282 % | 5.78/5.87 c | 31734 | 144 28 2626 | 8052 4866 56 | 16.282 % | 5.88/5.99 c | 32493 | 144 28 2626 | 8857 5625 57 | 16.282 % | 6.08/6.16 c | 33632 | 144 28 2626 | 9743 6764 57 | 16.282 % | 6.38/6.46 c | 35340 | 144 28 2626 | 10717 8472 56 | 16.282 % | 6.88/6.98 c | 37902 | 144 28 2626 | 11789 5639 56 | 16.282 % | 7.59/7.68 c | 41746 | 144 28 2626 | 12968 9483 56 | 16.282 % | 8.79/8.84 c | 47513 | 144 28 2626 | 14265 8728 57 | 16.282 % | 10.58/10.69 c | 56162 | 144 28 2626 | 15692 10204 58 | 16.282 % | 13.88/13.99 c | 69136 | 144 28 2626 | 17261 15297 58 | 16.282 % | 19.08/19.11 c | 88597 | 144 28 2626 | 18987 8748 59 | 16.282 % | 26.58/26.69 c | 117791 | 144 28 2626 | 20886 18887 58 | 16.282 % | 31.97/32.00 c =============================================================================== 31.97/32.00 c New solution: 47 31.97/32.00 o 47 31.97/32.00 c Elapsed CPU time: 31.6202 s Remaining CPU time: 148.38 s 31.97/32.00 c =============================================================================== 31.97/32.00 c | 136613 | 144 29 2738 | 5000 16753 58 | 16.282 % | 31.97/32.09 c | 136713 | 144 29 2738 | 5500 4289 59 | 16.282 % | 32.07/32.12 c | 136863 | 144 29 2738 | 6050 4439 59 | 16.282 % | 32.07/32.16 c | 137088 | 144 29 2738 | 6655 4664 59 | 16.282 % | 32.18/32.21 c | 137425 | 144 29 2738 | 7320 5001 58 | 16.282 % | 32.28/32.31 c | 137931 | 144 29 2738 | 8052 5507 58 | 16.282 % | 32.38/32.45 c | 138690 | 144 29 2738 | 8857 6266 58 | 16.282 % | 32.57/32.66 c | 139829 | 144 29 2738 | 9743 7405 58 | 16.282 % | 32.88/32.97 c | 141537 | 144 29 2738 | 10717 9113 58 | 16.282 % | 33.47/33.51 c | 144100 | 144 29 2738 | 11789 6283 57 | 16.282 % | 34.17/34.22 c | 147944 | 144 29 2738 | 12968 10127 56 | 16.282 % | 35.38/35.48 c | 153711 | 144 29 2738 | 14265 9374 55 | 16.282 % | 37.18/37.26 c | 162360 | 144 29 2738 | 15692 10854 57 | 16.282 % | 40.18/40.28 c | 175335 | 144 29 2738 | 17261 8060 59 | 16.282 % | 44.37/44.48 c | 194797 | 144 29 2738 | 18987 10183 55 | 16.282 % | 51.47/51.57 c | 223989 | 144 29 2738 | 20886 10786 57 | 16.282 % | 55.67/55.72 c =============================================================================== 55.67/55.72 c New solution: 45 55.67/55.72 o 45 55.67/55.72 c Elapsed CPU time: 55.0636 s Remaining CPU time: 124.936 s 55.67/55.72 c =============================================================================== 55.67/55.72 c | 239505 | 144 30 2850 | 5000 15826 56 | 16.282 % | 55.77/55.82 c =============================================================================== 55.77/55.82 c New solution: 37 55.77/55.82 o 37 55.77/55.82 c Elapsed CPU time: 55.1596 s Remaining CPU time: 124.84 s 55.77/55.82 c =============================================================================== 55.77/55.82 c | 239518 | 144 31 2962 | 5000 3970 57 | 16.282 % | 55.77/55.83 c | 239618 | 144 31 2962 | 5500 4070 56 | 16.282 % | 55.77/55.86 c | 239768 | 144 31 2962 | 6050 4220 56 | 16.282 % | 55.87/55.90 c | 239993 | 144 31 2962 | 6655 4445 56 | 16.282 % | 55.87/55.96 c | 240330 | 144 31 2962 | 7320 4782 56 | 16.282 % | 55.97/56.03 c | 240836 | 144 31 2962 | 8052 5288 57 | 16.282 % | 56.08/56.16 c | 241595 | 144 31 2962 | 8857 6047 56 | 16.282 % | 56.27/56.37 c | 242735 | 144 31 2962 | 9743 7187 57 | 16.282 % | 56.57/56.66 c | 244443 | 144 31 2962 | 10717 8895 57 | 16.282 % | 57.08/57.15 c | 247005 | 144 31 2962 | 11789 6065 56 | 16.282 % | 57.77/57.82 c | 250849 | 144 31 2962 | 12968 9909 55 | 16.282 % | 58.87/58.93 c | 256615 | 144 31 2962 | 14265 9154 55 | 16.282 % | 60.57/60.67 c | 265265 | 144 31 2962 | 15692 10632 55 | 16.282 % | 63.47/63.59 c | 278239 | 144 31 2962 | 17261 15721 54 | 16.282 % | 68.08/68.17 c | 297700 | 144 31 2962 | 18987 9183 54 | 16.282 % | 74.77/74.85 c | 326892 | 144 31 2962 | 20886 9792 52 | 16.282 % | 85.67/85.71 c | 370681 | 144 31 2962 | 22974 11667 54 | 16.282 % | 103.66/103.77 c | 436365 | 144 31 2962 | 25272 16616 56 | 16.282 % | 135.55/135.66 c | 534892 | 144 31 2962 | 27799 13951 54 | 16.282 % | 181.83/181.95 c There are 28 assigned variables. 28 in cost function. 182.44/182.54 c ============================[ Search Statistics ]============================== 182.44/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.54 c =============================================================================== 182.44/182.54 c | 0 | 60 144 1002 | 5000 0 nan | 0.000 % | 182.44/182.56 c | 100 | 60 144 1002 | 5500 100 64 | 65.120 % | 182.44/182.58 c | 250 | 60 144 1002 | 6050 250 65 | 65.120 % | 182.55/182.63 c | 475 | 60 144 1002 | 6655 475 67 | 65.120 % | 182.64/182.71 c | 812 | 60 144 1002 | 7320 812 69 | 65.120 % | 182.74/182.82 c | 1318 | 60 144 1002 | 8052 1318 68 | 65.120 % | 182.84/182.93 c | 2077 | 60 144 1002 | 8857 2077 68 | 65.120 % | 183.03/183.10 c | 3216 | 60 144 1002 | 9743 3216 69 | 65.120 % | 183.34/183.40 c | 4924 | 60 144 1002 | 10717 4924 68 | 65.120 % | 183.83/183.92 c | 7486 | 60 144 1002 | 11789 7486 67 | 65.120 % | 184.74/184.89 c | 11330 | 60 144 1002 | 12968 11330 69 | 65.120 % | 186.23/186.32 c | 17096 | 60 144 1002 | 14265 10534 69 | 65.120 % | 188.33/188.43 c | 25746 | 60 144 1002 | 15692 11975 67 | 65.120 % | 191.54/191.62 c | 38720 | 60 144 1002 | 17261 9102 68 | 65.120 % | 196.23/196.35 c | 58182 | 60 144 1002 | 18987 11158 63 | 65.120 % | 204.94/205.07 c | 87374 | 60 144 1002 | 20886 11635 73 | 65.120 % | 217.83/217.96 c | 131163 | 60 144 1002 | 22974 13346 67 | 65.120 % | 240.52/240.66 c | 196847 | 60 144 1002 | 25272 17118 73 | 65.120 % | 278.81/278.98 c | 295374 | 60 144 1002 | 27799 13537 72 | 65.120 % | 338.19/338.30 c | 443163 | 60 144 1002 | 30579 25172 73 | 65.120 % | 442.96/443.17 c | 664846 | 60 144 1002 | 33637 30165 75 | 65.120 % | 602.53/602.78 c | 997371 | 60 144 1002 | 37001 22738 72 | 65.120 % | 833.26/833.54 c | 1496159 | 60 144 1002 | 40701 28773 69 | 65.120 % | 1237.17/1237.55 c | 2244343 | 60 144 1002 | 44771 38657 72 | 65.120 % |
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-2656056-1276616272/watcher-2656056-1276616272 -o /tmp/evaluation-result-2656056-1276616272/solver-2656056-1276616272 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656056-1276616272.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 2/106 11787 /proc/meminfo: memFree=1399020/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=2576 CPUtime=0 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 285 0 0 0 0 0 0 0 22 0 1 0 2917861 2637824 200 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 644 200 146 303 0 339 0 [startup+0.095456 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11787 /proc/meminfo: memFree=1399020/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=2832 CPUtime=0.08 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 363 0 0 0 8 0 0 0 22 0 1 0 2917861 2899968 278 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 708 279 147 303 0 403 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2832 [startup+0.101456 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11787 /proc/meminfo: memFree=1399020/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=2832 CPUtime=0.09 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 368 0 0 0 9 0 0 0 22 0 1 0 2917861 2899968 283 1992294400 134512640 135751879 4289190352 18446744073709551615 134607655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 708 283 147 303 0 403 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2832 [startup+0.300478 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11787 /proc/meminfo: memFree=1399020/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=3356 CPUtime=0.28 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 503 0 0 0 28 0 0 0 23 0 1 0 2917861 3436544 418 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 839 418 147 303 0 534 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3356 [startup+0.700522 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11787 /proc/meminfo: memFree=1399020/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=4416 CPUtime=0.69 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 752 0 0 0 68 1 0 0 25 0 1 0 2917861 4521984 667 1992294400 134512640 135751879 4289190352 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 1104 667 147 303 0 799 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4416 [startup+1.50061 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11788 /proc/meminfo: memFree=1396160/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=6112 CPUtime=1.49 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 1182 0 0 0 147 2 0 0 25 0 1 0 2917861 6258688 1097 1992294400 134512640 135751879 4289190352 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 1528 1097 148 303 0 1223 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6112 [startup+3.10079 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11788 /proc/meminfo: memFree=1393680/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=8860 CPUtime=3.08 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 1869 0 0 0 304 4 0 0 25 0 1 0 2917861 9072640 1784 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 2215 1784 148 303 0 1910 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 8860 [startup+6.30015 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11788 /proc/meminfo: memFree=1388596/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=13732 CPUtime=6.28 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 3089 0 0 0 620 8 0 0 25 0 1 0 2917861 14061568 3004 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 3433 3004 148 303 0 3128 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13732 [startup+12.7009 s] /proc/loadavg: 0.94 0.98 0.99 2/107 11788 /proc/meminfo: memFree=1378428/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=23216 CPUtime=12.68 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 5458 0 0 0 1253 15 0 0 25 0 1 0 2917861 23773184 5373 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 5804 5373 148 303 0 5499 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23216 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11788 /proc/meminfo: memFree=1361812/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=39412 CPUtime=25.48 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 9494 0 0 0 2518 30 0 0 25 0 1 0 2917861 40357888 9409 1992294400 134512640 135751879 4289190352 18446744073709551615 134606644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 9853 9409 148 303 0 9548 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39412 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/107 11788 /proc/meminfo: memFree=1327960/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=73556 CPUtime=51.07 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 18020 0 0 0 5048 59 0 0 25 0 1 0 2917861 75321344 17935 1992294400 134512640 135751879 4289190352 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 18389 17935 148 303 0 18084 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 73556 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 11790 /proc/meminfo: memFree=1262860/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=137684 CPUtime=102.27 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 34059 0 0 0 10111 116 0 0 25 0 1 0 2917861 140988416 33974 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 34421 33974 148 303 0 34116 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 137684 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11792 /proc/meminfo: memFree=1205200/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=196248 CPUtime=162.25 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 48662 0 0 0 16050 175 0 0 25 0 1 0 2917861 200957952 48577 1992294400 134512640 135751879 4289190352 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 49062 48577 148 303 0 48757 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 196248 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11794 /proc/meminfo: memFree=1154608/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=245908 CPUtime=222.23 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 61140 0 0 0 21996 227 0 0 25 0 1 0 2917861 251809792 61027 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 61477 61027 150 303 0 61172 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 245908 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11794 /proc/meminfo: memFree=1105008/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=295624 CPUtime=282.22 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 73570 0 0 0 27945 277 0 0 25 0 1 0 2917861 302718976 73457 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 73906 73457 150 303 0 73601 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 295624 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11796 /proc/meminfo: memFree=1059748/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=340672 CPUtime=342.19 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 84805 0 0 0 33893 326 0 0 25 0 1 0 2917861 348848128 84692 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 85168 84692 150 303 0 84863 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 340672 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11798 /proc/meminfo: memFree=1018580/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=382100 CPUtime=402.18 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 95138 0 0 0 39849 369 0 0 25 0 1 0 2917861 391270400 95025 1992294400 134512640 135751879 4289190352 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 95525 95025 150 303 0 95220 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 382100 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11800 /proc/meminfo: memFree=978156/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=422012 CPUtime=462.17 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 105114 0 0 0 45808 409 0 0 25 0 1 0 2917861 432140288 105001 1992294400 134512640 135751879 4289190352 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 105503 105001 150 303 0 105198 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 422012 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11802 /proc/meminfo: memFree=941700/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=458488 CPUtime=522.15 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 114239 0 0 0 51768 447 0 0 25 0 1 0 2917861 469491712 114126 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 114622 114126 150 303 0 114317 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 458488 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11802 /proc/meminfo: memFree=894332/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=505844 CPUtime=582.13 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 126053 0 0 0 57724 489 0 0 25 0 1 0 2917861 517984256 125940 1992294400 134512640 135751879 4289190352 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 126461 125940 150 303 0 126156 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 505844 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11804 /proc/meminfo: memFree=847088/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=552468 CPUtime=642.13 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 137716 0 0 0 63682 531 0 0 25 0 1 0 2917861 565727232 137603 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 138117 137603 150 303 0 137812 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 552468 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11810 /proc/meminfo: memFree=669520/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=729540 CPUtime=882.05 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 181985 0 0 0 87504 701 0 0 25 0 1 0 2917861 747048960 181872 1992294400 134512640 135751879 4289190352 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 182385 181872 150 303 0 182080 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 729540 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11812 /proc/meminfo: memFree=629716/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=769640 CPUtime=942.04 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 191997 0 0 0 93461 743 0 0 25 0 1 0 2917861 788111360 191884 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 192410 191884 150 303 0 192105 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 769640 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11814 /proc/meminfo: memFree=590408/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=808588 CPUtime=1002.02 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 201729 0 0 0 99421 781 0 0 25 0 1 0 2917861 827994112 201616 1992294400 134512640 135751879 4289190352 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 202147 201616 150 303 0 201842 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 808588 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11816 /proc/meminfo: memFree=552092/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=846868 CPUtime=1062.01 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 211304 0 0 0 105380 821 0 0 25 0 1 0 2917861 867192832 211191 1992294400 134512640 135751879 4289190352 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 211717 211191 150 303 0 211412 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 846868 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11818 /proc/meminfo: memFree=512660/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=886208 CPUtime=1121.99 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 221153 0 0 0 111344 855 0 0 25 0 1 0 2917861 907476992 221040 1992294400 134512640 135751879 4289190352 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 221552 221040 150 303 0 221247 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 886208 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11818 /proc/meminfo: memFree=473352/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=925696 CPUtime=1181.98 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 231006 0 0 0 117302 896 0 0 25 0 1 0 2917861 947912704 230893 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 231424 230893 150 303 0 231119 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 925696 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11820 /proc/meminfo: memFree=435532/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=963032 CPUtime=1241.95 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 240330 0 0 0 123266 929 0 0 25 0 1 0 2917861 986144768 240217 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 240758 240217 150 303 0 240453 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 963032 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11822 /proc/meminfo: memFree=394736/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1003304 CPUtime=1301.95 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 250403 0 0 0 129227 968 0 0 25 0 1 0 2917861 1027383296 250290 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 250826 250290 150 303 0 250521 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1003304 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11824 /proc/meminfo: memFree=357288/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1041260 CPUtime=1361.93 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 259857 0 0 0 135188 1005 0 0 25 0 1 0 2917861 1066250240 259744 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 260315 259744 150 303 0 260010 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1041260 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11835 /proc/meminfo: memFree=319592/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1077956 CPUtime=1421.91 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 269037 0 0 0 141149 1042 0 0 25 0 1 0 2917861 1103826944 268924 1992294400 134512640 135751879 4289190352 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 269489 268924 150 303 0 269184 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1077956 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11835 /proc/meminfo: memFree=283384/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1114452 CPUtime=1481.88 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 278144 0 0 0 147111 1077 0 0 25 0 1 0 2917861 1141198848 278031 1992294400 134512640 135751879 4289190352 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 278613 278031 150 303 0 278308 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1114452 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11837 /proc/meminfo: memFree=246804/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1151060 CPUtime=1541.87 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 287291 0 0 0 153078 1109 0 0 25 0 1 0 2917861 1178685440 287178 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 287765 287178 150 303 0 287460 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1151060 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11839 /proc/meminfo: memFree=211588/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1186436 CPUtime=1601.86 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 296147 0 0 0 159041 1145 0 0 25 0 1 0 2917861 1214910464 296034 1992294400 134512640 135751879 4289190352 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 296609 296034 150 303 0 296304 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1186436 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11841 /proc/meminfo: memFree=174636/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1223132 CPUtime=1661.84 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 305305 0 0 0 165006 1178 0 0 25 0 1 0 2917861 1252487168 305192 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 305783 305192 150 303 0 305478 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1223132 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11843 /proc/meminfo: memFree=139544/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1258640 CPUtime=1721.82 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 314180 0 0 0 170973 1209 0 0 25 0 1 0 2917861 1288847360 314067 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 314660 314067 150 303 0 314355 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1258640 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11843 /proc/meminfo: memFree=101476/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1296128 CPUtime=1781.81 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 323548 0 0 0 176936 1245 0 0 25 0 1 0 2917861 1327235072 323435 1992294400 134512640 135751879 4289190352 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 324032 323435 150 303 0 323727 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1296128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 11845 /proc/meminfo: memFree=90316/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=1307008 CPUtime=1800.01 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4202496 326286 0 0 0 178746 1255 0 0 25 0 1 0 2917861 1338376192 326173 1992294400 134512640 135751879 4289190352 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11787/statm: 326752 326173 150 303 0 326447 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1307008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/108 11846 /proc/meminfo: memFree=1224784/2059040 swapFree=4192956/4192956 [pid=11787] ppid=11785 vsize=0 CPUtime=1800.11 /proc/11787/stat : 11787 (wbo1.4b) R 11785 11787 11762 0 -1 4203524 326286 0 0 0 178746 1265 0 0 25 0 1 0 2917861 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/11787/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.14 CPU user time (s): 1787.47 CPU system time (s): 12.6681 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1307008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.47 system time used= 12.6681 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 326286 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= 3135 runsolver used 3.02654 second user time and 8.45971 second system time The end
Begin job on node059 at 2010-06-15 17:37:52 IDJOB=2656056 IDBENCH=2924 IDSOLVER=1161 FILE ID=node059/2656056-1276616272 PBS_JOBID= 11172314 Free space on /tmp= 62556 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656056-1276616272/watcher-2656056-1276616272 -o /tmp/evaluation-result-2656056-1276616272/solver-2656056-1276616272 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656056-1276616272.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED=2054278008 node059.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.244 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.48 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.244 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: 1399424 kB Buffers: 79924 kB Cached: 438836 kB SwapCached: 0 kB Active: 221204 kB Inactive: 356680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1399424 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 59080 kB Mapped: 15388 kB Slab: 59988 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179864 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= 62552 MiB End job on node059 at 2010-06-15 18:07:54