Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.12 | 1800.87 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_1.opb |
MD5SUM | 7931a71f4daac58a32a56f6c89bc3525 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 104 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37366 |
Sum of products size (including duplicates) | 74732 |
Number of different products | 37366 |
Sum of products size | 74732 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702370-1278564822.opb. 0.00/0.00 c Instance file HOME/instance-2702370-1278564822.opb 0.00/0.00 c File size is 2895131 bytes. 0.39/0.48 c Highest Coefficient sum: 105 0.39/0.48 c ============================[ Problem Statistics ]============================= 0.39/0.48 c | | 0.39/0.48 c | Parsing time: 0.48 s | 0.39/0.48 c | Number Variables: 37866 | 0.39/0.48 c | Number Clauses: 37866 | 0.39/0.48 c | Number Cardinality: 0 | 0.39/0.48 c | Number PB Constraints: 37366 | 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 37866 75232 262062 | 25077 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 498 0.49/0.58 o 498 0.49/0.58 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 37866 75233 262562 | 25077 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 287 0.59/0.63 o 287 0.59/0.63 c Elapsed CPU time: 0.608907 s Remaining CPU time: 179.391 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 37866 75234 263062 | 25078 0 nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: 65 0.59/0.68 o 65 0.59/0.68 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 37866 75235 263562 | 25078 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c New solution: 64 0.69/0.73 o 64 0.69/0.73 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 37866 75236 264062 | 25078 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 63 0.69/0.78 o 63 0.69/0.78 c Elapsed CPU time: 0.763883 s Remaining CPU time: 179.236 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 37866 75237 264562 | 25079 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c New solution: 62 0.79/0.83 o 62 0.79/0.83 c Elapsed CPU time: 0.812876 s Remaining CPU time: 179.187 s 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 37866 75238 265062 | 25079 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 61 0.79/0.88 o 61 0.79/0.88 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 37866 75239 265562 | 25079 0 nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 60 0.89/0.93 o 60 0.89/0.93 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 37866 75240 266062 | 25080 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 59 0.89/0.98 o 59 0.89/0.98 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 37866 75241 266562 | 25080 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c New solution: 58 0.99/1.03 o 58 0.99/1.03 c Elapsed CPU time: 1.00585 s Remaining CPU time: 178.994 s 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 37866 75242 267062 | 25080 0 nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c New solution: 57 0.99/1.08 o 57 0.99/1.08 c Elapsed CPU time: 1.05484 s Remaining CPU time: 178.945 s 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 37866 75243 267562 | 25081 0 nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 56 1.10/1.13 o 56 1.10/1.13 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 37866 75244 268062 | 25081 0 nan | 0.000 % | 1.10/1.19 c =============================================================================== 1.10/1.19 c New solution: 54 1.10/1.19 o 54 1.10/1.19 c Elapsed CPU time: 1.16982 s Remaining CPU time: 178.83 s 1.10/1.20 c =============================================================================== 1.10/1.20 c | 2 | 37866 75245 268562 | 25081 2 56 | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c New solution: 24 1.19/1.26 o 24 1.19/1.26 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s 1.19/1.26 c =============================================================================== 1.19/1.26 c | 2 | 37866 75246 269062 | 25082 2 56 | 0.000 % | 1.59/1.61 c | 102 | 37866 75246 269062 | 27590 102 160 | 0.000 % | 1.78/1.80 c | 252 | 37866 75246 269062 | 30349 252 208 | 0.000 % | 1.89/1.99 c | 477 | 37866 75246 269062 | 33384 477 241 | 0.000 % | 2.20/2.23 c | 814 | 37866 75246 269062 | 36722 814 282 | 0.000 % | 2.49/2.58 c | 1322 | 37866 75246 269062 | 40394 1322 302 | 0.000 % | 3.09/3.15 c | 2081 | 37866 75246 269062 | 44434 2081 324 | 0.000 % | 3.89/3.94 c | 3220 | 37866 75246 269062 | 48877 3220 358 | 0.000 % | 4.99/5.09 c | 4928 | 37866 75246 269062 | 53765 4928 371 | 0.000 % | 7.08/7.13 c | 7491 | 37866 75246 269062 | 59142 7491 359 | 0.000 % | 7.18/7.21 c =============================================================================== 7.18/7.21 c New solution: 23 7.18/7.21 o 23 7.18/7.21 c Elapsed CPU time: 7.12992 s Remaining CPU time: 172.87 s 7.18/7.21 c =============================================================================== 7.18/7.21 c | 7491 | 37866 75247 269562 | 25082 7491 359 | 0.000 % | 7.29/7.31 c | 7591 | 37866 75247 269562 | 27590 7591 360 | 0.000 % | 7.39/7.47 c | 7742 | 37866 75247 269562 | 30349 7742 359 | 0.000 % | 7.59/7.69 c | 7967 | 37866 75247 269562 | 33384 7967 357 | 0.000 % | 7.89/7.95 c | 8305 | 37866 75247 269562 | 36723 8305 356 | 0.000 % | 8.29/8.36 c | 8812 | 37866 75247 269562 | 40395 8812 352 | 0.000 % | 8.80/8.80 c =============================================================================== 8.80/8.80 c New solution: 22 8.80/8.80 o 22 8.80/8.80 c Elapsed CPU time: 8.70468 s Remaining CPU time: 171.295 s 8.80/8.80 c =============================================================================== 8.80/8.80 c | 9354 | 37866 75248 270062 | 25082 9354 354 | 0.000 % | 8.89/8.93 c | 9455 | 37866 75248 270062 | 27590 9455 354 | 0.000 % | 8.99/9.09 c | 9606 | 37866 75248 270062 | 30350 9606 353 | 0.000 % | 9.28/9.31 c | 9832 | 37866 75248 270062 | 33385 9832 351 | 0.000 % | 9.59/9.62 c | 10169 | 37866 75248 270062 | 36723 10169 348 | 0.000 % | 9.98/10.04 c | 10676 | 37866 75248 270062 | 40395 10676 345 | 0.000 % | 10.18/10.28 c =============================================================================== 10.18/10.28 c New solution: 21 10.18/10.28 o 21 10.18/10.28 c Elapsed CPU time: 10.1565 s Remaining CPU time: 169.844 s 10.18/10.28 c =============================================================================== 10.18/10.28 c | 10901 | 37866 75249 270562 | 25083 10901 345 | 0.000 % | 10.38/10.41 c | 11001 | 37866 75249 270562 | 27591 11001 345 | 0.000 % | 10.49/10.58 c | 11153 | 37866 75249 270562 | 30350 11153 346 | 0.000 % | 10.79/10.81 c | 11379 | 37866 75249 270562 | 33385 11379 344 | 0.000 % | 11.09/11.18 c | 11717 | 37866 75249 270562 | 36724 11717 344 | 0.000 % | 11.59/11.69 c | 12224 | 37866 75249 270562 | 40396 12224 341 | 0.000 % | 12.38/12.43 c | 12983 | 37866 75249 270562 | 44436 12983 342 | 0.000 % | 13.49/13.56 c | 14122 | 37866 75249 270562 | 48879 14122 337 | 0.000 % | 15.19/15.25 c | 15830 | 37866 75249 270562 | 53767 15830 334 | 0.000 % | 18.08/18.11 c | 18393 | 37866 75249 270562 | 59144 18393 328 | 0.000 % | 22.48/22.50 c | 22238 | 37866 75249 270562 | 65058 22238 332 | 0.000 % | 30.18/30.27 c | 28004 | 37866 75249 270562 | 71564 28004 345 | 0.000 % | 42.18/42.26 c | 36654 | 37866 75249 270562 | 78721 36654 358 | 0.000 % | 62.67/62.75 c | 49629 | 37866 75249 270562 | 86593 49629 350 | 0.000 % | 103.85/103.90 c | 69092 | 37866 75249 270562 | 95252 69092 343 | 0.000 % | 153.23/153.39 c | 98284 | 37866 75249 270562 | 104777 98284 375 | 0.000 % | 181.12/181.26 c There are 0 assigned variables. 0 in cost function. 181.82/181.96 c core #1 181.82/181.96 c core #2 181.82/181.96 c ============================[ Search Statistics ]============================== 181.82/181.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.82/181.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.82/181.96 c =============================================================================== 181.82/181.96 c | 0 | 13760 75752 198711 | 25250 0 nan | 0.000 % | 182.22/182.34 c | 100 | 13760 75752 198711 | 27775 100 438 | 63.834 % | 182.62/182.71 c =============================================================================== 182.82/182.93 c core #3 182.82/182.93 c ============================[ Search Statistics ]============================== 182.82/182.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.82/182.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.82/182.93 c =============================================================================== 182.82/182.93 c | 0 | 36139 75753 265303 | 25251 0 nan | 0.000 % | 183.41/183.54 c | 102 | 36139 75753 265303 | 27776 102 434 | 6.157 % | 184.52/184.65 c | 257 | 36139 75753 265303 | 30553 257 410 | 6.157 % | 186.42/186.56 c | 482 | 36139 75753 265303 | 33609 482 481 | 6.157 % | 188.72/188.85 c | 819 | 36139 75753 265303 | 36969 819 567 | 6.157 % | 193.31/193.43 c | 1326 | 36139 75753 265303 | 40666 1326 546 | 6.157 % | 200.61/200.70 c | 2085 | 36139 75753 265303 | 44733 2085 564 | 6.157 % | 210.71/210.86 c | 3230 | 36139 75753 265303 | 49207 3230 644 | 6.157 % | 230.20/230.37 c | 4939 | 36139 75753 265303 | 54127 4939 651 | 6.157 % | 258.58/258.75 c | 7503 | 36139 75753 265303 | 59540 7503 588 | 6.157 % | 297.88/298.10 c | 11349 | 36139 75753 265303 | 65494 11349 664 | 6.157 % | 359.15/359.36 c | 17115 | 36139 75753 265303 | 72044 17115 679 | 6.157 % | 460.19/460.41 c | 25765 | 36139 75753 265303 | 79248 25765 651 | 6.157 % | 628.43/628.71 c | 38739 | 36139 75753 265303 | 87173 38739 847 | 6.157 % | 910.11/910.52 c | 58203 | 36139 75753 265303 | 95890 58203 1278 | 6.157 % | 1228.78/1229.33 c =============================================================================== 1230.98/1231.50 c core #4 1230.98/1231.50 c ============================[ Search Statistics ]============================== 1230.98/1231.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1230.98/1231.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1230.98/1231.50 c =============================================================================== 1230.98/1231.50 c | 0 | 39010 75755 273853 | 25251 0 nan | 0.000 % | 1231.39/1231.93 c | 102 | 39010 75755 273853 | 27776 102 512 | 0.000 % | 1232.17/1232.71 c | 252 | 39010 75755 273853 | 30554 252 404 | 0.000 % | 1233.78/1234.30 c | 477 | 39010 75755 273853 | 33609 477 429 | 0.000 % | 1235.98/1236.54 c | 814 | 39010 75755 273853 | 36970 814 425 | 0.000 % | 1242.38/1242.95 c | 1321 | 39010 75755 273853 | 40668 1321 332 | 0.000 % | 1250.97/1251.52 c | 2080 | 39010 75755 273853 | 44734 2080 317 | 0.000 % | 1260.46/1261.00 c | 3220 | 39010 75755 273853 | 49208 3220 361 | 0.000 % | 1270.46/1271.03 c | 4928 | 39010 75755 273853 | 54129 4928 404 | 0.000 % | 1284.46/1285.00 c | 7493 | 39010 75755 273853 | 59542 7493 419 | 0.000 % | 1314.35/1314.95 c | 11342 | 39010 75755 273853 | 65496 11342 441 | 0.000 % | 1353.53/1354.13 c | 17111 | 39010 75755 273853 | 72045 17111 440 | 0.000 % | 1412.11/1412.76 c | 25760 | 39010 75755 273853 | 79250 25760 448 | 0.000 % | 1506.07/1506.73 c | 38735 | 39010 75755 273853 | 87175 38735 520 | 0.000 % | 1690.00/1690.74 c | 58196 | 39010 75755 273853 | 95893 58196 645 | 0.000 % |
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-2702370-1278564822/watcher-2702370-1278564822 -o /tmp/evaluation-result-2702370-1278564822/solver-2702370-1278564822 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702370-1278564822.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.07 1.05 1.00 3/106 31834 /proc/meminfo: memFree=1498336/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=5976 CPUtime=0 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 420 0 0 0 0 0 0 0 18 0 1 0 24695543 6119424 338 1992294400 134512640 135751879 4287224256 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 1494 338 142 303 0 482 0 [startup+0.0530171 s] /proc/loadavg: 1.07 1.05 1.00 3/106 31834 /proc/meminfo: memFree=1498336/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=9444 CPUtime=0.05 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 1249 0 0 0 5 0 0 0 20 0 1 0 24695543 9670656 1167 1992294400 134512640 135751879 4287224256 18446744073709551615 134564176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 2361 1168 196 303 0 1349 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9444 [startup+0.101027 s] /proc/loadavg: 1.07 1.05 1.00 3/106 31834 /proc/meminfo: memFree=1498336/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=11672 CPUtime=0.09 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 1846 0 0 0 9 0 0 0 20 0 1 0 24695543 11952128 1731 1992294400 134512640 135751879 4287224256 18446744073709551615 134559738 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 2918 1731 265 303 0 1906 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11672 [startup+0.30107 s] /proc/loadavg: 1.07 1.05 1.00 3/106 31834 /proc/meminfo: memFree=1498336/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=15180 CPUtime=0.29 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 3006 0 0 0 29 0 0 0 20 0 1 0 24695543 15544320 2891 1992294400 134512640 135751879 4287224256 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 3795 2891 555 303 0 2783 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15180 [startup+0.701155 s] /proc/loadavg: 1.07 1.05 1.00 3/106 31834 /proc/meminfo: memFree=1498336/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=17656 CPUtime=0.69 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 5890 0 0 0 67 2 0 0 21 0 1 0 24695543 18079744 3758 1992294400 134512640 135751879 4287224256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 4414 3758 146 303 0 4109 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17656 [startup+1.50133 s] /proc/loadavg: 1.07 1.05 1.00 2/107 31835 /proc/meminfo: memFree=1484068/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=18052 CPUtime=1.49 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 5970 0 0 0 147 2 0 0 23 0 1 0 24695543 18485248 3838 1992294400 134512640 135751879 4287224256 18446744073709551615 134620419 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 4513 3838 146 303 0 4208 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18052 [startup+3.10067 s] /proc/loadavg: 1.07 1.05 1.00 2/107 31835 /proc/meminfo: memFree=1482952/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=20828 CPUtime=3.09 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 6681 0 0 0 305 4 0 0 25 0 1 0 24695543 21327872 4549 1992294400 134512640 135751879 4287224256 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 5207 4549 147 303 0 4902 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20828 [startup+6.30135 s] /proc/loadavg: 1.06 1.05 1.00 2/107 31835 /proc/meminfo: memFree=1475264/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=28152 CPUtime=6.29 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 8490 0 0 0 622 7 0 0 25 0 1 0 24695543 28827648 6358 1992294400 134512640 135751879 4287224256 18446744073709551615 134611249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 7038 6358 147 303 0 6733 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28152 [startup+12.7007 s] /proc/loadavg: 1.06 1.05 1.00 2/107 31835 /proc/meminfo: memFree=1465096/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=37572 CPUtime=12.68 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 10852 0 0 0 1255 13 0 0 25 0 1 0 24695543 38473728 8720 1992294400 134512640 135751879 4287224256 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 9393 8720 147 303 0 9088 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37572 [startup+25.5014 s] /proc/loadavg: 1.04 1.05 1.00 2/107 31835 /proc/meminfo: memFree=1447488/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=54472 CPUtime=25.48 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 15079 0 0 0 2525 23 0 0 25 0 1 0 24695543 55779328 12947 1992294400 134512640 135751879 4287224256 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 13618 12947 147 303 0 13313 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54472 [startup+51.1009 s] /proc/loadavg: 1.03 1.04 1.00 2/107 31837 /proc/meminfo: memFree=1419216/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=82920 CPUtime=51.07 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 22172 0 0 0 5067 40 0 0 25 0 1 0 24695543 84910080 20040 1992294400 134512640 135751879 4287224256 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 20730 20040 147 303 0 20425 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82920 [startup+102.309 s] /proc/loadavg: 1.01 1.03 1.00 2/107 31837 /proc/meminfo: memFree=1382388/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=119268 CPUtime=102.26 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 31240 0 0 0 10157 69 0 0 25 0 1 0 24695543 122130432 29108 1992294400 134512640 135751879 4287224256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 29817 29108 147 303 0 29512 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 119268 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 31839 /proc/meminfo: memFree=1318528/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=183400 CPUtime=162.23 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 47272 0 0 0 16116 107 0 0 25 0 1 0 24695543 187801600 45140 1992294400 134512640 135751879 4287224256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 45850 45140 147 303 0 45545 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 183400 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 31841 /proc/meminfo: memFree=1288892/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=222.21 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56294 0 0 0 22098 123 0 0 25 0 1 0 24695543 216870912 52386 1992294400 134512640 135751879 4287224256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52386 151 303 0 52642 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 211788 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31843 /proc/meminfo: memFree=1288892/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=282.18 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56294 0 0 0 28088 130 0 0 25 0 1 0 24695543 216870912 52386 1992294400 134512640 135751879 4287224256 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52386 151 303 0 52642 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 211788 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 31845 /proc/meminfo: memFree=1288892/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=342.15 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56296 0 0 0 34079 136 0 0 25 0 1 0 24695543 216870912 52388 1992294400 134512640 135751879 4287224256 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52388 151 303 0 52642 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 211788 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31845 /proc/meminfo: memFree=1288892/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=402.13 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56296 0 0 0 40072 141 0 0 25 0 1 0 24695543 216870912 52388 1992294400 134512640 135751879 4287224256 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52388 151 303 0 52642 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 211788 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31856 /proc/meminfo: memFree=1287652/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=462.09 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56297 0 0 0 46064 145 0 0 25 0 1 0 24695543 216870912 52389 1992294400 134512640 135751879 4287224256 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52389 151 303 0 52642 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 211788 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31858 /proc/meminfo: memFree=1287652/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=522.07 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56305 0 0 0 52057 150 0 0 25 0 1 0 24695543 216870912 52397 1992294400 134512640 135751879 4287224256 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52397 151 303 0 52642 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 211788 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31860 /proc/meminfo: memFree=1287776/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=582.04 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56308 0 0 0 58050 154 0 0 25 0 1 0 24695543 216870912 52400 1992294400 134512640 135751879 4287224256 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52400 151 303 0 52642 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 211788 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31862 /proc/meminfo: memFree=1287776/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=211788 CPUtime=642.02 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 56310 0 0 0 64043 159 0 0 25 0 1 0 24695543 216870912 52402 1992294400 134512640 135751879 4287224256 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 52947 52402 151 303 0 52642 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 211788 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31866 /proc/meminfo: memFree=1211640/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=288784 CPUtime=821.95 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 75544 0 0 0 82013 182 0 0 25 0 1 0 24695543 295714816 71636 1992294400 134512640 135751879 4287224256 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 72196 71636 151 303 0 71891 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 288784 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31868 /proc/meminfo: memFree=1180144/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=319616 CPUtime=881.92 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 83259 0 0 0 88001 191 0 0 25 0 1 0 24695543 327286784 79351 1992294400 134512640 135751879 4287224256 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 79904 79351 151 303 0 79599 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 319616 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 31870 /proc/meminfo: memFree=1140712/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=359500 CPUtime=941.89 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 93225 0 0 0 93990 199 0 0 25 0 1 0 24695543 368128000 89317 1992294400 134512640 135751879 4287224256 18446744073709551615 134610818 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 89875 89317 151 303 0 89570 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 359500 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31870 /proc/meminfo: memFree=1107480/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=392340 CPUtime=1001.88 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 101396 0 0 0 99980 208 0 0 25 0 1 0 24695543 401756160 97488 1992294400 134512640 135751879 4287224256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 98085 97488 151 303 0 97780 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 392340 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31872 /proc/meminfo: memFree=1075612/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=425204 CPUtime=1061.85 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 109620 0 0 0 105967 218 0 0 25 0 1 0 24695543 435408896 105712 1992294400 134512640 135751879 4287224256 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 106301 105712 151 303 0 105996 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 425204 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31874 /proc/meminfo: memFree=1049820/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=450064 CPUtime=1121.82 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 115818 0 0 0 111959 223 0 0 25 0 1 0 24695543 460865536 111910 1992294400 134512640 135751879 4287224256 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 112516 111910 151 303 0 112211 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 450064 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31876 /proc/meminfo: memFree=1024276/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=475712 CPUtime=1181.8 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 122230 0 0 0 117951 229 0 0 25 0 1 0 24695543 487129088 118322 1992294400 134512640 135751879 4287224256 18446744073709551615 134607787 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 118928 118322 151 303 0 118623 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 475712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31878 /proc/meminfo: memFree=995260/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=503836 CPUtime=1241.77 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 129587 0 0 0 123938 239 0 0 25 0 1 0 24695543 515928064 125310 1992294400 134512640 135751879 4287224256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 125959 125310 151 303 0 125654 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 503836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31878 /proc/meminfo: memFree=995260/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=503836 CPUtime=1301.76 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 129589 0 0 0 129926 250 0 0 25 0 1 0 24695543 515928064 125312 1992294400 134512640 135751879 4287224256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 125959 125312 151 303 0 125654 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 503836 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31880 /proc/meminfo: memFree=995260/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=503836 CPUtime=1361.73 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 129603 0 0 0 135914 259 0 0 25 0 1 0 24695543 515928064 125326 1992294400 134512640 135751879 4287224256 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 125959 125326 151 303 0 125654 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 503836 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31882 /proc/meminfo: memFree=994888/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=504628 CPUtime=1421.71 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 129814 0 0 0 141905 266 0 0 25 0 1 0 24695543 516739072 125537 1992294400 134512640 135751879 4287224256 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 126157 125537 151 303 0 125852 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 504628 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31884 /proc/meminfo: memFree=976412/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=523188 CPUtime=1481.67 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 134441 0 0 0 147889 278 0 0 25 0 1 0 24695543 535744512 130164 1992294400 134512640 135751879 4287224256 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 130797 130164 151 303 0 130492 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 523188 [startup+1542.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 31889 /proc/meminfo: memFree=953348/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=545800 CPUtime=1541.65 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 140092 0 0 0 153870 295 0 0 25 0 1 0 24695543 558899200 135815 1992294400 134512640 135751879 4287224256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 136450 135815 151 303 0 136145 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 545800 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 31889 /proc/meminfo: memFree=923216/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=576620 CPUtime=1601.63 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 147773 0 0 0 159855 308 0 0 25 0 1 0 24695543 590458880 143496 1992294400 134512640 135751879 4287224256 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 144155 143496 151 303 0 143850 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 576620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31891 /proc/meminfo: memFree=899780/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=599424 CPUtime=1661.6 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 153479 0 0 0 165842 318 0 0 25 0 1 0 24695543 613810176 149202 1992294400 134512640 135751879 4287224256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 149856 149202 151 303 0 149551 0 Current children cumulated CPU time (s) 1661.6 Current children cumulated vsize (KiB) 599424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31893 /proc/meminfo: memFree=878080/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=621168 CPUtime=1721.58 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 158903 0 0 0 171830 328 0 0 25 0 1 0 24695543 636076032 154626 1992294400 134512640 135751879 4287224256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 155292 154626 151 303 0 154987 0 Current children cumulated CPU time (s) 1721.58 Current children cumulated vsize (KiB) 621168 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31895 /proc/meminfo: memFree=847204/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=652084 CPUtime=1781.55 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 166618 0 0 0 177816 339 0 0 25 0 1 0 24695543 667734016 162341 1992294400 134512640 135751879 4287224256 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 163021 162341 151 303 0 162716 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (KiB) 652084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31895 /proc/meminfo: memFree=840508/2059040 swapFree=4192956/4192956 [pid=31834] ppid=31832 vsize=658560 CPUtime=1800.05 /proc/31834/stat : 31834 (wbo1.4b) R 31832 31834 31536 0 -1 4202496 168256 0 0 0 179663 342 0 0 25 0 1 0 24695543 674365440 163979 1992294400 134512640 135751879 4287224256 18446744073709551615 134518828 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31834/statm: 164640 163979 151 303 0 164335 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 658560 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.12 CPU user time (s): 1796.63 CPU system time (s): 3.48947 CPU usage (%): 99.9584 Max. virtual memory (cumulated for all children) (KiB): 658560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.63 system time used= 3.48947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 168256 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= 8 involuntary context switches= 1864 runsolver used 2.99354 second user time and 8.49071 second system time The end
Begin job on node010 at 2010-07-08 06:53:42 IDJOB=2702370 IDBENCH=48120 IDSOLVER=1161 FILE ID=node010/2702370-1278564822 PBS_JOBID= 11239556 Free space on /tmp= 62520 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_1.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-2702370-1278564822/watcher-2702370-1278564822 -o /tmp/evaluation-result-2702370-1278564822/solver-2702370-1278564822 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702370-1278564822.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7931a71f4daac58a32a56f6c89bc3525 RANDOM SEED=236707871 node010.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.258 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.51 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.258 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1501592 kB Buffers: 89308 kB Cached: 317548 kB SwapCached: 0 kB Active: 185332 kB Inactive: 281228 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1501592 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3376 kB Writeback: 0 kB AnonPages: 59652 kB Mapped: 14420 kB Slab: 68988 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179984 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702370-1278564822.opb Free space on /tmp at the end= 62516 MiB End job on node010 at 2010-07-08 07:23:47