Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.08 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-bell3a.opb |
MD5SUM | 959ce68b75ceb21d2cb97576331899fc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1448 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1345 |
Optimality of the best value was proved | NO |
Number of variables | 2219 |
Total number of constraints | 151 |
Number of constraints which are clauses | 22 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 129 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 191 |
Number of terms in the objective function | 1716 |
Biggest coefficient in the objective function | 12439 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525516 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262140 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525516 |
Number of bits of the biggest sum of numbers | 20 |
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 Parsing PB file... 0.01/0.07 c Converting 151 PB-constraints to clauses... 0.01/0.07 c -- Unit propagations: ppppp 0.01/0.08 c -- Detecting intervals from adjacent constraints: (none) 0.01/0.08 c -- Clauses(.)/Splits(s): ssssssssssssssss......................ssssssss 0.01/0.08 c ---[ 120]---> BDD-cost: 9 0.01/0.08 c ---[ 119]---> BDD-cost: 9 0.01/0.08 c ---[ 118]---> BDD-cost: 9 0.01/0.08 c ---[ 117]---> BDD-cost: 9 0.01/0.08 c ---[ 116]---> BDD-cost: 9 0.01/0.08 c ---[ 115]---> BDD-cost: 9 0.01/0.08 c ---[ 114]---> BDD-cost: 9 0.01/0.08 c ---[ 113]---> BDD-cost: 9 0.01/0.08 c ---[ 112]---> BDD-cost: 9 0.01/0.08 c ---[ 111]---> BDD-cost: 9 0.01/0.08 c ---[ 110]---> BDD-cost: 9 0.01/0.08 c ---[ 109]---> BDD-cost: 9 0.01/0.09 c ---[ 108]---> BDD-cost: 9 0.01/0.09 c ---[ 107]---> BDD-cost: 9 0.01/0.09 c ---[ 106]---> BDD-cost: 9 0.01/0.09 c ---[ 105]---> BDD-cost: 9 0.01/0.09 c ---[ 104]---> Adder-cost: 362 maxlim: 5729 bits: 14/13 0.09/0.18 c ---[ 103]---> Adder-cost: 413 maxlim: 7771 bits: 14/13 0.19/0.22 c ---[ 102]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 0.19/0.22 c ---[ 101]---> Adder-cost: 358 maxlim: 7629 bits: 14/13 0.29/0.32 c ---[ 100]---> Adder-cost: 266 maxlim: 4964 bits: 14/13 0.39/0.41 c ---[ 99]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.49/0.51 c ---[ 98]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.59/0.61 c ---[ 97]---> Adder-cost: 366 maxlim: 7629 bits: 14/13 0.69/0.71 c ---[ 96]---> Adder-cost: 130 maxlim: 4118 bits: 14/13 0.69/0.72 c ---[ 95]---> Adder-cost: 362 maxlim: 7629 bits: 14/13 0.79/0.81 c ---[ 94]---> Adder-cost: 252 maxlim: 4964 bits: 14/13 0.79/0.89 c ---[ 93]---> Adder-cost: 266 maxlim: 4964 bits: 14/13 0.89/0.98 c ---[ 92]---> Adder-cost: 362 maxlim: 5729 bits: 14/13 1.00/1.07 c ---[ 91]---> Adder-cost: 358 maxlim: 5729 bits: 14/13 1.10/1.15 c ---[ 90]---> Adder-cost: 476 maxlim: 15651 bits: 15/14 1.19/1.22 c ---[ 89]---> Adder-cost: 546 maxlim: 23634 bits: 15/15 1.29/1.30 c ---[ 88]---> Adder-cost: 398 maxlim: 7771 bits: 14/13 1.29/1.34 c ---[ 87]---> Adder-cost: 130 maxlim: 8215 bits: 14/14 1.29/1.35 c ---[ 86]---> Adder-cost: 258 maxlim: 4964 bits: 14/13 1.39/1.43 c ---[ 85]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.39/1.50 c ---[ 84]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.49/1.56 c ---[ 83]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.59/1.62 c ---[ 82]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.59/1.68 c ---[ 81]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.69/1.74 c ---[ 80]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.79/1.80 c ---[ 79]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.79/1.86 c ---[ 78]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.89/1.92 c ---[ 77]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.89/1.99 c ---[ 76]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 1.99/2.05 c ---[ 75]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.10/2.11 c ---[ 74]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.10/2.17 c ---[ 73]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.20/2.23 c ---[ 72]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.20/2.29 c ---[ 71]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.29/2.35 c ---[ 70]---> Sorter-cost: 1732 Base: 2 5 5 5 2 2 2 2 2.39/2.41 c ---[ 69]---> Sorter-cost: 2604 Base: 3 7 2 2 2 2 2 2 2.39/2.43 c ---[ 68]---> Adder-cost: 228 maxlim: 808 bits: 11/10 2.39/2.45 c ---[ 67]---> Sorter-cost: 631 Base: 2 2 2 2 2 2 2 2.39/2.45 c ---[ 66]---> Sorter-cost: 2603 Base: 3 7 2 2 2 2 2 2 2.39/2.47 c ---[ 63]---> Sorter-cost: 2694 Base: 3 7 2 2 2 2 2 2.49/2.50 c ---[ 62]---> Sorter-cost: 2695 Base: 3 7 2 2 2 2 2 2.49/2.52 c ---[ 61]---> Sorter-cost: 2695 Base: 3 7 2 2 2 2 2 2.49/2.54 c ---[ 59]---> Adder-cost: 110 maxlim: 531 bits: 11/10 2.49/2.55 c ---[ 58]---> Sorter-cost: 2603 Base: 3 7 2 2 2 2 2 2 2.49/2.57 c ---[ 53]---> Sorter-cost: 2604 Base: 3 7 2 2 2 2 2 2 2.49/2.59 c ---[ 52]---> Sorter-cost: 2538 Base: 3 7 2 2 2 2 2 2 2.59/2.61 c ---[ 51]---> Adder-cost: 404 maxlim: 3737 bits: 13/12 2.59/2.65 c ---[ 50]---> Adder-cost: 466 maxlim: 7407 bits: 14/13 2.69/2.70 c ---[ 49]---> Adder-cost: 161 maxlim: 810 bits: 11/10 2.69/2.71 c ---[ 48]---> Sorter-cost: 635 Base: 2 2 2 2 2 2 2 2 2.69/2.71 c ---[ 46]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 2.69/2.74 c ---[ 45]---> Sorter-cost: 1679 Base: 3 5 3 2 2 2.69/2.75 c ---[ 44]---> Sorter-cost: 1679 Base: 3 5 3 2 2 2.69/2.77 c ---[ 43]---> Adder-cost: 156 maxlim: 1349 bits: 12/11 2.69/2.79 c ---[ 42]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 2.79/2.82 c ---[ 41]---> Adder-cost: 182 maxlim: 2826 bits: 12/12 2.79/2.84 c ---[ 40]---> Adder-cost: 164 maxlim: 2826 bits: 12/12 2.79/2.87 c ---[ 39]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 2.79/2.89 c ---[ 38]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 2.89/2.92 c ---[ 37]---> Adder-cost: 182 maxlim: 2826 bits: 12/12 2.89/2.94 c ---[ 36]---> Sorter-cost: 1727 Base: 3 5 3 2 2 2.89/2.96 c ---[ 35]---> Sorter-cost: 1727 Base: 3 5 3 2 2 2.89/2.98 c ---[ 34]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 2.99/3.00 c ---[ 33]---> Adder-cost: 174 maxlim: 2826 bits: 12/12 2.99/3.03 c ---[ 32]---> Sorter-cost: 2439 Base: 3 3 3 3 3 3 2 2.99/3.09 c ---[ 30]---> Sorter-cost: 1679 Base: 3 5 3 2 2 3.09/3.11 c ---[ 29]---> Sorter-cost: 1727 Base: 3 5 3 2 2 3.09/3.13 c ---[ 28]---> Sorter-cost: 2177 Base: 3 2 3 5 2 2 5 3.09/3.18 c ---[ 27]---> Adder-cost: 162 maxlim: 2826 bits: 12/12 3.19/3.20 c ---[ 26]---> Sorter-cost: 1679 Base: 3 5 3 2 2 3.19/3.22 c ---[ 25]---> Adder-cost: 172 maxlim: 2826 bits: 12/12 3.19/3.25 c ---[ 24]---> Sorter-cost: 2177 Base: 3 2 3 5 2 2 5 3.19/3.30 c ---[ 23]---> BDD-cost: 5 3.19/3.30 c ---[ 22]---> BDD-cost: 5 3.19/3.30 c ---[ 21]---> BDD-cost: 5 3.19/3.30 c ---[ 20]---> BDD-cost: 5 3.19/3.30 c ---[ 19]---> BDD-cost: 5 3.19/3.30 c ---[ 18]---> BDD-cost: 5 3.19/3.30 c ---[ 17]---> BDD-cost: 5 3.19/3.30 c ---[ 16]---> BDD-cost: 5 3.19/3.30 c ---[ 15]---> BDD-cost: 5 3.19/3.30 c ---[ 14]---> BDD-cost: 5 3.19/3.30 c ---[ 13]---> BDD-cost: 5 3.19/3.30 c ---[ 12]---> BDD-cost: 5 3.19/3.30 c ---[ 11]---> BDD-cost: 5 3.19/3.30 c ---[ 10]---> BDD-cost: 5 3.19/3.30 c ---[ 9]---> BDD-cost: 5 3.19/3.30 c ---[ 8]---> BDD-cost: 5 3.19/3.30 c ---[ 7]---> Adder-cost: 48 maxlim: 24 bits: 6/5 3.29/3.30 c ---[ 6]---> Sorter-cost: 219 Base: 2 2 2 2 2 2 2 3.29/3.30 c ---[ 5]---> Sorter-cost: 264 Base: 2 3.29/3.31 c ---[ 4]---> Sorter-cost: 625 Base: 2 2 2 2 2 2 2 3.29/3.31 c ---[ 3]---> Sorter-cost: 651 Base: 2 2 2 2 3.29/3.31 c ---[ 2]---> Sorter-cost: 141 Base: 2 2 2 2 2 3.29/3.31 c ---[ 1]---> Sorter-cost: 199 Base: 2 2 2 3.29/3.31 c ---[ 0]---> Sorter-cost: 708 Base: 2 2 2 2 2 3.49/3.54 c ==================================[MINISAT+]================================== 3.49/3.54 c | Conflicts | Original | Learnt | Progress | 3.49/3.54 c | | Clauses Literals | Max Clauses Literals LPC | | 3.49/3.54 c ============================================================================== 3.49/3.54 c | 0 | 242922 649142 | 80974 0 0 nan | 0.000 % | 3.49/3.56 c | 102 | 242454 647556 | 89071 101 357 3.5 | 1.108 % | 3.59/3.61 c | 252 | 242381 647389 | 97978 249 885 3.6 | 1.135 % | 3.59/3.64 c | 478 | 242381 647389 | 107776 475 2963 6.2 | 1.135 % | 3.69/3.70 c | 816 | 242103 646519 | 118554 808 5253 6.5 | 1.180 % | 3.79/3.82 c | 1323 | 242085 646481 | 130409 1311 8966 6.8 | 1.189 % | 3.89/3.99 c | 2082 | 242025 646348 | 143450 2068 14616 7.1 | 1.209 % | 4.19/4.25 c | 3221 | 241939 646156 | 157795 3200 23087 7.2 | 1.239 % | 4.69/4.79 c | 4929 | 241648 645488 | 173574 4872 36832 7.6 | 1.348 % | 5.39/5.41 c | 7491 | 241375 644725 | 190932 7411 57840 7.8 | 1.418 % | 5.99/6.02 c | 11335 | 241364 644701 | 210025 11254 162454 14.4 | 1.422 % | 6.78/6.82 c | 17101 | 241284 644523 | 231028 17018 269541 15.8 | 1.451 % | 8.59/8.66 c | 25750 | 241143 644205 | 254131 25655 408388 15.9 | 1.506 % | 12.39/12.42 c | 38724 | 240929 643728 | 279544 38591 600728 15.6 | 1.593 % | 16.49/16.57 c | 58186 | 240669 642969 | 307498 58032 983750 17.0 | 1.653 % | 23.48/23.58 c | 87378 | 240545 642690 | 338248 87212 1584327 18.2 | 1.701 % | 35.18/35.24 c | 131167 | 240404 642372 | 372073 130986 2869537 21.9 | 1.759 % | 57.87/57.96 c | 196852 | 240210 641904 | 409280 196620 5511232 28.0 | 1.821 % | 127.16/127.24 c | 295378 | 239799 640764 | 450208 294987 13729575 46.5 | 1.932 % | 235.73/235.84 c | 443170 | 239586 640280 | 495229 442729 20076426 45.3 | 2.019 % | 341.31/341.45 c | 664854 | 239103 639180 | 544752 204337 6207907 30.4 | 2.205 % | 612.44/612.70 c | 997380 | 238715 638297 | 599227 536824 26243430 48.9 | 2.361 % | 906.66/906.93 c | 1496168 | 238302 637364 | 659150 461645 15817379 34.3 | 2.526 % | 1386.33/1386.77 c | 2244350 | 237988 636647 | 725065 581842 26652216 45.8 | 2.655 % | 1800.04/1800.61 c 1800.04/1800.61 c *** TERMINATED *** 1800.04/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/351362-1176597264/instance-351362-1176597264.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-351362-1176597264 -o ROOT/results/node27/solver-351362-1176597264 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351362-1176597264/minisat+ /tmp/evaluation/351362-1176597264/instance-351362-1176597264.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.99 0.99 3/65 28810 /proc/meminfo: memFree=1764248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=1344 CPUtime=0 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 72422293 1376256 168 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 336 169 68 215 0 118 0 [startup+0.018637 s] /proc/loadavg: 0.92 0.99 0.99 3/65 28810 /proc/meminfo: memFree=1764248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=1528 CPUtime=0.01 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 217 0 0 0 1 0 0 0 18 0 1 0 72422293 1564672 202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 382 202 75 215 0 164 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1528 [startup+0.101645 s] /proc/loadavg: 0.92 0.99 0.99 3/65 28810 /proc/meminfo: memFree=1764248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=1844 CPUtime=0.09 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 336 0 0 0 9 0 0 0 18 0 1 0 72422293 1888256 321 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134679732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 461 321 92 215 0 243 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1844 [startup+0.301665 s] /proc/loadavg: 0.92 0.99 0.99 3/65 28810 /proc/meminfo: memFree=1764248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=1988 CPUtime=0.29 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 400 0 0 0 29 0 0 0 19 0 1 0 72422293 2035712 385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812117 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 497 385 108 215 0 279 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1988 [startup+0.701706 s] /proc/loadavg: 0.92 0.99 0.99 3/65 28810 /proc/meminfo: memFree=1764248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=2188 CPUtime=0.69 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 440 0 0 0 69 0 0 0 22 0 1 0 72422293 2240512 425 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 547 425 108 215 0 329 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2188 [startup+1.50179 s] /proc/loadavg: 0.92 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1762832/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=2484 CPUtime=1.49 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 527 0 0 0 149 0 0 0 25 0 1 0 72422293 2543616 494 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 621 494 109 215 0 403 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 2484 [startup+3.10195 s] /proc/loadavg: 0.93 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=5028 CPUtime=3.09 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 1222 0 0 0 309 0 0 0 25 0 1 0 72422293 5148672 1064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812244 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 1257 1064 109 215 0 1039 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5028 [startup+6.30127 s] /proc/loadavg: 0.93 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1745168/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=22612 CPUtime=6.28 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 5217 0 0 0 626 2 0 0 25 0 1 0 72422293 23154688 5033 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134585539 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 5653 5033 124 215 0 5435 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22612 [startup+12.7019 s] /proc/loadavg: 0.94 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1741520/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=25464 CPUtime=12.69 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 5953 0 0 0 1266 3 0 0 25 0 1 0 72422293 26075136 5769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588672 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 6366 5769 124 215 0 6148 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25464 [startup+25.5012 s] /proc/loadavg: 0.95 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1734480/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=32664 CPUtime=25.49 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 7685 0 0 0 2544 5 0 0 25 0 1 0 72422293 33447936 7501 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 8166 7501 124 215 0 7948 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32664 [startup+51.1018 s] /proc/loadavg: 0.96 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1719248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=47904 CPUtime=51.08 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 11516 0 0 0 5100 8 0 0 25 0 1 0 72422293 49053696 11332 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 11976 11332 124 215 0 11758 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 47904 [startup+102.306 s] /proc/loadavg: 0.98 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1688464/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=78428 CPUtime=102.27 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 19145 0 0 0 10211 16 0 0 25 0 1 0 72422293 80310272 18961 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 19607 18961 124 215 0 19389 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 78428 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1668048/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=99164 CPUtime=162.25 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 24258 0 0 0 16205 20 0 0 25 0 1 0 72422293 101543936 24074 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 24791 24074 124 215 0 24573 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 99164 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1650704/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=116156 CPUtime=222.23 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 28563 0 0 0 22198 25 0 0 25 0 1 0 72422293 118943744 28379 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580738 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 29039 28379 124 215 0 28821 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 116156 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1631888/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=135716 CPUtime=282.22 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 33299 0 0 0 28192 30 0 0 25 0 1 0 72422293 138973184 33115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 33929 33115 124 215 0 33711 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 135716 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1631440/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=135848 CPUtime=342.21 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 33324 0 0 0 34191 30 0 0 25 0 1 0 72422293 139108352 33140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 33962 33140 124 215 0 33744 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 135848 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1631376/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=135848 CPUtime=402.19 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 33324 0 0 0 40189 30 0 0 25 0 1 0 72422293 139108352 33140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 33962 33140 124 215 0 33744 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 135848 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1631376/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=135848 CPUtime=462.17 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 33324 0 0 0 46187 30 0 0 25 0 1 0 72422293 139108352 33140 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 33962 33140 124 215 0 33744 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 135848 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1631440/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=135848 CPUtime=522.16 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 33325 0 0 0 52186 30 0 0 25 0 1 0 72422293 139108352 33141 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 33962 33141 124 215 0 33744 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 135848 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1619856/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=147564 CPUtime=582.14 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 36247 0 0 0 58181 33 0 0 25 0 1 0 72422293 151105536 36063 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 36891 36063 124 215 0 36673 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 147564 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1600912/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=166072 CPUtime=642.13 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 40927 0 0 0 64174 39 0 0 25 0 1 0 72422293 170057728 40743 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 41518 40743 124 215 0 41300 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 166072 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594512/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=822.08 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42526 0 0 0 82167 41 0 0 25 0 1 0 72422293 176496640 42342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42342 124 215 0 42872 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 172360 [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594512/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=882.07 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42530 0 0 0 88166 41 0 0 25 0 1 0 72422293 176496640 42346 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42346 124 215 0 42872 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 172360 [startup+942.301 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594448/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=942.05 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42533 0 0 0 94164 41 0 0 25 0 1 0 72422293 176496640 42349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42349 124 215 0 42872 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 172360 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594384/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=1002.03 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42535 0 0 0 100162 41 0 0 25 0 1 0 72422293 176496640 42351 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42351 124 215 0 42872 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 172360 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594192/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=1062.02 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42572 0 0 0 106161 41 0 0 25 0 1 0 72422293 176496640 42388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42388 124 215 0 42872 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 172360 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=1122 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42596 0 0 0 112159 41 0 0 25 0 1 0 72422293 176496640 42412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42412 124 215 0 42872 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 172360 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=1181.99 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42596 0 0 0 118158 41 0 0 25 0 1 0 72422293 176496640 42412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42412 124 215 0 42872 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 172360 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594128/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=1241.97 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42596 0 0 0 124156 41 0 0 25 0 1 0 72422293 176496640 42412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42412 124 215 0 42872 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 172360 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594064/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=1301.96 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42596 0 0 0 130155 41 0 0 25 0 1 0 72422293 176496640 42412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42412 124 215 0 42872 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 172360 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1594064/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=172360 CPUtime=1361.94 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 42596 0 0 0 136153 41 0 0 25 0 1 0 72422293 176496640 42412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43090 42412 124 215 0 42872 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 172360 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1591248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=175132 CPUtime=1421.93 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 43313 0 0 0 142150 43 0 0 25 0 1 0 72422293 179335168 43129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580798 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 43783 43129 124 215 0 43565 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 175132 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1574608/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=192048 CPUtime=1481.91 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 47519 0 0 0 148145 46 0 0 25 0 1 0 72422293 196657152 47335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574567 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 48012 47335 124 215 0 47794 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 192048 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 28811 /proc/meminfo: memFree=1553360/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=213020 CPUtime=1541.9 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 52761 0 0 0 154137 53 0 0 25 0 1 0 72422293 218132480 52577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 53255 52577 124 215 0 53037 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 213020 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/72 28877 /proc/meminfo: memFree=1534280/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=231924 CPUtime=1601.85 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 57177 0 0 0 160127 58 0 0 25 0 1 0 72422293 237490176 56993 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568458 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 57981 56993 124 215 0 57763 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 231924 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 29009 /proc/meminfo: memFree=1535312/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=231924 CPUtime=1661.77 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 57177 0 0 0 166119 58 0 0 25 0 1 0 72422293 237490176 56993 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134585958 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 57981 56993 124 215 0 57763 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 231924 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 29009 /proc/meminfo: memFree=1535312/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=231924 CPUtime=1721.75 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 57177 0 0 0 172117 58 0 0 25 0 1 0 72422293 237490176 56993 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 57981 56993 124 215 0 57763 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 231924 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/66 29009 /proc/meminfo: memFree=1535248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=231924 CPUtime=1781.73 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 57178 0 0 0 178115 58 0 0 25 0 1 0 72422293 237490176 56994 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 57981 56994 124 215 0 57763 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 231924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.99 0.99 2/66 29009 /proc/meminfo: memFree=1535248/2055920 swapFree=4192812/4192956 [pid=28810] ppid=28808 vsize=231924 CPUtime=1800.04 /proc/28810/stat : 28810 (minisat+) R 28808 28810 28393 0 -1 4194304 57178 0 0 0 179946 58 0 0 25 0 1 0 72422293 237490176 56994 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/28810/statm: 57981 56994 124 215 0 57763 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 231924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.08 CPU user time (s): 1799.46 CPU system time (s): 0.620905 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 231924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.620905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57179 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= 13 involuntary context switches= 3112 runsolver used 1.3108 second user time and 3.74543 second system time The end
Begin job on node27 on Sun Apr 15 00:34:24 UTC 2007 IDJOB= 351362 IDBENCH= 1737 IDSOLVER= 156 FILE ID= node27/351362-1176597264 PBS_JOBID= 4556975 Free space on /tmp= 66562 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell3a.opb COMMAND LINE= /tmp/evaluation/351362-1176597264/minisat+ /tmp/evaluation/351362-1176597264/instance-351362-1176597264.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node27/convwatcher-351362-1176597264 -o ROOT/results/node27/conversion-351362-1176597264 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351362-1176597264/instance-351362-1176597264.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-351362-1176597264 -o ROOT/results/node27/solver-351362-1176597264 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351362-1176597264/minisat+ /tmp/evaluation/351362-1176597264/instance-351362-1176597264.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 959ce68b75ceb21d2cb97576331899fc RANDOM SEED= 390589637 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.213 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 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.213 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1764656 kB Buffers: 28056 kB Cached: 156904 kB SwapCached: 0 kB Active: 62412 kB Inactive: 138696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1764656 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2408 kB Writeback: 0 kB Mapped: 25944 kB Slab: 76164 kB Committed_AS: 705932 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node27 on Sun Apr 15 01:04:27 UTC 2007