Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | ? (TO) | 1800.73 | 1801.33 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb |
MD5SUM | 51e821dd343df6d9e97b4cdfcd83ec3f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1621 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1496 |
Optimality of the best value was proved | NO |
Number of variables | 1996 |
Total number of constraints | 134 |
Number of constraints which are clauses | 18 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1527 |
Biggest coefficient in the objective function | 22700 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525423 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525423 |
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 c Running pbsmodels-v1.31 1801.30 sh: line 1: 372 Done pb2smodels ROOT/tmp/node13/45381-1154032848/instance-45381-1154032848.opb ROOT/tmp/node13/45381-1154032848 1801.30 373 Terminated | smodels-2.31 0 -seed 559384366 1801.30 374 Terminated | pbout.new.pl ROOT/tmp/node13/45381-1154032848/instance-45381-1154032848.opb ROOT/tmp/node13/45381-1154032848 1801.31 s UNKNOWN 1801.32 c Somebody sent me a SIGTERM 1801.32 smodels-2.31: no process killed 1801.33 pb2smodels: no process killed
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node13/watcher-45381-1154032848 -o ROOT/results/node13/solver-45381-1154032848 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node13/45381-1154032848/instance-45381-1154032848.opb 559384366 ROOT/tmp/node13/45381-1154032848 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.99 3/64 369 /proc/meminfo: memFree=1605760/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=3672 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) R 369 369 320 0 -1 4194304 56 0 0 0 0 0 0 0 19 0 1 0 150145689 3760128 38 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269754627465 0 0 4096 0 0 0 0 17 1 0 0 /proc/370/statm: 1177 40 31 3 0 8 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.97 0.99 2/68 374 /proc/meminfo: memFree=1603104/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3496 CPUtime=9.93 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 556 0 0 0 993 0 0 0 25 0 1 0 150145690 3579904 520 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558241 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 874 520 211 21 0 310 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.03 Current children cumulated vsize (Kb) 38748 [startup+20.0101 s] /proc/loadavg: 0.94 0.97 0.99 2/68 374 /proc/meminfo: memFree=1603104/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3760 CPUtime=19.93 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 601 0 0 0 1993 0 0 0 25 0 1 0 150145690 3850240 565 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553507 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 940 565 211 21 0 376 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 20.03 Current children cumulated vsize (Kb) 39012 [startup+30.0174 s] /proc/loadavg: 0.95 0.97 0.99 2/68 374 /proc/meminfo: memFree=1603104/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3760 CPUtime=29.94 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 608 0 0 0 2994 0 0 0 25 0 1 0 150145690 3850240 572 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558192 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 940 572 211 21 0 376 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 30.04 Current children cumulated vsize (Kb) 39012 [startup+40.0238 s] /proc/loadavg: 0.96 0.97 0.99 2/68 374 /proc/meminfo: memFree=1603040/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3760 CPUtime=39.94 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 612 0 0 0 3994 0 0 0 25 0 1 0 150145690 3850240 576 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533121 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 940 576 211 21 0 376 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 40.04 Current children cumulated vsize (Kb) 39012 [startup+50.0301 s] /proc/loadavg: 0.96 0.97 0.99 2/68 374 /proc/meminfo: memFree=1603104/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3760 CPUtime=49.94 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 612 0 0 0 4994 0 0 0 25 0 1 0 150145690 3850240 576 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552211 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 940 576 211 21 0 376 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 50.04 Current children cumulated vsize (Kb) 39012 [startup+60.0364 s] /proc/loadavg: 0.97 0.97 0.99 2/68 375 /proc/meminfo: memFree=1603040/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3760 CPUtime=59.95 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 629 0 0 0 5995 0 0 0 25 0 1 0 150145690 3850240 593 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552033 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 940 593 211 21 0 376 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 60.05 Current children cumulated vsize (Kb) 39012 [startup+70.0438 s] /proc/loadavg: 0.97 0.97 0.99 2/68 376 /proc/meminfo: memFree=1602848/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3760 CPUtime=69.95 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 629 0 0 0 6995 0 0 0 25 0 1 0 150145690 3850240 593 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552125 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 940 593 211 21 0 376 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 70.05 Current children cumulated vsize (Kb) 39012 [startup+80.0511 s] /proc/loadavg: 0.98 0.97 0.99 2/68 376 /proc/meminfo: memFree=1602848/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=3892 CPUtime=79.95 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 654 0 0 0 7995 0 0 0 25 0 1 0 150145690 3985408 618 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519885 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 973 618 211 21 0 409 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 80.05 Current children cumulated vsize (Kb) 39144 [startup+90.0585 s] /proc/loadavg: 0.98 0.97 0.99 2/68 376 /proc/meminfo: memFree=1602848/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 179358 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553209 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1793.69 Current children cumulated vsize (Kb) 39540 [startup+1795.27 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1794.59 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 179458 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134558032 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (Kb) 39540 [startup+1796.27 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1795.6 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 179559 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520943 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1795.7 Current children cumulated vsize (Kb) 39540 [startup+1797.28 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1796.6 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 179659 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532732 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 39540 [startup+1798.28 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1797.61 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 179760 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553320 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (Kb) 39540 [startup+1799.29 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1798.61 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 179860 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550736 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (Kb) 39540 [startup+1800.29 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1799.62 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 179961 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552139 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (Kb) 39540 [startup+1801.3 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1800.62 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 180061 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552037 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 39540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.3 s] /proc/loadavg: 0.99 0.97 0.99 2/68 574 /proc/meminfo: memFree=1602152/2055920 swapFree=4175260/4192956 [pid=369] ppid=367 vsize=5360 CPUtime=0 /proc/369/stat : 369 (runpbsmodels) S 367 369 320 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 150145689 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/369/statm: 1340 234 195 169 0 51 0 [pid=370] ppid=369 vsize=12268 CPUtime=0 /proc/370/stat : 370 (pbsmodels-v1.31) S 369 369 320 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 150145689 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 269766147988 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/370/statm: 3067 383 293 3 0 167 0 [pid=371] ppid=370 vsize=5356 CPUtime=0.1 /proc/371/stat : 371 (sh) S 370 369 320 0 -1 4194304 309 625 0 0 0 0 10 0 16 0 1 0 150145690 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/371/statm: 1339 227 188 169 0 50 0 [pid=373] ppid=371 vsize=4288 CPUtime=1800.63 /proc/373/stat : 373 (smodels-2.31) R 371 369 320 0 -1 4194304 765 0 0 0 180062 1 0 0 25 0 1 0 150145690 4390912 729 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134552117 0 0 4096 0 0 0 0 17 1 0 0 /proc/373/statm: 1072 729 211 21 0 508 0 [pid=374] ppid=371 vsize=12268 CPUtime=0 /proc/374/stat : 374 (pbout.new.pl) S 371 369 320 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 150145690 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 269766144098 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/374/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (Kb) 39540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) !!! problem with CPU time !!! wait4(...,&childrusage) returns 369 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=1999 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=999 CPU time returned by wait4() is 0.002998 while last known CPU time is 1800.73 Solver probably didn't/couldn't wait for its children Using last known CPU time as value... Real time (s): 1801.33 CPU time (s): 1800.73 CPU user time (s): 1800.72 CPU system time (s): 0.01 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (Kb): 39540 The end
Begin job on node13 on Thu Jul 27 20:40:48 UTC 2006 FILE ID= 45381-1154032848 PBS_JOBID= 881022 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node13/45381-1154032848/instance-45381-1154032848.opb 559384366 ROOT/tmp/node13/45381-1154032848 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-45381-1154032848 -o ROOT/results/node13/solver-45381-1154032848 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node13/45381-1154032848/instance-45381-1154032848.opb 559384366 ROOT/tmp/node13/45381-1154032848 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 51e821dd343df6d9e97b4cdfcd83ec3f RANDOM SEED= 559384366 TIMEOUT= 1800 seconds /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.240 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 : 5914.62 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.240 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: 1606032 kB Buffers: 33088 kB Cached: 352608 kB SwapCached: 11356 kB Active: 115044 kB Inactive: 287132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1606032 kB SwapTotal: 4192956 kB SwapFree: 4175260 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14480 kB Slab: 33696 kB Committed_AS: 551848 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Thu Jul 27 21:10:49 UTC 2006