Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.13 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb |
MD5SUM | 219f407da86957d900e068170e9af8b6 |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702607-1278572876.opb. 0.00/0.00 c Instance file HOME/instance-2702607-1278572876.opb 0.00/0.00 c File size is 531925 bytes. 0.08/0.09 c Highest Coefficient sum: 400 0.08/0.09 c ============================[ Problem Statistics ]============================= 0.08/0.09 c | | 0.08/0.09 c | Parsing time: 0.09 s | 0.08/0.09 c | Number Variables: 6620 | 0.08/0.09 c | Number Clauses: 6420 | 0.08/0.09 c | Number Cardinality: 402 | 0.08/0.09 c | Number PB Constraints: 6220 | 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 6620 13042 50960 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 0 0.09/0.19 o 0 0.09/0.19 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 6620 13043 51160 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -1 0.19/0.20 o -1 0.19/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1 | 6620 13044 51360 | 5000 1 201 | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: -2 0.19/0.20 o -2 0.19/0.20 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 1 | 6620 13045 51560 | 5000 1 201 | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: -3 0.19/0.21 o -3 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1 | 6620 13046 51760 | 5000 1 201 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -4 0.19/0.22 o -4 0.19/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 6620 13047 51960 | 5000 1 201 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -5 0.19/0.22 o -5 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 2 | 6620 13048 52160 | 5000 2 200 | 0.000 % | 0.49/0.54 c | 182 | 6620 13048 52160 | 5500 182 345 | 0.000 % | 0.69/0.77 c | 332 | 6620 13048 52160 | 6050 332 317 | 0.000 % | 1.00/1.00 c | 557 | 6620 13048 52160 | 6655 557 300 | 0.000 % | 1.19/1.28 c | 901 | 6620 13048 52160 | 7320 901 319 | 0.000 % | 1.29/1.38 c | 1408 | 6620 13048 52160 | 8052 1408 345 | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c New solution: -6 1.29/1.39 o -6 1.29/1.39 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s 1.29/1.39 c =============================================================================== 1.29/1.39 c | 1420 | 6620 13049 52360 | 5000 1420 345 | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.40 c New solution: -7 1.39/1.40 o -7 1.39/1.40 c Elapsed CPU time: 1.38379 s Remaining CPU time: 178.616 s 1.39/1.40 c =============================================================================== 1.39/1.40 c | 1420 | 6620 13050 52560 | 5000 1420 345 | 0.000 % | 1.39/1.43 c | 1521 | 6620 13050 52560 | 5500 1521 348 | 0.000 % | 1.39/1.46 c | 1671 | 6620 13050 52560 | 6050 1671 352 | 0.000 % | 1.49/1.51 c | 1896 | 6620 13050 52560 | 6655 1896 356 | 0.000 % | 1.49/1.58 c | 2233 | 6620 13050 52560 | 7320 2233 361 | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c New solution: -8 1.59/1.60 o -8 1.59/1.60 c Elapsed CPU time: 1.57776 s Remaining CPU time: 178.422 s 1.59/1.60 c =============================================================================== 1.59/1.60 c | 2251 | 6620 13051 52760 | 5000 2251 359 | 0.000 % | 1.59/1.66 c | 2351 | 6620 13051 52760 | 5500 2351 360 | 0.000 % | 1.59/1.69 c | 2501 | 6620 13051 52760 | 6050 2501 362 | 0.000 % | 1.69/1.73 c | 2726 | 6620 13051 52760 | 6655 2726 364 | 0.000 % | 1.80/1.80 c | 3063 | 6620 13051 52760 | 7320 3063 367 | 0.000 % | 1.80/1.82 c =============================================================================== 1.80/1.82 c New solution: -9 1.80/1.82 o -9 1.80/1.82 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s 1.80/1.82 c =============================================================================== 1.80/1.82 c | 3074 | 6620 13052 52960 | 5000 3074 366 | 0.000 % | 1.80/1.86 c | 3175 | 6620 13052 52960 | 5500 3175 366 | 0.000 % | 1.89/1.91 c | 3326 | 6620 13052 52960 | 6050 3326 366 | 0.000 % | 1.89/1.97 c | 3551 | 6620 13052 52960 | 6655 3551 367 | 0.000 % | 1.99/2.06 c | 3888 | 6620 13052 52960 | 7320 3888 368 | 0.000 % | 2.10/2.19 c | 4395 | 6620 13052 52960 | 8052 4395 369 | 0.000 % | 2.39/2.40 c | 5154 | 6620 13052 52960 | 8857 5154 369 | 0.000 % | 2.60/2.69 c | 6294 | 6620 13052 52960 | 9743 6294 371 | 0.000 % | 3.30/3.31 c | 8002 | 6620 13052 52960 | 10717 8002 372 | 0.000 % | 4.19/4.22 c | 10565 | 6620 13052 52960 | 11789 10565 374 | 0.000 % | 6.29/6.39 c | 14410 | 6620 13052 52960 | 12968 14410 377 | 0.000 % | 8.69/8.78 c | 20176 | 6620 13052 52960 | 14265 12971 383 | 0.000 % | 14.99/15.06 c | 28825 | 6620 13052 52960 | 15692 11191 380 | 0.000 % | 20.89/20.98 c | 41799 | 6620 13052 52960 | 17261 12613 377 | 0.000 % | 32.08/32.15 c | 61261 | 6620 13052 52960 | 18987 19009 370 | 0.000 % | 47.18/47.24 c | 90454 | 6620 13052 52960 | 20886 23998 377 | 0.000 % | 74.78/74.85 c | 134243 | 6620 13052 52960 | 22974 21832 369 | 0.000 % | 117.46/117.58 c | 199927 | 6620 13052 52960 | 25272 13542 373 | 0.000 % | 174.34/174.44 c | 298453 | 6620 13052 52960 | 27799 28938 384 | 0.000 % | 181.55/181.61 c There are 0 assigned variables. 0 in cost function. 181.95/182.02 c core #1 181.95/182.02 c 181.95/182.02 c 181.95/182.02 c Core size: 401 Core Weight: 1 Total Weight: -199 181.95/182.02 c 181.95/182.02 c 181.95/182.02 c ============================[ Search Statistics ]============================== 181.95/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.95/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.95/182.02 c =============================================================================== 181.95/182.02 c | 0 | 6820 13266 53598 | 5000 0 nan | 0.000 % | 181.95/182.10 c | 102 | 6820 13266 53598 | 5500 102 103 | 1.173 % | 182.05/182.18 c =============================================================================== 182.15/182.24 c core #2 182.15/182.24 c 182.15/182.24 c 182.15/182.24 c Core size: 392 Core Weight: 1 Total Weight: -198 182.15/182.24 c 182.15/182.24 c 182.15/182.24 c ============================[ Search Statistics ]============================== 182.15/182.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.15/182.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.15/182.24 c =============================================================================== 182.15/182.24 c | 0 | 7020 13293 54076 | 5000 0 nan | 0.000 % | 182.25/182.31 c | 102 | 7020 13293 54076 | 5500 102 172 | 0.000 % | 182.25/182.37 c | 252 | 7020 13293 54076 | 6050 252 118 | 0.000 % | 182.45/182.51 c | 479 | 7020 13293 54076 | 6655 479 101 | 0.001 % | 182.65/182.75 c | 816 | 6993 13293 54076 | 7320 655 121 | 0.385 % | 183.04/183.10 c | 1322 | 6964 13293 54076 | 8052 1004 130 | 0.798 % | 183.55/183.65 c | 2122 | 6846 13293 54076 | 8857 1599 144 | 2.907 % | 184.34/184.48 c | 3261 | 6719 13293 54076 | 9743 2534 153 | 5.869 % | 185.55/185.67 c | 4969 | 6514 13293 54076 | 10717 3951 166 | 9.231 % | 187.44/187.56 c | 7531 | 5245 13293 54076 | 11789 4905 186 | 26.810 % | 190.74/190.80 c | 11375 | 4470 13293 54076 | 12968 7789 186 | 42.621 % | 192.04/192.16 c =============================================================================== 192.35/192.43 c core #3 192.35/192.43 c 192.35/192.43 c 192.35/192.43 c Core size: 264 Core Weight: 1 Total Weight: -197 192.35/192.43 c 192.35/192.43 c 192.35/192.43 c ============================[ Search Statistics ]============================== 192.35/192.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.35/192.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.35/192.43 c =============================================================================== 192.35/192.43 c | 0 | 7220 13318 54547 | 5000 0 nan | 0.000 % | 192.44/192.52 c | 100 | 7220 13318 54547 | 5500 100 235 | 0.000 % | 192.44/192.59 c | 250 | 7220 13318 54547 | 6050 250 158 | 0.000 % | 192.64/192.74 c | 475 | 7220 13318 54547 | 6655 475 141 | 0.000 % | 192.94/193.04 c | 867 | 7220 13318 54547 | 7320 867 163 | 0.000 % | 193.45/193.54 c | 1374 | 7220 13318 54547 | 8052 1374 162 | 0.000 % | 194.14/194.21 c | 2156 | 7220 13318 54547 | 8857 2156 181 | 0.000 % | 194.94/195.08 c | 3295 | 7220 13318 54547 | 9743 3295 186 | 0.000 % | 196.34/196.47 c | 5003 | 7220 13318 54547 | 10717 5003 186 | 0.000 % | 198.64/198.77 c | 7565 | 7220 13318 54547 | 11789 7565 184 | 0.000 % | 202.04/202.14 c | 11409 | 7220 13318 54547 | 12968 11409 198 | 0.000 % | 207.23/207.36 c | 17175 | 7220 13318 54547 | 14265 10557 200 | 0.000 % | 215.13/215.25 c | 25824 | 7220 13318 54547 | 15692 11893 209 | 0.001 % | 228.03/228.12 c | 38802 | 7191 13318 54547 | 17261 5964 181 | 0.402 % | 246.82/246.92 c | 58263 | 7190 13318 54547 | 18987 15954 203 | 0.420 % | 276.62/276.77 c | 87455 | 7187 13318 54547 | 20886 14568 185 | 0.831 % | 323.71/323.83 c | 131246 | 6749 13318 54547 | 22974 11536 156 | 6.524 % | 373.49/373.68 c =============================================================================== 377.89/378.04 c core #4 377.89/378.04 c 377.89/378.04 c 377.89/378.04 c Core size: 235 Core Weight: 1 Total Weight: -196 377.89/378.04 c 377.89/378.04 c 377.89/378.04 c ============================[ Search Statistics ]============================== 377.89/378.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 377.89/378.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 377.89/378.04 c =============================================================================== 377.89/378.04 c | 0 | 7420 14289 57790 | 5000 0 nan | 0.000 % | 378.09/378.21 c | 109 | 7420 14289 57790 | 5500 109 331 | 0.000 % | 378.60/378.79 c | 259 | 7420 14289 57790 | 6050 259 265 | 0.000 % | 378.89/379.00 c | 486 | 7420 14289 57790 | 6655 486 215 | 0.000 % | 379.30/379.47 c | 824 | 7420 14289 57790 | 7320 824 166 | 0.000 % | 379.80/379.94 c | 1330 | 7420 14289 57790 | 8052 1330 220 | 0.000 % | 380.59/380.78 c | 2119 | 7420 14289 57790 | 8857 2119 207 | 0.000 % | 381.89/382.05 c | 3259 | 7420 14289 57790 | 9743 3259 209 | 0.000 % | 384.69/384.82 c | 4981 | 7420 14289 57790 | 10717 4981 224 | 0.000 % | 388.09/388.30 c | 7546 | 7420 14289 57790 | 11789 7546 218 | 0.000 % | 393.99/394.13 c | 11390 | 7420 14289 57790 | 12968 11390 236 | 0.000 % | 402.40/402.59 c | 17156 | 7420 14289 57790 | 14265 10153 247 | 0.000 % | 415.28/415.47 c | 25805 | 7420 14289 57790 | 15692 11172 181 | 0.000 % | 433.67/433.83 c | 38796 | 7420 14289 57790 | 17261 16205 213 | 0.000 % | 466.67/466.81 c | 58257 | 7420 14289 57790 | 18987 17193 182 | 0.000 % | 598.73/598.98 c | 87451 | 7420 14289 57790 | 20886 12221 111 | 0.000 % | 681.21/681.46 c | 131242 | 7420 14289 57790 | 22974 18598 166 | 0.000 % | 814.98/815.20 c | 196926 | 7420 14289 57790 | 25272 22618 123 | 0.000 % | 1037.42/1037.76 c | 295455 | 7420 14289 57790 | 27799 24188 171 | 0.000 % | 1410.42/1410.80 c | 443245 | 7420 14289 57790 | 30579 23686 198 | 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-2702607-1278572876/watcher-2702607-1278572876 -o /tmp/evaluation-result-2702607-1278572876/solver-2702607-1278572876 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702607-1278572876.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.00 0.08 0.45 3/105 31670 /proc/meminfo: memFree=1660140/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=3736 CPUtime=0 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 1 0 25495902 3825664 335 1992294400 134512640 135752675 4291040928 18446744073709551615 135096987 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 934 335 137 303 0 499 0 [startup+0.08731 s] /proc/loadavg: 0.00 0.08 0.45 3/105 31670 /proc/meminfo: memFree=1660140/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=5540 CPUtime=0.08 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 974 0 0 0 8 0 0 0 23 0 1 0 25495902 5672960 892 1992294400 134512640 135752675 4291040928 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 1385 892 249 303 0 950 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5540 [startup+0.10131 s] /proc/loadavg: 0.00 0.08 0.45 3/105 31670 /proc/meminfo: memFree=1660140/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=6168 CPUtime=0.09 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 1280 0 0 0 9 0 0 0 23 0 1 0 25495902 6316032 1068 1992294400 134512640 135752675 4291040928 18446744073709551615 134524890 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 1542 1068 142 303 0 1237 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6168 [startup+0.301332 s] /proc/loadavg: 0.00 0.08 0.45 3/105 31670 /proc/meminfo: memFree=1660140/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=7136 CPUtime=0.29 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 1506 0 0 0 29 0 0 0 18 0 1 0 25495902 7307264 1294 1992294400 134512640 135752675 4291040928 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 1784 1294 144 303 0 1479 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7136 [startup+0.701376 s] /proc/loadavg: 0.00 0.08 0.45 3/105 31670 /proc/meminfo: memFree=1660140/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=7136 CPUtime=0.69 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 1507 0 0 0 69 0 0 0 18 0 1 0 25495902 7307264 1295 1992294400 134512640 135752675 4291040928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 1784 1295 145 303 0 1479 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7136 [startup+1.50146 s] /proc/loadavg: 0.00 0.08 0.45 2/106 31671 /proc/meminfo: memFree=1655792/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=8444 CPUtime=1.49 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 1833 0 0 0 147 2 0 0 19 0 1 0 25495902 8646656 1621 1992294400 134512640 135752675 4291040928 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 2111 1621 145 303 0 1806 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8444 [startup+3.10164 s] /proc/loadavg: 0.00 0.08 0.45 2/106 31671 /proc/meminfo: memFree=1650708/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=17556 CPUtime=3.1 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 4111 0 0 0 304 6 0 0 24 0 1 0 25495902 17977344 3899 1992294400 134512640 135752675 4291040928 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 4389 3899 145 303 0 4084 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 17556 [startup+6.30099 s] /proc/loadavg: 0.08 0.10 0.45 2/106 31671 /proc/meminfo: memFree=1636820/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=28428 CPUtime=6.29 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 6846 0 0 0 620 9 0 0 25 0 1 0 25495902 29110272 6634 1992294400 134512640 135752675 4291040928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 7107 6635 145 303 0 6802 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28428 [startup+12.7007 s] /proc/loadavg: 0.15 0.11 0.45 2/106 31671 /proc/meminfo: memFree=1617848/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=46328 CPUtime=12.69 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 11326 0 0 0 1255 14 0 0 25 0 1 0 25495902 47439872 11114 1992294400 134512640 135752675 4291040928 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 11582 11114 145 303 0 11277 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46328 [startup+25.5011 s] /proc/loadavg: 0.34 0.16 0.46 2/106 31671 /proc/meminfo: memFree=1576060/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=87300 CPUtime=25.48 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 21536 0 0 0 2521 27 0 0 25 0 1 0 25495902 89395200 21324 1992294400 134512640 135752675 4291040928 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 21825 21324 145 303 0 21520 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87300 [startup+51.1009 s] /proc/loadavg: 0.56 0.22 0.47 2/106 31671 /proc/meminfo: memFree=1503768/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=160156 CPUtime=51.08 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 39747 0 0 0 5057 51 0 0 25 0 1 0 25495902 163999744 39535 1992294400 134512640 135752675 4291040928 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 40039 39536 145 303 0 39734 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 160156 [startup+102.309 s] /proc/loadavg: 0.81 0.34 0.50 2/106 31673 /proc/meminfo: memFree=1381256/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=281076 CPUtime=102.28 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 69956 0 0 0 10137 91 0 0 25 0 1 0 25495902 287821824 69744 1992294400 134512640 135752675 4291040928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 70269 69744 145 303 0 69964 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 281076 [startup+162.301 s] /proc/loadavg: 0.93 0.46 0.53 2/106 31675 /proc/meminfo: memFree=1213608/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=449740 CPUtime=162.25 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 112108 0 0 0 16084 141 0 0 25 0 1 0 25495902 460533760 111896 1992294400 134512640 135752675 4291040928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 112435 111896 145 303 0 112130 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 449740 [startup+222.301 s] /proc/loadavg: 0.97 0.55 0.55 2/106 31677 /proc/meminfo: memFree=1160164/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=501240 CPUtime=222.24 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 125264 0 0 0 22040 184 0 0 25 0 1 0 25495902 513269760 124864 1992294400 134512640 135752675 4291040928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 125310 124864 146 303 0 125005 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 501240 [startup+282.302 s] /proc/loadavg: 0.99 0.63 0.58 2/106 31679 /proc/meminfo: memFree=1086756/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=575052 CPUtime=282.22 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 143726 0 0 0 27993 229 0 0 25 0 1 0 25495902 588853248 143326 1992294400 134512640 135752675 4291040928 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 143763 143326 146 303 0 143458 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 575052 [startup+342.301 s] /proc/loadavg: 0.99 0.70 0.60 2/106 31679 /proc/meminfo: memFree=1023020/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=638032 CPUtime=342.2 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 159456 0 0 0 33952 268 0 0 25 0 1 0 25495902 653344768 159056 1992294400 134512640 135752675 4291040928 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 159508 159056 146 303 0 159203 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 638032 [startup+402.301 s] /proc/loadavg: 0.99 0.75 0.62 2/106 31681 /proc/meminfo: memFree=1008636/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=652144 CPUtime=402.19 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 162995 0 0 0 39923 296 0 0 25 0 1 0 25495902 667795456 162595 1992294400 134512640 135752675 4291040928 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 163036 162595 146 303 0 162731 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 652144 [startup+462.301 s] /proc/loadavg: 0.99 0.79 0.64 2/106 31683 /proc/meminfo: memFree=984580/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=676404 CPUtime=462.17 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 169033 0 0 0 45889 328 0 0 25 0 1 0 25495902 692637696 168633 1992294400 134512640 135752675 4291040928 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 169101 168633 146 303 0 168796 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 676404 [startup+522.301 s] /proc/loadavg: 0.99 0.83 0.66 2/106 31685 /proc/meminfo: memFree=980240/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=680544 CPUtime=522.16 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 170066 0 0 0 51877 339 0 0 25 0 1 0 25495902 696877056 169666 1992294400 134512640 135752675 4291040928 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 170136 169666 146 303 0 169831 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 680544 [startup+582.301 s] /proc/loadavg: 0.99 0.86 0.68 2/106 31687 /proc/meminfo: memFree=976644/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=684336 CPUtime=582.14 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 171015 0 0 0 57863 351 0 0 25 0 1 0 25495902 700760064 170615 1992294400 134512640 135752675 4291040928 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 171084 170615 146 303 0 170779 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 684336 [startup+642.301 s] /proc/loadavg: 0.99 0.88 0.70 2/106 31687 /proc/meminfo: memFree=951596/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=709024 CPUtime=642.13 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 177190 0 0 0 63837 376 0 0 25 0 1 0 25495902 726040576 176790 1992294400 134512640 135752675 4291040928 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 177256 176790 146 303 0 176951 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 709024 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.94 0.75 2/106 31698 /proc/meminfo: memFree=883272/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=776800 CPUtime=882.06 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 194137 0 0 0 87744 462 0 0 25 0 1 0 25495902 795443200 193737 1992294400 134512640 135752675 4291040928 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 194200 193737 146 303 0 193895 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 776800 [startup+942.301 s] /proc/loadavg: 0.99 0.95 0.77 2/106 31698 /proc/meminfo: memFree=866284/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=793856 CPUtime=942.05 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 198392 0 0 0 93722 483 0 0 25 0 1 0 25495902 812908544 197992 1992294400 134512640 135752675 4291040928 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 198464 197992 146 303 0 198159 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 793856 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.78 2/106 31700 /proc/meminfo: memFree=843716/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=816428 CPUtime=1002.02 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 204046 0 0 0 99700 502 0 0 25 0 1 0 25495902 836022272 203646 1992294400 134512640 135752675 4291040928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 204107 203646 146 303 0 203802 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 816428 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.79 2/106 31702 /proc/meminfo: memFree=823628/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=836896 CPUtime=1062.02 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 209131 0 0 0 105681 521 0 0 25 0 1 0 25495902 856981504 208731 1992294400 134512640 135752675 4291040928 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 209224 208731 146 303 0 208919 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 836896 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.80 2/106 31704 /proc/meminfo: memFree=802920/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=857400 CPUtime=1121.99 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 214255 0 0 0 111658 541 0 0 25 0 1 0 25495902 877977600 213855 1992294400 134512640 135752675 4291040928 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 214350 213855 146 303 0 214045 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 857400 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.81 2/106 31706 /proc/meminfo: memFree=780724/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=879660 CPUtime=1181.98 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 219813 0 0 0 117634 564 0 0 25 0 1 0 25495902 900771840 219413 1992294400 134512640 135752675 4291040928 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 219915 219413 146 303 0 219610 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 879660 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.82 2/106 31706 /proc/meminfo: memFree=757908/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=901980 CPUtime=1241.97 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 225390 0 0 0 123616 581 0 0 25 0 1 0 25495902 923627520 224990 1992294400 134512640 135752675 4291040928 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 225495 224990 146 303 0 225190 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 901980 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.83 2/106 31708 /proc/meminfo: memFree=741788/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=917760 CPUtime=1301.96 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 229344 0 0 0 129597 599 0 0 25 0 1 0 25495902 939786240 228944 1992294400 134512640 135752675 4291040928 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 229440 228944 146 303 0 229135 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 917760 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.83 2/106 31710 /proc/meminfo: memFree=723684/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=936144 CPUtime=1361.93 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 233927 0 0 0 135577 616 0 0 25 0 1 0 25495902 958611456 233527 1992294400 134512640 135752675 4291040928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 234036 233527 146 303 0 233731 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 936144 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.84 2/106 31712 /proc/meminfo: memFree=691940/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=967828 CPUtime=1421.93 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 241831 0 0 0 141552 641 0 0 25 0 1 0 25495902 991055872 241431 1992294400 134512640 135752675 4291040928 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 241957 241431 146 303 0 241652 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 967828 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.85 2/106 31714 /proc/meminfo: memFree=655732/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1004260 CPUtime=1481.9 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 250941 0 0 0 147520 670 0 0 25 0 1 0 25495902 1028362240 250541 1992294400 134512640 135752675 4291040928 18446744073709551615 134611540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 251065 250541 146 303 0 250760 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1004260 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.85 2/106 31714 /proc/meminfo: memFree=627460/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1032016 CPUtime=1541.89 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 257859 0 0 0 153496 693 0 0 25 0 1 0 25495902 1056784384 257459 1992294400 134512640 135752675 4291040928 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 258004 257459 146 303 0 257699 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1032016 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.86 2/106 31716 /proc/meminfo: memFree=598940/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1060812 CPUtime=1601.87 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 265084 0 0 0 159475 712 0 0 25 0 1 0 25495902 1086271488 264684 1992294400 134512640 135752675 4291040928 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 265203 264684 146 303 0 264898 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1060812 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.86 2/106 31718 /proc/meminfo: memFree=572156/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1087348 CPUtime=1661.85 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 271698 0 0 0 165450 735 0 0 25 0 1 0 25495902 1113444352 271298 1992294400 134512640 135752675 4291040928 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 271837 271298 146 303 0 271532 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1087348 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.87 2/106 31720 /proc/meminfo: memFree=547232/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1112436 CPUtime=1721.84 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 277969 0 0 0 171427 757 0 0 25 0 1 0 25495902 1139134464 277569 1992294400 134512640 135752675 4291040928 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 278109 277569 146 303 0 277804 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1112436 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.87 2/106 31722 /proc/meminfo: memFree=532848/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1126164 CPUtime=1781.82 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 281416 0 0 0 177408 774 0 0 25 0 1 0 25495902 1153191936 281016 1992294400 134512640 135752675 4291040928 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 281541 281016 146 303 0 281236 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1126164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.88 2/106 31722 /proc/meminfo: memFree=531236/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1127756 CPUtime=1800.02 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 281816 0 0 0 179226 776 0 0 25 0 1 0 25495902 1154822144 281416 1992294400 134512640 135752675 4291040928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 281939 281416 146 303 0 281634 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1127756 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.88 2/106 31722 /proc/meminfo: memFree=531236/2059040 swapFree=4136400/4192956 [pid=31670] ppid=31668 vsize=1127756 CPUtime=1800.02 /proc/31670/stat : 31670 (wbo1.4b) R 31668 31670 31635 0 -1 4202496 281816 0 0 0 179226 776 0 0 25 0 1 0 25495902 1154822144 281416 1992294400 134512640 135752675 4291040928 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31670/statm: 281939 281416 146 303 0 281634 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1127756 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.13 CPU user time (s): 1792.27 CPU system time (s): 7.8668 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 1127756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.27 system time used= 7.8668 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281816 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= 4 involuntary context switches= 22041 runsolver used 2.99654 second user time and 8.48871 second system time The end
Begin job on node087 at 2010-07-08 09:07:56 IDJOB=2702607 IDBENCH=48238 IDSOLVER=1190 FILE ID=node087/2702607-1278572876 PBS_JOBID= 11240061 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.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-2702607-1278572876/watcher-2702607-1278572876 -o /tmp/evaluation-result-2702607-1278572876/solver-2702607-1278572876 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702607-1278572876.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 219f407da86957d900e068170e9af8b6 RANDOM SEED=479633036 node087.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1661412 kB Buffers: 95616 kB Cached: 207224 kB SwapCached: 12768 kB Active: 145288 kB Inactive: 174628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1661412 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 2864 kB Writeback: 0 kB AnonPages: 11860 kB Mapped: 8388 kB Slab: 55888 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181200 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-2702607-1278572876.opb Free space on /tmp at the end= 62544 MiB End job on node087 at 2010-07-08 09:37:59