Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.25 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_100_10_30.r.opb |
MD5SUM | 80d844acb755df30f8eb4d34a1c5fb81 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.18897 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656241-1276591615.opb. 0.00/0.00 c Instance file HOME/instance-2656241-1276591615.opb 0.00/0.00 c File size is 15204 bytes. 0.00/0.00 c Highest Coefficient sum: 31 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 100 | 0.00/0.00 c | Number Clauses: 100 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 100 100 1968 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 14 0.00/0.00 o 14 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 100 101 2068 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 13 0.00/0.00 o 13 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 9 | 100 102 2168 | 5000 9 43 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 12 0.00/0.00 o 12 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 33 | 100 103 2268 | 5000 33 41 | 0.000 % | 0.00/0.01 c | 133 | 100 103 2268 | 5500 133 42 | 0.010 % | 0.00/0.01 c | 283 | 100 103 2268 | 6050 283 44 | 0.010 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 11 0.00/0.02 o 11 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 413 | 100 104 2368 | 5000 413 42 | 0.010 % | 0.00/0.02 c | 514 | 100 104 2368 | 5500 514 41 | 0.010 % | 0.00/0.02 c | 664 | 100 104 2368 | 6050 664 39 | 0.010 % | 0.00/0.03 c | 892 | 100 104 2368 | 6655 892 40 | 0.010 % | 0.00/0.04 c | 1230 | 100 104 2368 | 7320 1230 40 | 0.010 % | 0.00/0.06 c | 1736 | 100 104 2368 | 8052 1736 41 | 0.010 % | 0.09/0.10 c | 2495 | 100 104 2368 | 8857 2495 40 | 0.010 % | 0.09/0.16 c | 3636 | 100 104 2368 | 9743 3636 40 | 0.010 % | 0.19/0.25 c | 5348 | 100 104 2368 | 10717 5348 40 | 0.010 % | 0.39/0.41 c | 7911 | 100 104 2368 | 11789 7911 40 | 0.010 % | 0.69/0.71 c | 11755 | 100 104 2368 | 12968 11755 38 | 0.010 % | 1.19/1.21 c | 17521 | 100 104 2368 | 14265 11001 37 | 0.010 % | 1.99/2.05 c | 26173 | 100 104 2368 | 15692 12486 39 | 0.010 % | 3.39/3.48 c | 39147 | 100 104 2368 | 17261 9699 39 | 0.010 % | 5.88/5.90 c | 58609 | 100 104 2368 | 18987 11831 36 | 0.010 % | 10.19/10.22 c | 87801 | 100 104 2368 | 20886 12448 38 | 0.010 % | 16.79/16.84 c | 131590 | 100 104 2368 | 22974 14338 39 | 0.010 % | 27.48/27.52 c | 197275 | 100 104 2368 | 25272 21120 38 | 0.010 % | 45.28/45.39 c | 295802 | 100 104 2368 | 27799 22664 38 | 0.010 % | 72.17/72.26 c | 443592 | 100 104 2368 | 30579 25776 37 | 0.010 % | 73.16/73.25 c =============================================================================== 73.16/73.25 c New solution: 10 73.16/73.25 o 10 73.16/73.25 c Elapsed CPU time: 71.9561 s Remaining CPU time: 108.044 s 73.16/73.25 c =============================================================================== 73.16/73.25 c | 450799 | 100 105 2468 | 5000 13761 36 | 0.010 % | 73.26/73.30 c | 450899 | 100 105 2468 | 5500 3541 38 | 0.010 % | 73.26/73.31 c | 451051 | 100 105 2468 | 6050 3693 38 | 0.010 % | 73.26/73.32 c | 451276 | 100 105 2468 | 6655 3918 37 | 0.010 % | 73.26/73.33 c | 451613 | 100 105 2468 | 7320 4255 37 | 0.010 % | 73.26/73.36 c | 452119 | 100 105 2468 | 8052 4761 37 | 0.010 % | 73.26/73.40 c | 452878 | 100 105 2468 | 8857 5520 35 | 0.010 % | 73.36/73.46 c | 454020 | 100 105 2468 | 9743 6662 34 | 0.010 % | 73.47/73.56 c | 455731 | 100 105 2468 | 10717 8373 34 | 0.010 % | 73.67/73.75 c | 458294 | 100 105 2468 | 11789 5547 31 | 0.010 % | 73.96/74.03 c | 462142 | 100 105 2468 | 12968 9395 32 | 0.010 % | 74.37/74.49 c | 467908 | 100 105 2468 | 14265 8647 33 | 0.010 % | 75.16/75.25 c | 476558 | 100 105 2468 | 15692 10132 36 | 0.010 % | 76.46/76.55 c | 489533 | 100 105 2468 | 17261 15233 33 | 0.010 % | 78.66/78.73 c | 508995 | 100 105 2468 | 18987 8711 35 | 0.010 % | 82.36/82.41 c | 538187 | 100 105 2468 | 20886 18848 35 | 0.010 % | 88.16/88.29 c | 581978 | 100 105 2468 | 22974 20762 33 | 0.010 % | 98.26/98.31 c | 647663 | 100 105 2468 | 25272 16228 32 | 0.010 % | 113.75/113.89 c | 746189 | 100 105 2468 | 27799 16863 32 | 0.010 % | 137.75/137.87 c | 893978 | 100 105 2468 | 30579 17559 31 | 0.010 % | 178.54/178.65 c | 1115661 | 100 105 2468 | 33637 13963 33 | 0.010 % | 183.23/183.39 c There are 0 assigned variables. 0 in cost function. 184.33/184.49 c core #1 184.33/184.49 c core #2 184.33/184.49 c core #3 184.33/184.49 c core #4 184.33/184.49 c ============================[ Search Statistics ]============================== 184.33/184.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.49 c =============================================================================== 184.33/184.49 c | 0 | 94 210 2709 | 5000 0 nan | 0.000 % | 184.33/184.49 c =============================================================================== 184.33/184.49 c core #5 184.33/184.50 c ============================[ Search Statistics ]============================== 184.33/184.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.50 c =============================================================================== 184.43/184.50 c | 0 | 173 211 2835 | 5000 0 nan | 0.000 % | 184.43/184.50 c | 107 | 151 211 2835 | 5500 62 37 | 23.196 % | 184.43/184.50 c =============================================================================== 184.43/184.51 c core #6 184.43/184.51 c ============================[ Search Statistics ]============================== 184.43/184.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.51 c =============================================================================== 184.43/184.51 c | 0 | 291 212 3051 | 5000 0 nan | 0.000 % | 184.43/184.52 c | 100 | 291 212 3051 | 5500 100 74 | 0.344 % | 184.43/184.53 c | 251 | 291 212 3051 | 6050 251 67 | 0.344 % | 184.43/184.55 c | 477 | 291 212 3051 | 6655 477 60 | 0.344 % | 184.54/184.60 c | 820 | 291 212 3051 | 7320 820 57 | 0.344 % | 184.54/184.66 c | 1326 | 291 212 3051 | 8052 1326 53 | 0.344 % | 184.64/184.77 c | 2086 | 291 212 3051 | 8857 2086 50 | 0.344 % | 184.84/184.97 c | 3228 | 291 212 3051 | 9743 3228 48 | 0.344 % | 185.23/185.33 c | 4939 | 291 212 3051 | 10717 4939 48 | 0.344 % | 185.84/185.96 c | 7502 | 291 212 3051 | 11789 7502 47 | 0.344 % | 186.94/187.05 c | 11346 | 291 212 3051 | 12968 11346 47 | 0.344 % | 187.64/187.71 c =============================================================================== 187.83/187.90 c core #7 187.83/187.90 c ============================[ Search Statistics ]============================== 187.83/187.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.83/187.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.83/187.90 c =============================================================================== 187.83/187.90 c | 0 | 392 213 3252 | 5000 0 nan | 0.000 % | 187.83/187.91 c | 101 | 392 213 3252 | 5500 101 107 | 0.001 % | 187.83/187.92 c | 252 | 392 213 3252 | 6050 252 66 | 0.001 % | 187.83/187.93 c | 477 | 392 213 3252 | 6655 477 50 | 0.001 % | 187.83/187.95 c | 814 | 392 213 3252 | 7320 814 43 | 0.001 % | 187.83/187.97 c | 1320 | 392 213 3252 | 8052 1320 40 | 0.001 % | 187.93/188.02 c | 2079 | 392 213 3252 | 8857 2079 40 | 0.001 % | 187.93/188.09 c | 3218 | 392 213 3252 | 9743 3218 40 | 0.001 % | 188.13/188.21 c | 4927 | 392 213 3252 | 10717 4927 39 | 0.001 % | 188.33/188.41 c | 7490 | 392 213 3252 | 11789 7490 37 | 0.001 % | 188.63/188.77 c | 11338 | 392 213 3252 | 12968 11338 35 | 0.001 % | 189.33/189.48 c | 17104 | 392 213 3252 | 14265 10589 32 | 0.001 % | 190.53/190.64 c | 25755 | 392 213 3252 | 15692 12073 33 | 0.001 % | 192.33/192.44 c | 38730 | 392 213 3252 | 17261 9294 34 | 0.001 % | 195.02/195.12 c | 58193 | 392 213 3252 | 18987 11434 31 | 0.001 % | 199.42/199.53 c | 87386 | 392 213 3252 | 20886 12055 34 | 0.001 % | 207.33/207.42 c | 131176 | 392 213 3252 | 22974 13947 32 | 0.001 % | 221.13/221.21 c | 196861 | 392 213 3252 | 25272 20460 59 | 0.001 % | 270.91/271.01 c | 295393 | 392 213 3252 | 27799 16078 99 | 0.001 % | 362.49/362.68 c | 443183 | 392 213 3252 | 30579 27501 95 | 0.001 % | 510.44/510.69 c | 664883 | 391 213 3252 | 33637 11007 82 | 0.256 % | 534.45/534.66 c =============================================================================== 548.84/549.09 c core #8 548.84/549.09 c ============================[ Search Statistics ]============================== 548.84/549.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 548.84/549.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 548.84/549.09 c =============================================================================== 548.84/549.09 c | 0 | 492 214 3452 | 5000 0 nan | 0.000 % | 549.03/549.27 c | 101 | 492 214 3452 | 5500 101 128 | 0.000 % | 549.03/549.28 c | 252 | 492 214 3452 | 6050 252 98 | 0.000 % | 549.14/549.30 c | 478 | 492 214 3452 | 6655 478 83 | 0.000 % | 549.14/549.34 c | 815 | 492 214 3452 | 7320 815 79 | 0.000 % | 549.24/549.40 c | 1321 | 492 214 3452 | 8052 1321 75 | 0.000 % | 549.34/549.52 c | 2081 | 492 214 3452 | 8857 2081 80 | 0.000 % | 549.54/549.71 c | 3221 | 492 214 3452 | 9743 3221 80 | 0.000 % | 549.84/550.03 c | 4930 | 492 214 3452 | 10717 4930 82 | 0.000 % | 550.54/550.70 c | 7494 | 492 214 3452 | 11789 7494 95 | 0.000 % | 551.84/552.00 c | 11339 | 492 214 3452 | 12968 11339 96 | 0.000 % | 553.84/554.04 c | 17106 | 492 214 3452 | 14265 10534 94 | 0.000 % | 556.83/557.08 c | 25758 | 492 214 3452 | 15692 11991 76 | 0.000 % | 561.43/561.62 c | 38735 | 492 214 3452 | 17261 9071 81 | 0.000 % | 568.43/568.61 c | 58198 | 492 214 3452 | 18987 11161 84 | 0.000 % | 581.42/581.61 c | 87391 | 492 214 3452 | 20886 11477 117 | 0.000 % | 607.22/607.48 c | 131182 | 492 214 3452 | 22974 13063 116 | 0.000 % | 655.01/655.28 c | 196867 | 492 214 3452 | 25272 20688 130 | 0.000 % | 724.29/724.56 c | 295394 | 492 214 3452 | 27799 15690 115 | 0.000 % | 814.76/815.06 c | 443186 | 492 214 3452 | 30579 15425 121 | 0.000 % | 968.21/968.57 c | 664870 | 492 214 3452 | 33637 30028 113 | 0.000 % | 1236.34/1236.79 c | 997396 | 492 214 3452 | 37001 14920 125 | 0.000 % | 1669.03/1669.53 c | 1496185 | 492 214 3452 | 40701 17628 133 | 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-2656241-1276591615/watcher-2656241-1276591615 -o /tmp/evaluation-result-2656241-1276591615/solver-2656241-1276591615 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656241-1276591615.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.33 1.44 1.18 3/106 10528 /proc/meminfo: memFree=1460136/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=2440 CPUtime=0 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 277 0 0 0 0 0 0 0 21 0 1 0 456458 2498560 191 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 610 191 146 303 0 305 0 [startup+0.102222 s] /proc/loadavg: 1.33 1.44 1.18 3/106 10528 /proc/meminfo: memFree=1460136/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=3232 CPUtime=0.09 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 457 0 0 0 9 0 0 0 21 0 1 0 456458 3309568 371 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 808 371 147 303 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3232 [startup+0.201234 s] /proc/loadavg: 1.33 1.44 1.18 3/106 10528 /proc/meminfo: memFree=1460136/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=3764 CPUtime=0.19 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 605 0 0 0 19 0 0 0 22 0 1 0 456458 3854336 519 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 941 519 147 303 0 636 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3764 [startup+0.301246 s] /proc/loadavg: 1.33 1.44 1.18 3/106 10528 /proc/meminfo: memFree=1460136/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=4304 CPUtime=0.29 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 737 0 0 0 28 1 0 0 22 0 1 0 456458 4407296 651 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 1076 651 147 303 0 771 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4304 [startup+0.701296 s] /proc/loadavg: 1.33 1.44 1.18 3/106 10528 /proc/meminfo: memFree=1460136/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=5756 CPUtime=0.69 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 1105 0 0 0 67 2 0 0 23 0 1 0 456458 5894144 1019 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 1439 1019 147 303 0 1134 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5756 [startup+1.50139 s] /proc/loadavg: 1.31 1.43 1.18 2/107 10529 /proc/meminfo: memFree=1455044/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=8396 CPUtime=1.49 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 1748 0 0 0 145 4 0 0 25 0 1 0 456458 8597504 1662 1992294400 134512640 135751879 4292813536 18446744073709551615 134649940 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 2099 1662 148 303 0 1794 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8396 [startup+3.10159 s] /proc/loadavg: 1.31 1.43 1.18 2/107 10529 /proc/meminfo: memFree=1451572/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=12760 CPUtime=3.09 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 2843 0 0 0 300 9 0 0 25 0 1 0 456458 13066240 2757 1992294400 134512640 135751879 4292813536 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 3190 2757 148 303 0 2885 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12760 [startup+6.30099 s] /proc/loadavg: 1.28 1.42 1.18 2/107 10529 /proc/meminfo: memFree=1444008/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=20020 CPUtime=6.29 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 4650 0 0 0 613 16 0 0 25 0 1 0 456458 20500480 4564 1992294400 134512640 135751879 4292813536 18446744073709551615 134616312 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 5005 4564 148 303 0 4700 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20020 [startup+12.7018 s] /proc/loadavg: 1.26 1.42 1.18 2/107 10529 /proc/meminfo: memFree=1431360/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=31372 CPUtime=12.69 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 7506 0 0 0 1242 27 0 0 25 0 1 0 456458 32124928 7420 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 7843 7420 148 303 0 7538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31372 [startup+25.5013 s] /proc/loadavg: 1.22 1.40 1.18 2/107 10531 /proc/meminfo: memFree=1408916/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=53328 CPUtime=25.48 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 12967 0 0 0 2497 51 0 0 25 0 1 0 456458 54607872 12881 1992294400 134512640 135751879 4292813536 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 13332 12881 148 303 0 13027 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 53328 [startup+51.1014 s] /proc/loadavg: 1.13 1.36 1.17 2/107 10531 /proc/meminfo: memFree=1369856/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=92660 CPUtime=51.07 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 22791 0 0 0 5013 94 0 0 25 0 1 0 456458 94883840 22705 1992294400 134512640 135751879 4292813536 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 23165 22705 148 303 0 22860 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92660 [startup+102.301 s] /proc/loadavg: 1.11 1.32 1.17 2/107 10533 /proc/meminfo: memFree=1282312/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=179292 CPUtime=102.27 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 44425 0 0 0 10037 190 0 0 25 0 1 0 456458 183595008 44339 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 44823 44339 148 303 0 44518 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 179292 [startup+162.301 s] /proc/loadavg: 1.04 1.26 1.16 2/107 10533 /proc/meminfo: memFree=1195264/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=267224 CPUtime=162.24 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 66390 0 0 0 15926 298 0 0 25 0 1 0 456458 273637376 66304 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 66806 66304 148 303 0 66501 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 267224 [startup+222.308 s] /proc/loadavg: 1.05 1.22 1.15 2/107 10535 /proc/meminfo: memFree=1153972/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=307220 CPUtime=222.23 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 76500 0 0 0 21830 393 0 0 25 0 1 0 456458 314593280 76381 1992294400 134512640 135751879 4292813536 18446744073709551615 134616825 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 76805 76381 151 303 0 76500 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 307220 [startup+282.301 s] /proc/loadavg: 1.02 1.18 1.14 2/107 10537 /proc/meminfo: memFree=1104248/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=357648 CPUtime=282.21 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 89029 0 0 0 27784 437 0 0 25 0 1 0 456458 366231552 88910 1992294400 134512640 135751879 4292813536 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 89412 88910 151 303 0 89107 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 357648 [startup+342.301 s] /proc/loadavg: 1.00 1.14 1.13 2/107 10539 /proc/meminfo: memFree=1055392/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=406164 CPUtime=342.19 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 101078 0 0 0 33737 482 0 0 25 0 1 0 456458 415911936 100959 1992294400 134512640 135751879 4292813536 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 101541 100959 151 303 0 101236 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 406164 [startup+402.301 s] /proc/loadavg: 1.00 1.12 1.11 2/107 10541 /proc/meminfo: memFree=1014100/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=448160 CPUtime=402.18 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 111502 0 0 0 39692 526 0 0 25 0 1 0 456458 458915840 111383 1992294400 134512640 135751879 4292813536 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 112040 111383 151 303 0 111735 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 448160 [startup+462.301 s] /proc/loadavg: 1.00 1.09 1.10 2/107 10541 /proc/meminfo: memFree=969832/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=492028 CPUtime=462.16 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 122465 0 0 0 45648 568 0 0 25 0 1 0 456458 503836672 122346 1992294400 134512640 135751879 4292813536 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 123007 122346 151 303 0 122702 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 492028 [startup+522.301 s] /proc/loadavg: 1.00 1.07 1.09 2/107 10543 /proc/meminfo: memFree=918868/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=543304 CPUtime=522.15 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 135207 0 0 0 51604 611 0 0 25 0 1 0 456458 556343296 135088 1992294400 134512640 135751879 4292813536 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 135826 135088 151 303 0 135521 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 543304 [startup+582.301 s] /proc/loadavg: 1.00 1.06 1.08 2/107 10545 /proc/meminfo: memFree=896672/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=563860 CPUtime=582.13 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 140654 0 0 0 57567 646 0 0 25 0 1 0 456458 577392640 140535 1992294400 134512640 135751879 4292813536 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 140965 140535 151 303 0 140660 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 563860 [startup+642.301 s] /proc/loadavg: 1.00 1.04 1.08 2/107 10547 /proc/meminfo: memFree=848312/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=613116 CPUtime=642.11 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 152913 0 0 0 63523 688 0 0 25 0 1 0 456458 627830784 152794 1992294400 134512640 135751879 4292813536 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 153279 152794 151 303 0 152974 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 613116 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.01 1.06 2/107 10562 /proc/meminfo: memFree=657600/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=802268 CPUtime=882.04 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 200098 0 0 0 87366 838 0 0 25 0 1 0 456458 821522432 199979 1992294400 134512640 135751879 4292813536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 200567 199979 151 303 0 200262 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 802268 [startup+942.301 s] /proc/loadavg: 1.00 1.01 1.05 2/107 10564 /proc/meminfo: memFree=609984/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=850144 CPUtime=942.01 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 212079 0 0 0 93324 877 0 0 25 0 1 0 456458 870547456 211960 1992294400 134512640 135751879 4292813536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 212536 211960 151 303 0 212231 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 850144 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 10566 /proc/meminfo: memFree=565096/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=894716 CPUtime=1002.01 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 223182 0 0 0 99285 916 0 0 25 0 1 0 456458 916189184 223063 1992294400 134512640 135751879 4292813536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 223679 223063 151 303 0 223374 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 894716 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.04 2/107 10566 /proc/meminfo: memFree=529880/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=930432 CPUtime=1061.99 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 232056 0 0 0 105257 942 0 0 25 0 1 0 456458 952762368 231937 1992294400 134512640 135751879 4292813536 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 232608 231937 151 303 0 232303 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 930432 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10568 /proc/meminfo: memFree=480900/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=979480 CPUtime=1121.98 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 244286 0 0 0 111218 980 0 0 25 0 1 0 456458 1002987520 244167 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 244870 244167 151 303 0 244565 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 979480 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.03 2/107 10570 /proc/meminfo: memFree=422248/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1038640 CPUtime=1181.96 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 259052 0 0 0 117177 1019 0 0 25 0 1 0 456458 1063567360 258933 1992294400 134512640 135751879 4292813536 18446744073709551615 134616427 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 259660 258933 151 303 0 259355 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1038640 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.02 2/107 10572 /proc/meminfo: memFree=367316/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1093056 CPUtime=1241.94 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 272634 0 0 0 123138 1056 0 0 25 0 1 0 456458 1119289344 272515 1992294400 134512640 135751879 4292813536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 273264 272515 151 303 0 272959 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1093056 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10574 /proc/meminfo: memFree=320940/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1140048 CPUtime=1301.93 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 284362 0 0 0 129102 1091 0 0 25 0 1 0 456458 1167409152 284243 1992294400 134512640 135751879 4292813536 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 285012 284243 151 303 0 284707 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1140048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.01 2/107 10574 /proc/meminfo: memFree=267992/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1192396 CPUtime=1361.91 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 297457 0 0 0 135068 1123 0 0 25 0 1 0 456458 1221013504 297338 1992294400 134512640 135751879 4292813536 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 298099 297338 151 303 0 297794 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1192396 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10576 /proc/meminfo: memFree=210704/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1249320 CPUtime=1421.9 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 311649 0 0 0 141029 1161 0 0 25 0 1 0 456458 1279303680 311530 1992294400 134512640 135751879 4292813536 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 312330 311530 151 303 0 312025 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1249320 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10578 /proc/meminfo: memFree=156640/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1303588 CPUtime=1481.88 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 325199 0 0 0 146994 1194 0 0 25 0 1 0 456458 1334874112 325080 1992294400 134512640 135751879 4292813536 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 325897 325080 151 303 0 325592 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1303588 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10580 /proc/meminfo: memFree=108156/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1351852 CPUtime=1541.87 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 337240 0 0 0 152960 1227 0 0 25 0 1 0 456458 1384296448 337121 1992294400 134512640 135751879 4292813536 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 337963 337121 151 303 0 337658 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1351852 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10582 /proc/meminfo: memFree=63516/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1396860 CPUtime=1601.85 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 348489 0 0 0 158928 1257 0 0 25 0 1 0 456458 1430384640 348370 1992294400 134512640 135751879 4292813536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 349215 348371 151 303 0 348910 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1396860 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10582 /proc/meminfo: memFree=10072/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1449800 CPUtime=1661.83 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 361706 0 0 0 164891 1292 0 0 25 0 1 0 456458 1484595200 361587 1992294400 134512640 135751879 4292813536 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 362450 361587 151 303 0 362145 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1449800 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10584 /proc/meminfo: memFree=10468/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1499408 CPUtime=1721.82 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 374071 0 0 0 170854 1328 0 0 25 0 1 0 456458 1535393792 373952 1992294400 134512640 135751879 4292813536 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 374852 373952 151 303 0 374547 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1499408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10586 /proc/meminfo: memFree=10520/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1543516 CPUtime=1781.79 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 385125 0 0 0 176819 1360 0 0 25 0 1 0 456458 1580560384 385006 1992294400 134512640 135751879 4292813536 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 385879 385006 151 303 0 385574 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1543516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10586 /proc/meminfo: memFree=9452/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=1555992 CPUtime=1800.1 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4202496 388240 0 0 0 178641 1369 0 0 25 0 1 0 456458 1593335808 388121 1992294400 134512640 135751879 4292813536 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10528/statm: 388998 388121 151 303 0 388693 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1555992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 3/108 10587 /proc/meminfo: memFree=1119120/2059040 swapFree=4192956/4192956 [pid=10528] ppid=10526 vsize=0 CPUtime=1800.21 /proc/10528/stat : 10528 (wbo1.4b) R 10526 10528 2332 0 -1 4203524 388240 0 0 0 178641 1380 0 0 25 0 1 0 456458 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/10528/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.75 CPU time (s): 1800.25 CPU user time (s): 1786.41 CPU system time (s): 13.8359 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 1555992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.41 system time used= 13.8359 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 388240 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= 2 involuntary context switches= 2030 runsolver used 3.14952 second user time and 8.34173 second system time The end
Begin job on node035 at 2010-06-15 10:46:55 IDJOB=2656241 IDBENCH=2849 IDSOLVER=1161 FILE ID=node035/2656241-1276591615 PBS_JOBID= 11172216 Free space on /tmp= 62460 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_100_10_30.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656241-1276591615/watcher-2656241-1276591615 -o /tmp/evaluation-result-2656241-1276591615/solver-2656241-1276591615 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656241-1276591615.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80d844acb755df30f8eb4d34a1c5fb81 RANDOM SEED=1182378896 node035.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.219 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.43 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.219 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1460664 kB Buffers: 41536 kB Cached: 416972 kB SwapCached: 0 kB Active: 200016 kB Inactive: 318192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1460664 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2692 kB Writeback: 0 kB AnonPages: 59724 kB Mapped: 15312 kB Slab: 58372 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181536 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node035 at 2010-06-15 11:16:57