Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-smodels 1.31 | SAT (TO) | 25843 | 1800.95 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24674 |
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 | 24674 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
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 10.69 o 31814 10.78 o 30050 10.83 o 29787 10.94 o 29142 16.43 o 27835 16.50 o 27508 178.26 o 27329 178.30 o 26461 1070.11 o 26382 1510.07 o 26306 1545.13 o 26173 1591.08 o 25843 1801.25 sh: line 1: 29442 Done pb2smodels ROOT/tmp/node44/45663-1154042205/instance-45663-1154042205.opb ROOT/tmp/node44/45663-1154042205 1801.25 29443 Terminated | smodels-2.31 0 -seed 859666065 1801.25 29444 Terminated | pbout.new.pl ROOT/tmp/node44/45663-1154042205/instance-45663-1154042205.opb ROOT/tmp/node44/45663-1154042205 1801.25 s SATISFIABLE 1801.25 v x362 x364 x365 x366 x371 x377 x381 x389 x394 x396 x397 x398 x402 x407 x415 x417 x424 x426 x432 x433 x435 x438 x443 x448 x453 x456 1801.25 v x463 x467 x469 x475 x478 x484 x490 x493 x499 x502 x503 x506 x515 x520 x525 x527 x531 x538 x539 x540 x326 x111 x292 x5 x258 x223 1801.25 v x45 x118 x263 x300 x193 x158 x88 x233 x18 x55 x20 x273 x203 x240 x169 x98 x315 x352 x138 x103 x212 x357 x178 x71 x8 x80 x152 x188 1801.25 v x332 x51 x123 x267 x303 x339 x94 x130 x166 x310 x346 x29 x65 x209 x245 x281 x36 x144 x252 x288 x324 x37 x73 x145 x181 x217 -x361 1801.25 v -x363 -x367 -x368 -x369 -x370 -x372 -x373 -x374 -x375 -x376 -x378 -x379 -x380 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x390 1801.25 v -x391 -x392 -x393 -x395 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x416 -x418 -x419 1801.25 v -x420 -x421 -x422 -x423 -x425 -x427 -x428 -x429 -x430 -x431 -x434 -x436 -x437 -x439 -x440 -x441 -x442 -x444 -x445 -x446 -x447 1801.25 v -x449 -x450 -x451 -x452 -x454 -x455 -x457 -x458 -x459 -x460 -x461 -x462 -x464 -x465 -x466 -x468 -x470 -x471 -x472 -x473 -x474 1801.25 v -x476 -x477 -x479 -x480 -x481 -x482 -x483 -x485 -x486 -x487 -x488 -x489 -x491 -x492 -x494 -x495 -x496 -x497 -x498 -x500 -x501 1801.25 v -x504 -x505 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x516 -x517 -x518 -x519 -x521 -x522 -x523 -x524 -x526 -x528 -x529 1801.25 v -x530 -x532 -x533 -x534 -x535 -x536 -x537 -x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x3 -x39 -x75 -x147 -x183 -x219 1801.25 v -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 -x256 -x328 -x41 -x77 -x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 1801.25 v -x42 -x78 -x114 -x150 -x186 -x222 -x294 -x330 -x7 -x43 -x79 -x115 -x151 -x187 -x259 -x295 -x331 -x9 -x81 -x117 -x153 -x189 1801.25 v -x225 -x261 -x297 -x333 -x10 -x46 -x82 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x299 -x335 1801.25 v -x12 -x48 -x84 -x120 -x156 -x192 -x228 -x264 -x336 -x13 -x49 -x85 -x121 -x157 -x229 -x265 -x301 -x337 -x14 -x50 -x86 -x122 1801.25 v -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x124 -x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 -x197 -x269 -x305 1801.25 v -x341 -x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x91 -x127 -x163 -x199 -x235 -x271 -x307 -x343 -x56 -x92 -x128 1801.25 v -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x309 -x345 -x23 -x59 -x95 -x131 -x167 -x239 -x275 1801.25 v -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x205 -x241 -x277 -x313 -x349 -x26 -x62 1801.25 v -x134 -x170 -x206 -x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 -x351 -x28 -x64 -x100 -x136 -x172 -x208 1801.25 v -x244 -x280 -x316 -x30 -x66 -x102 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x139 -x175 -x211 -x247 -x283 -x319 -x355 1801.25 v -x32 -x68 -x104 -x140 -x176 -x248 -x284 -x320 -x356 -x33 -x69 -x105 -x141 -x177 -x213 -x249 -x285 -x321 -x34 -x70 -x106 -x142 1801.25 v -x214 -x250 -x286 -x322 -x358 -x35 -x107 -x143 -x179 -x215 -x251 -x287 -x323 -x359 -x44 -x116 -x224 -x260 -x296 -x15 -x87 1801.25 v -x159 -x195 -x231 -x22 -x58 -x202 -x238 -x274 -x101 -x137 -x173 -x317 -x353 -x72 -x108 -x180 -x216 -x360 -x1 -x109 -x253 -x289 1801.25 v -x325
OK 25843
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/node44/watcher-45663-1154042205 -o ROOT/results/node44/solver-45663-1154042205 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node44/45663-1154042205/instance-45663-1154042205.opb 859666065 ROOT/tmp/node44/45663-1154042205 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.98 0.99 2/64 29439 /proc/meminfo: memFree=1242824/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=2504 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) R 29439 29439 29390 0 -1 4194304 44 0 0 0 0 0 0 0 20 0 1 0 151091381 2564096 26 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264837854601 0 0 4096 0 0 0 0 17 1 0 0 /proc/29440/statm: 626 26 19 3 0 5 0 [startup+10.0017 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240168/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=9.81 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 553 0 0 0 981 0 0 0 25 0 1 0 151091382 3579904 517 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134519951 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 517 211 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 429 0 0 0 0 0 0 0 15 0 1 0 151091382 12562432 389 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 389 301 3 0 167 0 Current children cumulated CPU time (s) 10.16 Current children cumulated vsize (Kb) 38748 [startup+20.0087 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240232/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=19.82 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 558 0 0 0 1982 0 0 0 25 0 1 0 151091382 3579904 522 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553538 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 522 214 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 20.17 Current children cumulated vsize (Kb) 38748 [startup+30.0148 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240232/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=29.82 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 559 0 0 0 2982 0 0 0 25 0 1 0 151091382 3579904 523 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553417 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 523 214 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 30.17 Current children cumulated vsize (Kb) 38748 [startup+40.0208 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240296/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=39.82 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 561 0 0 0 3982 0 0 0 25 0 1 0 151091382 3579904 525 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550845 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 525 214 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 40.17 Current children cumulated vsize (Kb) 38748 [startup+50.0278 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240296/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=49.82 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 561 0 0 0 4982 0 0 0 25 0 1 0 151091382 3579904 525 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532887 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 525 214 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 50.17 Current children cumulated vsize (Kb) 38748 [startup+60.0349 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240360/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=59.83 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 562 0 0 0 5983 0 0 0 25 0 1 0 151091382 3579904 526 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553465 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 526 214 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 60.18 Current children cumulated vsize (Kb) 38748 [startup+70.0409 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240360/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=69.83 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 562 0 0 0 6983 0 0 0 25 0 1 0 151091382 3579904 526 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539767 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 526 214 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 70.18 Current children cumulated vsize (Kb) 38748 [startup+80.047 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240296/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3496 CPUtime=79.83 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 564 0 0 0 7983 0 0 0 25 0 1 0 151091382 3579904 528 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134533271 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 874 528 214 21 0 310 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 80.18 Current children cumulated vsize (Kb) 38748 [startup+90.053 s] /proc/loadavg: 1.00 0.98 0.99 2/68 29444 /proc/meminfo: memFree=1240296/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 ################ # More data... # ################ [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1793.51 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 179350 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539768 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1793.86 Current children cumulated vsize (Kb) 38880 [startup+1795.21 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1794.51 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 179450 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134551077 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1794.86 Current children cumulated vsize (Kb) 38880 [startup+1796.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1795.52 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 179551 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1795.87 Current children cumulated vsize (Kb) 38880 [startup+1797.22 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1796.52 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 179651 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553426 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (Kb) 38880 [startup+1798.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1797.53 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 179752 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134532935 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1797.88 Current children cumulated vsize (Kb) 38880 [startup+1799.23 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1798.53 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 179852 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134553381 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1798.88 Current children cumulated vsize (Kb) 38880 [startup+1800.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1799.54 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 179953 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134550737 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1799.89 Current children cumulated vsize (Kb) 38880 [startup+1801.24 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1800.54 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 180053 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134538369 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1800.89 Current children cumulated vsize (Kb) 38880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 1.00 1.00 1.00 2/68 29446 /proc/meminfo: memFree=1239848/2055920 swapFree=4183100/4192956 [pid=29439] ppid=29437 vsize=5360 CPUtime=0 /proc/29439/stat : 29439 (runpbsmodels) S 29437 29439 29390 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 151091381 5488640 234 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29439/statm: 1340 234 195 169 0 51 0 [pid=29440] ppid=29439 vsize=12268 CPUtime=0 /proc/29440/stat : 29440 (pbsmodels-v1.31) S 29439 29439 29390 0 -1 4194304 425 0 0 0 0 0 0 0 18 0 1 0 151091381 12562432 383 18446744073709551615 4194304 4206940 548682069024 18446744073709551615 264849375124 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/29440/statm: 3067 383 293 3 0 167 0 [pid=29441] ppid=29440 vsize=5356 CPUtime=0.35 /proc/29441/stat : 29441 (sh) S 29440 29439 29390 0 -1 4194304 309 531 0 0 0 0 35 0 15 0 1 0 151091382 5484544 227 18446744073709551615 4194304 4889804 548682069040 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/29441/statm: 1339 227 188 169 0 50 0 [pid=29443] ppid=29441 vsize=3628 CPUtime=1800.55 /proc/29443/stat : 29443 (smodels-2.31) R 29441 29439 29390 0 -1 4194304 582 0 0 0 180054 1 0 0 25 0 1 0 151091382 3715072 546 18446744073709551615 134512640 134599567 4294956656 18446744073709551615 134539729 0 0 4096 0 0 0 0 17 1 0 0 /proc/29443/statm: 907 546 214 21 0 343 0 [pid=29444] ppid=29441 vsize=12268 CPUtime=0 /proc/29444/stat : 29444 (pbout.new.pl) S 29441 29439 29390 0 -1 4194304 465 0 0 0 0 0 0 0 16 0 1 0 151091382 12562432 425 18446744073709551615 4194304 4206940 548682069056 18446744073709551615 264849371234 0 0 4224 0 18446744071563648864 0 0 17 0 0 0 /proc/29444/statm: 3067 425 333 3 0 167 0 Current children cumulated CPU time (s) 1800.9 Current children cumulated vsize (Kb) 38880 Sending SIGTERM to process tree (bottom up) Child status: 0 Real time (s): 1801.27 CPU time (s): 1800.95 CPU user time (s): 1800.91 CPU system time (s): 0.039993 CPU usage (%): 99.9822 Max. virtual memory (cumulated for all children) (Kb): 38880 The end
Begin job on node44 on Thu Jul 27 23:16:45 UTC 2006 FILE ID= 45663-1154042205 PBS_JOBID= 881365 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node44/45663-1154042205/instance-45663-1154042205.opb 859666065 ROOT/tmp/node44/45663-1154042205 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-45663-1154042205 -o ROOT/results/node44/solver-45663-1154042205 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user4/pbsmodels-v1.31/runpbsmodels ROOT/tmp/node44/45663-1154042205/instance-45663-1154042205.opb 859666065 ROOT/tmp/node44/45663-1154042205 MD5SUM SOLVER= 95562bc622ddb1f976359072aec5ad24 7fcd858753252b26b88f3383e979819a c732bc4c3aeda9195daa74a308a1f78e b7e54d975d35ab28450b6de5c14d303e f7da3270b2cd5190fa0cd9af9b854ca4 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED= 859666065 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.238 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.238 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: 1243032 kB Buffers: 27908 kB Cached: 728384 kB SwapCached: 3540 kB Active: 271764 kB Inactive: 493076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1243032 kB SwapTotal: 4192956 kB SwapFree: 4183100 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14476 kB Slab: 34020 kB Committed_AS: 609396 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Thu Jul 27 23:46:46 UTC 2006