Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | ? (TO) | 1800.09 | 1799.29 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | 7d701b956113b6fc93a1922e71200e27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
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 | 2 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 4250 |
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 | 4250 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4250 |
Number of bits of the biggest sum of numbers | 13 |
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 1799.27 sh: line 1: 22118 Done pb2smodels ROOT/tmp/node11/45836-1154047871/instance-45836-1154047871.opb ROOT/tmp/node11/45836-1154047871 1799.27 22119 Terminated | smodels-2.31 0 -seed 864282056 1799.27 22120 Terminated | pbout.new.pl ROOT/tmp/node11/45836-1154047871/instance-45836-1154047871.opb ROOT/tmp/node11/45836-1154047871 1799.27 s UNKNOWN
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/node11/watcher-45836-1154047871 -o ROOT/results/node11/solver-45836-1154047871 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node11/45836-1154047871/instance-45836-1154047871.opb 864282056 ROOT/tmp/node11/45836-1154047871 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 22115 /proc/meminfo: memFree=1125100/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=6268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) R 22115 22115 22066 0 -1 4194304 65 0 0 0 0 0 0 0 20 0 1 0 151648179 6418432 47 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262907426185 0 0 4096 0 0 0 0 17 1 0 0 /proc/22116/statm: 1876 48 36 3 0 9 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114396/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=7.28 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 727 1 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 11.55 Current children cumulated vsize (Kb) 46856 [startup+20.0092 s] /proc/loadavg: 0.94 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114460/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=17.28 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 1727 1 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 21.55 Current children cumulated vsize (Kb) 46856 [startup+30.0162 s] /proc/loadavg: 0.95 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114524/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=27.28 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 2727 1 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538547 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 31.55 Current children cumulated vsize (Kb) 46856 [startup+40.0222 s] /proc/loadavg: 0.96 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114524/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=37.29 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 3727 2 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 41.56 Current children cumulated vsize (Kb) 46856 [startup+50.0292 s] /proc/loadavg: 0.96 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114524/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=47.29 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 4727 2 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533159 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 51.56 Current children cumulated vsize (Kb) 46856 [startup+60.0352 s] /proc/loadavg: 0.97 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114524/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=57.3 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 5728 2 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 61.57 Current children cumulated vsize (Kb) 46856 [startup+70.0422 s] /proc/loadavg: 0.97 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114588/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=67.3 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 6728 2 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 71.57 Current children cumulated vsize (Kb) 46856 [startup+80.0492 s] /proc/loadavg: 0.98 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114588/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11604 CPUtime=77.3 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2558 0 0 0 7728 2 0 0 25 0 1 0 151648180 11882496 2522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134520091 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2901 2522 210 21 0 2337 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 81.57 Current children cumulated vsize (Kb) 46856 [startup+90.0552 s] /proc/loadavg: 0.98 0.98 0.99 2/68 22120 /proc/meminfo: memFree=1114588/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 ################ # More data... # ################ [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1788.74 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 178864 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539761 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1793.01 Current children cumulated vsize (Kb) 46988 [startup+1793.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1789.74 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 178964 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1794.01 Current children cumulated vsize (Kb) 46988 [startup+1794.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1790.75 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 179065 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538368 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1795.02 Current children cumulated vsize (Kb) 46988 [startup+1795.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1791.75 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 179165 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539754 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (Kb) 46988 [startup+1796.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1792.76 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 179266 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (Kb) 46988 [startup+1797.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1793.76 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 179366 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533159 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1798.03 Current children cumulated vsize (Kb) 46988 [startup+1798.26 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1794.77 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 179467 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1799.04 Current children cumulated vsize (Kb) 46988 [startup+1799.26 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1795.77 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 179567 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532711 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (Kb) 46988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1799.27 s] /proc/loadavg: 1.00 1.00 1.00 2/68 22318 /proc/meminfo: memFree=1114148/2055920 swapFree=4183092/4192956 [pid=22115] ppid=22113 vsize=5360 CPUtime=0 /proc/22115/stat : 22115 (runpbsmodels) S 22113 22115 22066 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151648179 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22115/statm: 1340 234 195 169 0 51 0 [pid=22116] ppid=22115 vsize=12268 CPUtime=0 /proc/22116/stat : 22116 (pbsmodels-v1.31) S 22115 22115 22066 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151648179 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/22116/statm: 3067 383 293 3 0 167 0 [pid=22117] ppid=22116 vsize=5356 CPUtime=4.27 /proc/22117/stat : 22117 (sh) S 22116 22115 22066 0 -1 4194304 309 834 0 0 0 0 426 1 16 0 1 0 151648179 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/22117/statm: 1339 227 188 169 0 50 0 [pid=22119] ppid=22117 vsize=11736 CPUtime=1795.78 /proc/22119/stat : 22119 (smodels-2.31) R 22117 22115 22066 0 -1 4194304 2589 0 0 0 179568 10 0 0 25 0 1 0 151648180 12017664 2553 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/22119/statm: 2934 2553 210 21 0 2370 0 [pid=22120] ppid=22117 vsize=12268 CPUtime=0 /proc/22120/stat : 22120 (pbout.new.pl) S 22117 22115 22066 0 -1 4194304 429 0 0 0 0 0 0 0 16 0 1 0 151648180 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 262918942818 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/22120/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (Kb) 46988 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1799.29 CPU time (s): 1800.09 CPU user time (s): 1799.95 CPU system time (s): 0.135979 CPU usage (%): 100.044 Max. virtual memory (cumulated for all children) (Kb): 46988 The end
Begin job on node11 on Fri Jul 28 00:51:11 UTC 2006 FILE ID= 45836-1154047871 PBS_JOBID= 881711 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.17.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node11/45836-1154047871/instance-45836-1154047871.opb 864282056 ROOT/tmp/node11/45836-1154047871 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-45836-1154047871 -o ROOT/results/node11/solver-45836-1154047871 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node11/45836-1154047871/instance-45836-1154047871.opb 864282056 ROOT/tmp/node11/45836-1154047871 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= 7d701b956113b6fc93a1922e71200e27 RANDOM SEED= 864282056 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.256 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.256 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: 1125308 kB Buffers: 39416 kB Cached: 813340 kB SwapCached: 3772 kB Active: 191628 kB Inactive: 669796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1125308 kB SwapTotal: 4192956 kB SwapFree: 4183092 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14740 kB Slab: 55112 kB Committed_AS: 602392 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node11 on Fri Jul 28 01:21:10 UTC 2006