Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | ? (TO) | 1802 | 1802.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb |
MD5SUM | 81f6ac40aa7d3bed7fd7ce8f56c34d18 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 254.249 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 185520 |
Total number of constraints | 404 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 404 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 185520 |
Number of terms in the objective function | 185520 |
Biggest coefficient in the objective function | 43 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 686424 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 686424 |
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 |
1800.05/1800.62 c Somebody sent me a SIGTERM 1800.05/1800.62 s UNKNOWN 1800.05/1800.63 pb2clasp1: no process killed 1800.05/1800.64 clasp-1.0: no process killed 811.67/1802.63 sh: line 1: 3680 Done cat /tmp/evaluation/351152-1176583441/temp/instance-351152-1176583441.opb.op 811.67/1802.63 3681 Killed | clasp-1.0 --trans=no >/tmp/evaluation/351152-1176583441/temp/instance-351152-1176583441.opb.clasp
ERROR: no interpretation found !
/tmp/evaluation/351152-1176583441/instance-351152-1176583441.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-351152-1176583441 -o ROOT/results/node29/solver-351152-1176583441 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351152-1176583441.opb /tmp/evaluation/351152-1176583441/temp Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.07 1.08 3/77 3470 /proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=12268 CPUtime=0 /proc/3470/stat : 3470 (pbclasp) D 3468 3470 6180 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 106259870 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780867685 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/3470/statm: 3067 317 242 3 0 167 0 [startup+0.011279 s] /proc/loadavg: 0.95 1.07 1.08 3/77 3470 /proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=12532 CPUtime=0 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 487 0 0 0 0 0 0 0 18 0 1 0 106259870 12832768 453 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780546273 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 3133 454 314 3 0 233 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12532 [startup+0.101285 s] /proc/loadavg: 0.95 1.07 1.08 3/77 3470 /proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=16448 CPUtime=0.09 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 1487 0 0 0 9 0 0 0 18 0 1 0 106259870 16842752 1453 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780546273 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 4112 1453 314 3 0 1212 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16448 [startup+0.301298 s] /proc/loadavg: 0.95 1.07 1.08 3/77 3470 /proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=30536 CPUtime=0.29 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 11219 0 0 0 24 5 0 0 19 0 1 0 106259870 31268864 4509 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780910297 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7634 4509 320 3 0 4734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 30536 [startup+0.701321 s] /proc/loadavg: 0.95 1.07 1.08 3/77 3470 /proc/meminfo: memFree=1503048/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=30536 CPUtime=0.69 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 31687 0 0 0 57 12 0 0 22 0 1 0 106259870 31268864 4985 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733838 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7634 4985 320 3 0 4734 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30536 [startup+1.50137 s] /proc/loadavg: 0.95 1.07 1.08 2/78 3471 /proc/meminfo: memFree=1485504/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=30536 CPUtime=1.49 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 72623 0 0 0 120 29 0 0 25 0 1 0 106259870 31268864 4985 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579866 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7634 4985 320 3 0 4734 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30536 [startup+3.10148 s] /proc/loadavg: 0.95 1.07 1.08 2/78 3471 /proc/meminfo: memFree=1484736/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=30532 CPUtime=3.09 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 154431 0 0 0 246 63 0 0 25 0 1 0 106259870 31264768 4984 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579898 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7633 4984 320 3 0 4733 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30532 [startup+6.30167 s] /proc/loadavg: 0.95 1.07 1.08 2/78 3471 /proc/meminfo: memFree=1484488/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=30532 CPUtime=6.29 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 319256 0 0 0 497 132 0 0 25 0 1 0 106259870 31264768 4984 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580184 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7633 4984 320 3 0 4733 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30532 [startup+12.7011 s] /proc/loadavg: 0.95 1.07 1.08 2/78 3471 /proc/meminfo: memFree=1485616/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=30656 CPUtime=12.68 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 649384 0 0 0 999 269 0 0 25 0 1 0 106259870 31391744 5008 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7664 5008 320 3 0 4764 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30656 [startup+25.5019 s] /proc/loadavg: 0.96 1.06 1.08 2/78 3471 /proc/meminfo: memFree=1484684/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=30904 CPUtime=25.47 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 1303713 0 0 0 2007 540 0 0 25 0 1 0 106259870 31645696 4833 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7726 4839 320 3 0 4826 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 30904 [startup+51.1015 s] /proc/loadavg: 0.97 1.06 1.07 2/78 3471 /proc/meminfo: memFree=1484784/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=31328 CPUtime=51.08 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 2617205 0 0 0 4005 1103 0 0 25 0 1 0 106259870 32079872 5173 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579874 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 7832 5173 320 3 0 4932 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31328 [startup+102.306 s] /proc/loadavg: 0.99 1.05 1.07 2/78 3471 /proc/meminfo: memFree=1483184/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=32328 CPUtime=102.26 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 5237386 0 0 0 8017 2209 0 0 25 0 1 0 106259870 33103872 5161 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 8082 5168 320 3 0 5182 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 32328 [startup+162.301 s] /proc/loadavg: 0.99 1.03 1.06 2/78 3471 /proc/meminfo: memFree=1481776/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=33828 CPUtime=162.25 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 8313689 0 0 0 12728 3497 0 0 25 0 1 0 106259870 34639872 5362 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780910297 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 8457 5362 320 3 0 5557 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 33828 [startup+222.301 s] /proc/loadavg: 0.99 1.03 1.06 2/78 3471 /proc/meminfo: memFree=1481456/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=34936 CPUtime=222.23 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 11398439 0 0 0 17450 4773 0 0 25 0 1 0 106259870 35774464 5889 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 8734 5897 320 3 0 5834 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 34936 [startup+282.302 s] /proc/loadavg: 0.99 1.02 1.05 2/78 3471 /proc/meminfo: memFree=1479536/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=36952 CPUtime=282.22 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 14497378 0 0 0 22160 6062 0 0 25 0 1 0 106259870 37838848 6570 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579890 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 9238 6570 320 3 0 6338 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 36952 [startup+342.302 s] /proc/loadavg: 0.99 1.01 1.04 2/78 3471 /proc/meminfo: memFree=1478128/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=38064 CPUtime=342.2 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 17607062 0 0 0 26854 7366 0 0 25 0 1 0 106259870 38977536 6840 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733838 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 9516 6840 320 3 0 6616 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 38064 [startup+402.301 s] /proc/loadavg: 0.99 1.01 1.04 2/78 3471 /proc/meminfo: memFree=1476080/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=39432 CPUtime=402.19 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 20723451 0 0 0 31543 8676 0 0 25 0 1 0 106259870 40378368 7190 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794733832 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 9858 7190 320 3 0 6958 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 39432 [startup+462.301 s] /proc/loadavg: 1.07 1.02 1.04 2/78 3471 /proc/meminfo: memFree=1474544/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=40924 CPUtime=462.17 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 23857578 0 0 0 36220 9997 0 0 25 0 1 0 106259870 41906176 7564 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580127 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 10231 7564 320 3 0 7331 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 40924 [startup+522.302 s] /proc/loadavg: 1.03 1.01 1.03 2/78 3471 /proc/meminfo: memFree=1471536/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=43948 CPUtime=522.16 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 27025922 0 0 0 40868 11348 0 0 25 0 1 0 106259870 45002752 8322 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580176 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 10987 8322 320 3 0 8087 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 43948 [startup+582.302 s] /proc/loadavg: 1.01 1.01 1.03 2/78 3471 /proc/meminfo: memFree=1470960/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=45424 CPUtime=582.15 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 30258399 0 0 0 45505 12710 0 0 25 0 1 0 106259870 46514176 8668 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780579754 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 11356 8675 320 3 0 8456 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 45424 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.02 2/78 3471 /proc/meminfo: memFree=1467952/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=47540 CPUtime=642.13 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 33625457 0 0 0 50128 14085 0 0 25 0 1 0 106259870 48680960 9201 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221780580176 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 11885 9201 320 3 0 8985 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 47540 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1416032/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=64284 CPUtime=809.7 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/3470/statm: 16071 13401 324 3 0 13171 0 [pid=3472] ppid=3470 vsize=5352 CPUtime=0 /proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/3472/statm: 1338 229 193 169 0 49 0 [pid=3473] ppid=3472 vsize=44920 CPUtime=792.09 /proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 43670516 0 0 0 61498 17711 0 0 25 0 1 0 106340862 45998080 8594 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579754 0 0 4224 0 0 0 0 17 1 0 0 /proc/3473/statm: 11230 8594 340 3 0 8330 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 114556 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1393440/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=64284 CPUtime=809.7 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/3470/statm: 16071 13401 324 3 0 13171 0 [pid=3472] ppid=3470 vsize=5352 CPUtime=0 /proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/3472/statm: 1338 229 193 169 0 49 0 [pid=3473] ppid=3472 vsize=64112 CPUtime=852.08 /proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 47312416 0 0 0 66186 19022 0 0 25 0 1 0 106340862 65650688 13193 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579754 0 0 4224 0 0 0 0 17 1 0 0 /proc/3473/statm: 16028 13196 340 3 0 13128 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 133748 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1393632/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=64284 CPUtime=809.7 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/3470/statm: 16071 13401 324 3 0 13171 0 [pid=3472] ppid=3470 vsize=5352 CPUtime=0 /proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/3472/statm: 1338 229 193 169 0 49 0 [pid=3473] ppid=3472 vsize=63948 CPUtime=912.06 /proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 50866519 0 0 0 70838 20368 0 0 25 0 1 0 106340862 65482752 13324 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780580204 0 0 4224 0 0 0 0 17 1 0 0 /proc/3473/statm: 15987 13324 340 3 0 13087 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 133584 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1394208/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=64284 CPUtime=809.7 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/3470/statm: 16071 13401 324 3 0 13171 0 [pid=3472] ppid=3470 vsize=5352 CPUtime=0 /proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/3472/statm: 1338 229 193 169 0 49 0 [pid=3473] ppid=3472 vsize=63756 CPUtime=972.05 /proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 54740856 0 0 0 75493 21712 0 0 25 0 1 0 106340862 65286144 13276 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579874 0 0 4224 0 0 0 0 17 1 0 0 /proc/3473/statm: 15939 13276 340 3 0 13039 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 133392 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=64284 CPUtime=809.7 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/3470/statm: 16071 13401 324 3 0 13171 0 [pid=3472] ppid=3470 vsize=5352 CPUtime=0 /proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/3472/statm: 1338 229 193 169 0 49 0 [pid=3473] ppid=3472 vsize=63672 CPUtime=990.35 /proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 56038012 0 0 0 76874 22161 0 0 25 0 1 0 106340862 65200128 13255 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579882 0 0 4224 0 0 0 0 17 1 0 0 /proc/3473/statm: 15918 13255 340 3 0 13018 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 133308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=64284 CPUtime=809.7 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44801672 0 0 0 62809 18161 0 0 16 0 1 0 106259870 65826816 13401 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789597794 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/3470/statm: 16071 13401 324 3 0 13171 0 [pid=3472] ppid=3470 vsize=5352 CPUtime=0 /proc/3472/stat : 3472 (sh) S 3470 3470 6180 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 106340861 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/3472/statm: 1338 229 193 169 0 49 0 [pid=3473] ppid=3472 vsize=63672 CPUtime=990.35 /proc/3473/stat : 3473 (pb2clasp1) R 3472 3470 6180 0 -1 4194304 56038012 0 0 0 76874 22161 0 0 25 0 1 0 106340862 65200128 13255 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 221780579882 0 0 4224 0 0 0 0 17 1 0 0 /proc/3473/statm: 15918 13255 340 3 0 13018 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 133308 # WARNING: # current cumulated CPU time (809.8 s) is less than in the last sample (1800.05 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (990.25 s) to the 'lost time'. [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=66924 CPUtime=809.8 /proc/3470/stat : 3470 (pbclasp) R 3468 3470 6180 0 -1 4194304 44803328 724 0 0 62817 18162 0 1 17 0 1 0 106259870 68530176 14069 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221794413753 0 0 4224 16384 0 0 0 17 1 0 0 /proc/3470/statm: 16731 14070 342 3 0 13831 0 Current children cumulated CPU time (s) 809.8 Current children cumulated vsize (KiB) 66924 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/80 3671 /proc/meminfo: memFree=1393888/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=80652 CPUtime=810.37 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44811894 1528 0 0 62864 18167 0 6 17 0 1 0 106259870 82587648 17500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/3470/statm: 20163 17500 343 3 0 17263 0 Current children cumulated CPU time (s) 810.37 Current children cumulated vsize (KiB) 80652 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/82 3681 /proc/meminfo: memFree=1406536/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=80652 CPUtime=810.37 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44811894 1528 0 0 62864 18167 0 6 17 0 1 0 106259870 82587648 17500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/3470/statm: 20163 17500 343 3 0 17263 0 [pid=3679] ppid=3470 vsize=5352 CPUtime=0 /proc/3679/stat : 3679 (sh) S 3470 3470 6180 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 106439998 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3679/statm: 1338 224 188 169 0 49 0 [pid=3680] ppid=3679 vsize=2520 CPUtime=0.01 /proc/3680/stat : 3680 (cat) S 3679 3470 6180 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 106439999 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 221780869346 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/3680/statm: 630 87 71 4 0 42 0 [pid=3681] ppid=3679 vsize=19200 CPUtime=0.89 /proc/3681/stat : 3681 (clasp-1.0) R 3679 3470 6180 0 -1 4194304 6045 0 0 0 86 3 0 0 25 0 1 0 106439999 19660800 4296 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160563217 0 0 4096 0 0 0 0 17 1 0 0 /proc/3681/statm: 4800 4296 230 81 0 4174 0 Current children cumulated CPU time (s) 811.27 Current children cumulated vsize (KiB) 107724 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/82 3681 /proc/meminfo: memFree=1406536/2055920 swapFree=4192812/4192956 [pid=3470] ppid=3468 vsize=80652 CPUtime=810.37 /proc/3470/stat : 3470 (pbclasp) S 3468 3470 6180 0 -1 4194304 44811894 1528 0 0 62864 18167 0 6 17 0 1 0 106259870 82587648 17500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 221789601684 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/3470/statm: 20163 17500 343 3 0 17263 0 [pid=3679] ppid=3470 vsize=5352 CPUtime=0 /proc/3679/stat : 3679 (sh) S 3470 3470 6180 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 106439998 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/3679/statm: 1338 224 188 169 0 49 0 [pid=3680] ppid=3679 vsize=2520 CPUtime=0.01 /proc/3680/stat : 3680 (cat) S 3679 3470 6180 0 -1 4194304 119 0 0 0 0 1 0 0 15 0 1 0 106439999 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 221780869346 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/3680/statm: 630 87 71 4 0 42 0 [pid=3681] ppid=3679 vsize=22316 CPUtime=1.29 /proc/3681/stat : 3681 (clasp-1.0) R 3679 3470 6180 0 -1 4194304 8227 0 0 0 125 4 0 0 25 0 1 0 106439999 22851584 5077 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 4160243967 0 0 4096 0 0 0 0 17 1 0 0 /proc/3681/statm: 5579 5077 230 81 0 4953 0 Current children cumulated CPU time (s) 811.67 Current children cumulated vsize (KiB) 110840 Child ended because it received signal 9 (SIGKILL) # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 990.25 # lost CPU user time (s): 768.66 # lost CPU system time (s): 221.59 Real time (s): 1802.65 CPU time (s): 1802 CPU user time (s): 1398.59 CPU system time (s): 403.408 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 134284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 629.927 system time used= 181.818 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44824045 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1770 involuntary context switches= 2229 runsolver used 1.67874 second user time and 4.89326 second system time The end
Begin job on node29 on Sat Apr 14 20:44:01 UTC 2007 IDJOB= 351152 IDBENCH= 1674 IDSOLVER= 167 FILE ID= node29/351152-1176583441 PBS_JOBID= 4556968 Free space on /tmp= 66551 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-d6cube.opb COMMAND LINE= pbclasp instance-351152-1176583441.opb /tmp/evaluation/351152-1176583441/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-351152-1176583441 -o ROOT/results/node29/conversion-351152-1176583441 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351152-1176583441/instance-351152-1176583441.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-351152-1176583441 -o ROOT/results/node29/solver-351152-1176583441 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351152-1176583441.opb /tmp/evaluation/351152-1176583441/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 81f6ac40aa7d3bed7fd7ce8f56c34d18 RANDOM SEED= 512707337 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.224 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.224 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: 1503584 kB Buffers: 58468 kB Cached: 322060 kB SwapCached: 0 kB Active: 116664 kB Inactive: 325412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1503584 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 14400 kB Writeback: 0 kB Mapped: 79772 kB Slab: 95740 kB Committed_AS: 613196 kB PageTables: 1884 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66538 MiB End job on node29 on Sat Apr 14 21:14:04 UTC 2007