Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.16 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1275.94 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1228 |
Sum of products size (including duplicates) | 2456 |
Number of different products | 614 |
Sum of products size | 1228 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702685-1278574702.opb. 0.00/0.00 c Instance file HOME/instance-2702685-1278574702.opb 0.00/0.00 c File size is 50240 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 714 | 0.00/0.01 c | Number Clauses: 664 | 0.00/0.01 c | Number Cardinality: 102 | 0.00/0.01 c | Number PB Constraints: 614 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 714 1380 5212 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 0 0.00/0.01 o 0 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 714 1381 5262 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -1 0.00/0.02 o -1 0.00/0.02 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 714 1382 5312 | 5000 1 51 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -2 0.00/0.02 o -2 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 714 1383 5362 | 5000 1 51 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -3 0.00/0.02 o -3 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 3 | 714 1384 5412 | 5000 3 19 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -4 0.00/0.02 o -4 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 | 5 | 714 1385 5462 | 5000 5 22 | 0.000 % | 0.00/0.03 c | 107 | 714 1385 5462 | 5500 107 81 | 0.003 % | 0.00/0.04 c | 257 | 714 1385 5462 | 6050 257 87 | 0.003 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -5 0.00/0.04 o -5 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 272 | 714 1386 5512 | 5000 272 87 | 0.003 % | 0.00/0.05 c | 373 | 714 1386 5512 | 5500 373 88 | 0.003 % | 0.00/0.06 c | 523 | 714 1386 5512 | 6050 523 88 | 0.003 % | 0.05/0.07 c | 749 | 714 1386 5512 | 6655 749 87 | 0.003 % | 0.09/0.10 c | 1089 | 714 1386 5512 | 7320 1089 88 | 0.002 % | 0.09/0.14 c | 1596 | 714 1386 5512 | 8052 1596 89 | 0.003 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -6 0.09/0.15 o -6 0.09/0.15 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1619 | 714 1387 5562 | 5000 1619 89 | 0.003 % | 0.09/0.16 c | 1721 | 714 1387 5562 | 5500 1721 89 | 0.003 % | 0.09/0.17 c | 1871 | 714 1387 5562 | 6050 1871 89 | 0.003 % | 0.09/0.19 c | 2096 | 714 1387 5562 | 6655 2096 88 | 0.003 % | 0.19/0.22 c | 2434 | 714 1387 5562 | 7320 2434 87 | 0.003 % | 0.19/0.26 c | 2940 | 714 1387 5562 | 8052 2940 87 | 0.003 % | 0.29/0.36 c | 3699 | 714 1387 5562 | 8857 3699 86 | 0.003 % | 0.39/0.48 c | 4840 | 714 1387 5562 | 9743 4840 85 | 0.003 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c New solution: -7 0.49/0.57 o -7 0.49/0.57 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s 0.49/0.57 c =============================================================================== 0.49/0.57 c | 5494 | 714 1388 5612 | 5000 5494 85 | 0.003 % | 0.49/0.59 c | 5595 | 714 1388 5612 | 5500 2848 83 | 0.003 % | 0.59/0.61 c | 5745 | 714 1388 5612 | 6050 2998 83 | 0.002 % | 0.59/0.64 c | 5970 | 714 1388 5612 | 6655 3223 83 | 0.003 % | 0.59/0.67 c | 6307 | 714 1388 5612 | 7320 3560 83 | 0.002 % | 0.69/0.72 c | 6814 | 714 1388 5612 | 8052 4067 83 | 0.003 % | 0.79/0.82 c | 7575 | 714 1388 5612 | 8857 4828 84 | 0.002 % | 0.89/0.97 c | 8715 | 714 1388 5612 | 9743 5968 84 | 0.003 % | 1.19/1.21 c | 10423 | 714 1388 5612 | 10717 7676 85 | 0.002 % | 1.59/1.66 c | 12988 | 714 1388 5612 | 11789 10241 85 | 0.003 % | 2.38/2.40 c | 16833 | 714 1388 5612 | 12968 7851 85 | 0.003 % | 3.49/3.54 c | 22600 | 714 1388 5612 | 14265 13618 86 | 0.003 % | 5.59/5.66 c | 31249 | 714 1388 5612 | 15692 14794 85 | 0.002 % | 8.80/8.82 c | 44224 | 714 1388 5612 | 17261 11397 86 | 0.003 % | 14.30/14.38 c | 63686 | 714 1388 5612 | 18987 12912 86 | 0.000 % | 23.68/23.77 c | 92878 | 714 1388 5612 | 20886 12606 86 | 0.003 % | 41.57/41.66 c | 136672 | 714 1388 5612 | 22974 13011 85 | 0.003 % | 65.37/65.47 c | 202366 | 714 1388 5612 | 25272 14939 83 | 0.002 % | 130.86/130.93 c | 300894 | 714 1388 5612 | 27799 23413 86 | 0.003 % | 181.35/181.48 c There are 0 assigned variables. 0 in cost function. 181.84/181.94 c core #1 181.84/181.94 c 181.84/181.94 c 181.84/181.94 c Core size: 101 Core Weight: 1 Total Weight: -49 181.84/181.94 c 181.84/181.94 c 181.84/181.94 c ============================[ Search Statistics ]============================== 181.84/181.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.94 c =============================================================================== 181.84/181.94 c | 0 | 764 1498 5905 | 5000 0 nan | 0.000 % | 181.84/181.95 c =============================================================================== 181.84/181.95 c core #2 181.84/181.95 c 181.84/181.95 c 181.84/181.95 c Core size: 44 Core Weight: 1 Total Weight: -48 181.84/181.95 c 181.84/181.95 c 181.84/181.95 c ============================[ Search Statistics ]============================== 181.84/181.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.95 c =============================================================================== 181.84/181.95 c | 0 | 802 1504 5996 | 5000 0 nan | 0.000 % | 181.84/181.96 c | 103 | 786 1504 5996 | 5500 76 32 | 3.367 % | 181.84/181.98 c | 253 | 762 1504 5996 | 6050 195 28 | 6.487 % | 181.93/182.01 c | 478 | 642 1504 5996 | 6655 261 37 | 23.069 % | 181.93/182.01 c =============================================================================== 181.93/182.02 c core #3 181.93/182.02 c 181.93/182.02 c 181.93/182.02 c Core size: 69 Core Weight: 1 Total Weight: -47 181.93/182.02 c 181.93/182.02 c 181.93/182.02 c ============================[ Search Statistics ]============================== 181.93/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.02 c =============================================================================== 181.93/182.02 c | 0 | 852 1517 6132 | 5000 0 nan | 0.000 % | 181.93/182.04 c | 107 | 852 1517 6132 | 5500 107 54 | 0.002 % | 181.93/182.05 c | 257 | 852 1517 6132 | 6050 257 41 | 0.002 % | 181.93/182.08 c | 483 | 852 1517 6132 | 6655 483 35 | 0.002 % | 182.04/182.13 c | 820 | 852 1517 6132 | 7320 820 34 | 0.005 % | 182.04/182.19 c | 1326 | 852 1517 6132 | 8052 1326 32 | 0.006 % | 182.24/182.30 c | 2085 | 852 1517 6132 | 8857 2085 30 | 0.009 % | 182.34/182.45 c | 3224 | 852 1517 6132 | 9743 3224 30 | 0.026 % | 182.64/182.74 c | 4934 | 836 1517 6132 | 10717 4037 30 | 1.879 % | 182.94/183.07 c =============================================================================== 183.04/183.14 c core #4 183.04/183.14 c 183.04/183.14 c 183.04/183.14 c Core size: 66 Core Weight: 1 Total Weight: -46 183.04/183.14 c 183.04/183.14 c 183.04/183.14 c ============================[ Search Statistics ]============================== 183.04/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.14 c =============================================================================== 183.04/183.14 c | 0 | 902 1710 6806 | 5000 0 nan | 0.000 % | 183.04/183.17 c | 100 | 902 1710 6806 | 5500 100 73 | 0.002 % | 183.04/183.19 c | 251 | 902 1710 6806 | 6050 251 53 | 0.002 % | 183.13/183.22 c | 477 | 902 1710 6806 | 6655 477 50 | 0.001 % | 183.13/183.27 c | 816 | 902 1710 6806 | 7320 816 42 | 0.001 % | 183.24/183.36 c | 1323 | 902 1710 6806 | 8052 1323 46 | 0.001 % | 183.44/183.50 c | 2086 | 902 1710 6806 | 8857 2086 43 | 0.001 % | 183.54/183.70 c | 3225 | 902 1710 6806 | 9743 3225 42 | 0.001 % | 183.94/184.00 c | 4933 | 902 1710 6806 | 10717 4933 42 | 0.001 % | 184.44/184.53 c | 7498 | 902 1710 6806 | 11789 7498 41 | 0.002 % | 185.44/185.50 c | 11343 | 902 1710 6806 | 12968 11343 42 | 0.001 % | 186.53/186.64 c | 17119 | 902 1710 6806 | 14265 10298 53 | 0.001 % | 189.34/189.44 c | 25769 | 902 1710 6806 | 15692 11533 56 | 0.002 % | 193.13/193.27 c | 38743 | 902 1710 6806 | 17261 8412 42 | 0.024 % | 198.53/198.61 c | 58204 | 873 1710 6806 | 18987 11249 43 | 3.222 % | 208.53/208.68 c | 87396 | 750 1710 6806 | 20886 8898 43 | 16.853 % | 215.63/215.79 c =============================================================================== 216.73/216.84 c core #5 216.73/216.84 c 216.73/216.84 c 216.73/216.84 c Core size: 78 Core Weight: 1 Total Weight: -45 216.73/216.84 c 216.73/216.84 c 216.73/216.84 c ============================[ Search Statistics ]============================== 216.73/216.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 216.73/216.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 216.73/216.84 c =============================================================================== 216.73/216.84 c | 0 | 952 1997 7760 | 5000 0 nan | 0.000 % | 216.73/216.89 c | 100 | 952 1997 7760 | 5500 100 113 | 0.002 % | 216.83/216.90 c | 252 | 952 1997 7760 | 6050 252 64 | 0.001 % | 216.83/216.94 c | 477 | 952 1997 7760 | 6655 477 48 | 0.001 % | 216.83/216.98 c | 814 | 952 1997 7760 | 7320 814 47 | 0.000 % | 216.93/217.06 c | 1321 | 952 1997 7760 | 8052 1321 52 | 0.002 % | 217.03/217.19 c | 2080 | 952 1997 7760 | 8857 2080 56 | 0.001 % | 217.23/217.38 c | 3220 | 952 1997 7760 | 9743 3220 55 | 0.001 % | 217.63/217.70 c | 4929 | 952 1997 7760 | 10717 4929 49 | 0.000 % | 218.23/218.35 c | 7491 | 952 1997 7760 | 11789 7491 46 | 0.001 % | 219.23/219.32 c | 11336 | 952 1997 7760 | 12968 11336 44 | 0.000 % | 220.82/221.00 c | 17104 | 952 1997 7760 | 14265 10423 38 | 0.001 % | 223.53/223.66 c | 25756 | 952 1997 7760 | 15692 11657 37 | 0.001 % | 228.13/228.21 c | 38733 | 952 1997 7760 | 17261 8517 35 | 0.000 % | 235.02/235.14 c | 58194 | 952 1997 7760 | 18987 10299 38 | 0.001 % | 242.52/242.62 c | 87388 | 952 1997 7760 | 20886 9989 70 | 0.002 % | 256.72/256.83 c | 131182 | 952 1997 7760 | 22974 21365 79 | 0.002 % | 283.30/283.49 c | 196872 | 952 1997 7760 | 25272 23162 80 | 0.002 % | 325.79/325.91 c | 295402 | 952 1997 7760 | 27799 16870 80 | 0.001 % | 407.17/407.36 c | 443191 | 952 1997 7760 | 30579 25477 81 | 0.001 % | 521.43/521.65 c | 664875 | 952 1997 7760 | 33637 27504 78 | 0.002 % | 681.69/682.00 c | 997401 | 952 1997 7760 | 37001 14382 46 | 0.003 % | 969.50/969.87 c | 1496189 | 952 1997 7760 | 40701 32533 47 | 0.023 % | 1298.89/1299.32 c =============================================================================== 1312.29/1312.76 c core #6 1312.29/1312.76 c 1312.29/1312.76 c 1312.29/1312.76 c Core size: 87 Core Weight: 1 Total Weight: -44 1312.29/1312.76 c 1312.29/1312.76 c 1312.29/1312.76 c ============================[ Search Statistics ]============================== 1312.29/1312.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1312.29/1312.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1312.29/1312.76 c =============================================================================== 1312.29/1312.76 c | 0 | 1002 2274 8660 | 5000 0 nan | 0.000 % | 1312.59/1313.04 c | 110 | 1002 2274 8660 | 5500 110 140 | 0.001 % | 1312.59/1313.05 c | 262 | 1002 2274 8660 | 6050 262 69 | 0.002 % | 1312.69/1313.19 c | 487 | 1002 2274 8660 | 6655 487 71 | 0.002 % | 1312.79/1313.24 c | 825 | 1002 2274 8660 | 7320 825 63 | 0.001 % | 1312.89/1313.30 c | 1333 | 1002 2274 8660 | 8052 1333 69 | 0.001 % | 1312.89/1313.37 c | 2092 | 1002 2274 8660 | 8857 2092 53 | 0.001 % | 1313.09/1313.59 c | 3233 | 1002 2274 8660 | 9743 3233 52 | 0.001 % | 1313.39/1313.86 c | 4942 | 1002 2274 8660 | 10717 4942 46 | 0.001 % | 1314.00/1314.45 c | 7504 | 1002 2274 8660 | 11789 7504 52 | 0.001 % | 1315.10/1315.54 c | 11348 | 1002 2274 8660 | 12968 11348 52 | 0.000 % | 1316.39/1316.87 c | 17115 | 1002 2274 8660 | 14265 10470 44 | 0.001 % | 1318.29/1318.77 c | 25766 | 1002 2274 8660 | 15692 11649 68 | 0.000 % | 1325.29/1325.70 c | 38740 | 1002 2274 8660 | 17261 8259 81 | 0.001 % | 1334.69/1335.15 c | 58216 | 1002 2274 8660 | 18987 9801 80 | 0.001 % | 1346.68/1347.16 c | 87413 | 1002 2274 8660 | 20886 19330 81 | 0.002 % | 1364.66/1365.13 c | 131205 | 1002 2274 8660 | 22974 19730 84 | 0.000 % | 1393.65/1394.19 c | 196889 | 1002 2274 8660 | 25272 21180 79 | 0.001 % | 1439.94/1440.43 c | 295419 | 1002 2274 8660 | 27799 15885 78 | 0.001 % | 1498.82/1499.35 c | 443209 | 1002 2274 8660 | 30579 25441 73 | 0.001 % | 1596.19/1596.74 c | 664896 | 1002 2274 8660 | 33637 30003 72 | 0.001 % |
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-2702685-1278574702/watcher-2702685-1278574702 -o /tmp/evaluation-result-2702685-1278574702/solver-2702685-1278574702 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702685-1278574702.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.95 0.87 3/106 29209 /proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=2752 CPUtime=0 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 25681663 2818048 231 1992294400 134512640 135752675 4291961568 18446744073709551615 134565485 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 688 231 141 303 0 370 0 [startup+0.067067 s] /proc/loadavg: 0.92 0.95 0.87 3/106 29209 /proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=2964 CPUtime=0.05 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 417 0 0 0 5 0 0 0 25 0 1 0 25681663 3035136 323 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 741 323 145 303 0 436 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2964 [startup+0.102069 s] /proc/loadavg: 0.92 0.95 0.87 3/106 29209 /proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=3220 CPUtime=0.09 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 475 0 0 0 9 0 0 0 25 0 1 0 25681663 3297280 381 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 805 381 145 303 0 500 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3220 [startup+0.301089 s] /proc/loadavg: 0.92 0.95 0.87 3/106 29209 /proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=4264 CPUtime=0.29 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 734 0 0 0 28 1 0 0 25 0 1 0 25681663 4366336 640 1992294400 134512640 135752675 4291961568 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 1066 640 145 303 0 761 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4264 [startup+0.70113 s] /proc/loadavg: 0.92 0.95 0.87 3/106 29209 /proc/meminfo: memFree=1705496/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=5816 CPUtime=0.69 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 1116 0 0 0 67 2 0 0 25 0 1 0 25681663 5955584 1022 1992294400 134512640 135752675 4291961568 18446744073709551615 134605377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 1454 1022 145 303 0 1149 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5816 [startup+1.50021 s] /proc/loadavg: 0.92 0.95 0.87 2/107 29210 /proc/meminfo: memFree=1701272/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=8296 CPUtime=1.49 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 1720 0 0 0 146 3 0 0 25 0 1 0 25681663 8495104 1626 1992294400 134512640 135752675 4291961568 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 2074 1626 145 303 0 1769 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8296 [startup+3.10037 s] /proc/loadavg: 0.92 0.95 0.87 2/107 29210 /proc/meminfo: memFree=1698296/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=12236 CPUtime=3.09 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 2716 0 0 0 303 6 0 0 25 0 1 0 25681663 12529664 2622 1992294400 134512640 135752675 4291961568 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 3059 2623 145 303 0 2754 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12236 [startup+6.3017 s] /proc/loadavg: 0.93 0.95 0.87 2/107 29210 /proc/meminfo: memFree=1691104/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=17712 CPUtime=6.29 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 4082 0 0 0 620 9 0 0 25 0 1 0 25681663 18137088 3988 1992294400 134512640 135752675 4291961568 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 4428 3988 145 303 0 4123 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17712 [startup+12.7014 s] /proc/loadavg: 0.93 0.95 0.87 2/107 29210 /proc/meminfo: memFree=1679572/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=29040 CPUtime=12.69 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 6891 0 0 0 1251 18 0 0 25 0 1 0 25681663 29736960 6797 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 7260 6797 145 303 0 6955 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29040 [startup+25.5016 s] /proc/loadavg: 0.95 0.96 0.87 2/107 29210 /proc/meminfo: memFree=1661964/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=46256 CPUtime=25.49 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 11178 0 0 0 2517 32 0 0 25 0 1 0 25681663 47366144 11084 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 11564 11084 145 303 0 11259 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46256 [startup+51.1012 s] /proc/loadavg: 0.96 0.96 0.87 2/107 29211 /proc/meminfo: memFree=1634188/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=74240 CPUtime=51.07 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 18153 0 0 0 5055 52 0 0 25 0 1 0 25681663 76021760 18059 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 18560 18059 145 303 0 18255 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74240 [startup+102.309 s] /proc/loadavg: 0.98 0.96 0.88 2/107 29212 /proc/meminfo: memFree=1594260/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=113316 CPUtime=102.27 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 27905 0 0 0 10143 84 0 0 25 0 1 0 25681663 116035584 27811 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 28329 27811 145 303 0 28024 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 113316 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.89 2/107 29214 /proc/meminfo: memFree=1545900/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=162532 CPUtime=162.25 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 40154 0 0 0 16098 127 0 0 25 0 1 0 25681663 166432768 40060 1992294400 134512640 135752675 4291961568 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 40633 40061 145 303 0 40328 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 162532 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.89 2/107 29216 /proc/meminfo: memFree=1514528/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=192632 CPUtime=222.23 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 47846 0 0 0 22037 186 0 0 25 0 1 0 25681663 197255168 47724 1992294400 134512640 135752675 4291961568 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 48158 47724 146 303 0 47853 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 192632 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.90 2/107 29217 /proc/meminfo: memFree=1460216/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=247552 CPUtime=282.21 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 61505 0 0 0 27974 247 0 0 25 0 1 0 25681663 253493248 61383 1992294400 134512640 135752675 4291961568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 61888 61383 146 303 0 61583 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 247552 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.90 2/107 29219 /proc/meminfo: memFree=1412476/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=295056 CPUtime=342.19 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 73338 0 0 0 33926 293 0 0 25 0 1 0 25681663 302137344 73216 1992294400 134512640 135752675 4291961568 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 73764 73216 146 303 0 73459 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 295056 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29220 /proc/meminfo: memFree=1376764/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=331048 CPUtime=402.17 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 82319 0 0 0 39886 331 0 0 25 0 1 0 25681663 338993152 82197 1992294400 134512640 135752675 4291961568 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 82762 82197 146 303 0 82457 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 331048 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29222 /proc/meminfo: memFree=1330512/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=376764 CPUtime=462.15 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 93744 0 0 0 45834 381 0 0 25 0 1 0 25681663 385806336 93622 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 94191 93622 146 303 0 93886 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 376764 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29224 /proc/meminfo: memFree=1286616/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=420696 CPUtime=522.13 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 104683 0 0 0 51789 424 0 0 25 0 1 0 25681663 430792704 104561 1992294400 134512640 135752675 4291961568 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 105174 104561 146 303 0 104869 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 420696 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29225 /proc/meminfo: memFree=1244084/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=463128 CPUtime=582.11 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 115278 0 0 0 57742 469 0 0 25 0 1 0 25681663 474243072 115156 1992294400 134512640 135752675 4291961568 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 115782 115156 146 303 0 115477 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 463128 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29227 /proc/meminfo: memFree=1203784/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=503072 CPUtime=642.11 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 125241 0 0 0 63696 515 0 0 25 0 1 0 25681663 515145728 125119 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 125768 125119 146 303 0 125463 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 503072 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 29233 /proc/meminfo: memFree=1073584/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=632852 CPUtime=882.03 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 157688 0 0 0 87510 693 0 0 25 0 1 0 25681663 648040448 157566 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 158213 157566 146 303 0 157908 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 632852 [startup+942.301 s] /proc/loadavg: 1.04 0.99 0.91 2/107 29235 /proc/meminfo: memFree=1041220/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=665372 CPUtime=942.01 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 165799 0 0 0 93469 732 0 0 25 0 1 0 25681663 681340928 165677 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 166343 165677 146 303 0 166038 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 665372 [startup+1002.3 s] /proc/loadavg: 1.13 1.02 0.93 2/107 29236 /proc/meminfo: memFree=1013196/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=693312 CPUtime=1001.98 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 172756 0 0 0 99429 769 0 0 25 0 1 0 25681663 709951488 172634 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 173328 172634 146 303 0 173023 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 693312 [startup+1062.3 s] /proc/loadavg: 1.11 1.03 0.93 2/107 29238 /proc/meminfo: memFree=981824/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=724628 CPUtime=1061.98 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 180599 0 0 0 105384 814 0 0 25 0 1 0 25681663 742019072 180477 1992294400 134512640 135752675 4291961568 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 181157 180477 146 303 0 180852 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 724628 [startup+1122.3 s] /proc/loadavg: 1.09 1.04 0.94 2/107 29240 /proc/meminfo: memFree=947228/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=759448 CPUtime=1121.94 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 189279 0 0 0 111334 860 0 0 25 0 1 0 25681663 777674752 189157 1992294400 134512640 135752675 4291961568 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 189862 189157 146 303 0 189557 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 759448 [startup+1182.3 s] /proc/loadavg: 1.15 1.06 0.95 2/107 29241 /proc/meminfo: memFree=914244/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=792252 CPUtime=1181.93 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 197465 0 0 0 117287 906 0 0 25 0 1 0 25681663 811266048 197343 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 198063 197343 146 303 0 197758 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 792252 [startup+1242.3 s] /proc/loadavg: 1.11 1.06 0.95 2/107 29243 /proc/meminfo: memFree=879400/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=826848 CPUtime=1241.91 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 206108 0 0 0 123240 951 0 0 25 0 1 0 25681663 846692352 205986 1992294400 134512640 135752675 4291961568 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 206712 205986 146 303 0 206407 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 826848 [startup+1302.3 s] /proc/loadavg: 1.09 1.06 0.96 2/107 29244 /proc/meminfo: memFree=831040/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=874796 CPUtime=1301.9 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 218096 0 0 0 129190 1000 0 0 25 0 1 0 25681663 895791104 217974 1992294400 134512640 135752675 4291961568 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 218699 217974 146 303 0 218394 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 874796 [startup+1362.3 s] /proc/loadavg: 1.10 1.08 0.97 2/107 29255 /proc/meminfo: memFree=820004/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=885212 CPUtime=1361.86 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 221158 0 0 0 135148 1038 0 0 25 0 1 0 25681663 906457088 220861 1992294400 134512640 135752675 4291961568 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 221303 220861 146 303 0 220998 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 885212 [startup+1422.31 s] /proc/loadavg: 1.04 1.06 0.97 2/107 29257 /proc/meminfo: memFree=775860/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=928844 CPUtime=1421.85 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 231990 0 0 0 141100 1085 0 0 25 0 1 0 25681663 951136256 231693 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 232211 231693 146 303 0 231906 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 928844 [startup+1482.3 s] /proc/loadavg: 1.01 1.05 0.97 2/107 29258 /proc/meminfo: memFree=730600/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=975124 CPUtime=1481.83 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 243542 0 0 0 147043 1140 0 0 25 0 1 0 25681663 998526976 243245 1992294400 134512640 135752675 4291961568 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 243781 243245 146 303 0 243476 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 975124 [startup+1542.3 s] /proc/loadavg: 1.04 1.05 0.97 2/107 29260 /proc/meminfo: memFree=685340/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=1019428 CPUtime=1541.81 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 254602 0 0 0 152986 1195 0 0 25 0 1 0 25681663 1043894272 254305 1992294400 134512640 135752675 4291961568 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 254857 254305 146 303 0 254552 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1019428 [startup+1602.3 s] /proc/loadavg: 1.01 1.04 0.97 2/107 29261 /proc/meminfo: memFree=643428/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=1061964 CPUtime=1601.79 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 265241 0 0 0 158926 1253 0 0 25 0 1 0 25681663 1087451136 264944 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 265491 264944 146 303 0 265186 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1061964 [startup+1662.3 s] /proc/loadavg: 1.07 1.04 0.98 2/107 29263 /proc/meminfo: memFree=616024/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=1088620 CPUtime=1661.77 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 271873 0 0 0 164889 1288 0 0 25 0 1 0 25681663 1114746880 271576 1992294400 134512640 135752675 4291961568 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 272155 271576 146 303 0 271850 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1088620 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 0.98 2/107 29265 /proc/meminfo: memFree=582296/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=1122552 CPUtime=1721.75 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 280332 0 0 0 170846 1329 0 0 25 0 1 0 25681663 1149493248 280035 1992294400 134512640 135752675 4291961568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 280638 280035 146 303 0 280333 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1122552 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 0.98 2/107 29266 /proc/meminfo: memFree=555636/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=1148948 CPUtime=1781.73 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 286942 0 0 0 176809 1364 0 0 25 0 1 0 25681663 1176522752 286645 1992294400 134512640 135752675 4291961568 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 287237 286645 146 303 0 286932 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1148948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.02 0.98 2/107 29267 /proc/meminfo: memFree=546708/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=1157824 CPUtime=1800.04 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4202496 289134 0 0 0 178629 1375 0 0 25 0 1 0 25681663 1185611776 288837 1992294400 134512640 135752675 4291961568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29209/statm: 289456 288837 146 303 0 289151 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1157824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.02 0.98 2/107 29267 /proc/meminfo: memFree=546708/2059040 swapFree=4139544/4192956 [pid=29209] ppid=29207 vsize=0 CPUtime=1800.14 /proc/29209/stat : 29209 (wbo1.4b) R 29207 29209 29096 0 -1 4203524 289134 0 0 0 178629 1385 0 0 25 0 1 0 25681663 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29209/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.16 CPU user time (s): 1786.29 CPU system time (s): 13.8679 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1157824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.29 system time used= 13.8679 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 289134 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= 6 involuntary context switches= 1433 runsolver used 4.14937 second user time and 8.96164 second system time The end
Begin job on node027 at 2010-07-08 09:38:22 IDJOB=2702685 IDBENCH=48277 IDSOLVER=1190 FILE ID=node027/2702685-1278574702 PBS_JOBID= 11240095 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702685-1278574702/watcher-2702685-1278574702 -o /tmp/evaluation-result-2702685-1278574702/solver-2702685-1278574702 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702685-1278574702.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED=1590490803 node027.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 : 2800.222 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 : 5600.44 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 : 2800.222 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: 1706272 kB Buffers: 64388 kB Cached: 187768 kB SwapCached: 7452 kB Active: 103072 kB Inactive: 163464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1706272 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 2664 kB Writeback: 8 kB AnonPages: 11960 kB Mapped: 12032 kB Slab: 64188 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180364 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702685-1278574702.opb Free space on /tmp at the end= 62524 MiB End job on node027 at 2010-07-08 10:08:25