Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | SAT (TO) | 21 | 1801.93 | 1802.63 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
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 | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
8.65/8.76 o 30 19.95/20.02 o 29 67.24/67.37 o 28 81.44/81.59 o 27 149.21/149.33 o 26 285.76/285.93 o 25 412.32/412.59 o 24 629.35/629.63 o 23 1148.28/1148.74 o 22 1319.44/1319.94 o 21 1800.00/1800.62 c Somebody sent me a SIGTERM 1800.00/1800.62 s SATISFIABLE 1800.00/1800.62 v x1 x19 x40 x49 x60 x61 x62 x67 x79 x177 x201 x223 x251 x252 x253 x350 x426 x427 x428 x436 x700 x808 x809 x857 x866 x867 x1008 x1089 1800.00/1800.62 v x1272 x1281 x1319 x1320 x1329 x1377 x1379 x1381 x1382 x1384 x1386 x1396 x1410 x1417 x1431 x1433 x1436 x1445 x1452 x1459 x1487 1800.00/1800.62 v x1489 x1491 x1494 x1515 x1517 x1519 x1529 x1536 x1550 x1552 x1554 x1557 x1559 x1564 x1571 x1578 x1580 x1592 x1599 x1601 x1606 1800.00/1800.62 v x1613 x1616 x1802 x1838 x1898 x1958 x1967 x2006 x2015 x2067 x2068 x2069 x2070 x2072 x2082 x2103 x2105 x2107 x2110 x2131 x2133 1800.00/1800.62 v x2135 x2145 x2152 x2166 x2173 x2187 x2189 x2192 x2201 x2208 x2215 x2236 x2238 x2241 x2243 x2245 x2250 x2264 x2266 x2278 x2285 1800.00/1800.62 v x2287 x2647 x2705 x3491 x3492 x3510 x3546 x3547 x3549 x3559 x3587 x3629 x3657 x3713 x3755 x3783 x3797 x3799 x3802 x3825 x3839 1800.00/1800.62 v x3881 x3937 x3951 x3953 x3957 x3965 x4007 x4035 x4045 x4075 x4117 x4131 x4145 x4229 x4231 x4240 x4271 x4285 x4309 x4349 x4354 1800.00/1800.62 v x4355 x4389 x4399 x4404 x4409 x4412 x4414 x4444 x4459 x4464 x4465 x4529 x4532 x4604 x4606 x4634 x4676 x4684 x4874 x4883 x4910 1800.00/1800.62 v x4946 x4994 x5042 x5045 x5092 x5095 x5097 x5104 x5106 x5108 x5132 x5139 x5148 x5149 x5153 x5162 x5164 x5169 x5176 x5178 x5180 1800.00/1800.62 v x5190 x5203 x5204 x5206 x5214 x5221 x5228 x5230 x5232 x5259 x5266 x5273 x5287 x5290 x5292 x5299 x5301 x5306 x5313 x5320 x5344 1800.00/1800.62 v x5396 x5397 x5398 x5422 x5423 x5427 x5428 x5462 x5464 x5467 x5469 x5471 x5475 x5481 x5483 x5485 x5487 x5489 x5497 x5499 1800.00/1800.62 pb2clasp1: no process killed
OK 21
/tmp/evaluation/373123-1177168546/instance-373123-1177168546.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-373123-1177168546 -o ROOT/results/node11/solver-373123-1177168546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373123-1177168546.opb /tmp/evaluation/373123-1177168546/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: 1.00 1.00 1.00 3/77 30576 /proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12268 CPUtime=0 /proc/30576/stat : 30576 (pbclasp) R 30574 30576 29568 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 157903574 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262910212709 0 0 4224 0 0 0 0 17 1 0 0 /proc/30576/statm: 3067 317 242 3 0 167 0 [startup+0.035144 s] /proc/loadavg: 1.00 1.00 1.00 3/77 30576 /proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12668 CPUtime=0.01 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30576/statm: 3167 524 324 3 0 267 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12668 [startup+0.101149 s] /proc/loadavg: 1.00 1.00 1.00 3/77 30576 /proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12668 CPUtime=0.01 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30576/statm: 3167 524 324 3 0 267 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12668 [startup+0.301173 s] /proc/loadavg: 1.00 1.00 1.00 3/77 30576 /proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12668 CPUtime=0.01 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30576/statm: 3167 524 324 3 0 267 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12668 [startup+0.701219 s] /proc/loadavg: 1.00 1.00 1.00 3/77 30576 /proc/meminfo: memFree=1825144/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12668 CPUtime=0.01 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 572 0 0 0 1 0 0 0 16 0 1 0 157903574 12972032 524 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30576/statm: 3167 524 324 3 0 267 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12668 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30579 /proc/meminfo: memFree=1823008/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1.34 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 677 1634 0 0 1 0 132 1 17 0 1 0 157903574 13107200 557 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 557 343 3 0 300 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 12800 [startup+3.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/81 30586 /proc/meminfo: memFree=1808280/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1.34 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 677 1634 0 0 1 0 132 1 17 0 1 0 157903574 13107200 557 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 557 343 3 0 300 0 [pid=30584] ppid=30576 vsize=5356 CPUtime=0 /proc/30584/stat : 30584 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 157903711 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30584/statm: 1339 225 188 169 0 50 0 [pid=30586] ppid=30584 vsize=32984 CPUtime=1.71 /proc/30586/stat : 30586 (clasp) R 30584 30576 29568 0 -1 4194304 8706 0 0 0 168 3 0 0 25 0 1 0 157903711 33775616 7651 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0 /proc/30586/statm: 8246 7651 196 154 0 7716 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 51140 [startup+6.30288 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30586 /proc/meminfo: memFree=1792288/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1.34 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 677 1634 0 0 1 0 132 1 17 0 1 0 157903574 13107200 557 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 557 343 3 0 300 0 [pid=30584] ppid=30576 vsize=5356 CPUtime=0 /proc/30584/stat : 30584 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 157903711 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30584/statm: 1339 225 188 169 0 50 0 [pid=30586] ppid=30584 vsize=32984 CPUtime=4.91 /proc/30586/stat : 30586 (clasp) R 30584 30576 29568 0 -1 4194304 8737 0 0 0 488 3 0 0 25 0 1 0 157903711 33775616 7682 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134741266 0 0 4096 0 0 0 0 17 1 0 0 /proc/30586/statm: 8246 7682 196 154 0 7716 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 51140 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30594 /proc/meminfo: memFree=1778848/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=8.74 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 818 11765 0 0 1 0 866 7 16 0 1 0 157903574 13107200 562 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30576/statm: 3200 562 343 3 0 300 0 [pid=30592] ppid=30576 vsize=5356 CPUtime=0 /proc/30592/stat : 30592 (sh) S 30576 30576 29568 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 157904452 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30592/statm: 1339 225 188 169 0 50 0 [pid=30594] ppid=30592 vsize=46852 CPUtime=3.9 /proc/30594/stat : 30594 (clasp) R 30592 30576 29568 0 -1 4194304 13298 0 0 0 386 4 0 0 25 0 1 0 157904452 47976448 11007 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134768773 0 0 4096 0 0 0 0 17 1 0 0 /proc/30594/statm: 11713 11007 196 154 0 11183 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 65008 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30602 /proc/meminfo: memFree=1779552/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=20.01 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 955 26469 0 0 1 1 1984 15 17 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30600] ppid=30576 vsize=5356 CPUtime=0 /proc/30600/stat : 30600 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157905577 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30600/statm: 1339 225 188 169 0 50 0 [pid=30602] ppid=30600 vsize=46232 CPUtime=5.45 /proc/30602/stat : 30602 (clasp) R 30600 30576 29568 0 -1 4194304 13101 0 0 0 539 6 0 0 25 0 1 0 157905578 47341568 10805 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0 /proc/30602/statm: 11558 10805 196 154 0 11028 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 64388 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30602 /proc/meminfo: memFree=1779296/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=20.01 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 955 26469 0 0 1 1 1984 15 17 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30600] ppid=30576 vsize=5356 CPUtime=0 /proc/30600/stat : 30600 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157905577 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30600/statm: 1339 225 188 169 0 50 0 [pid=30602] ppid=30600 vsize=46232 CPUtime=31.03 /proc/30602/stat : 30602 (clasp) R 30600 30576 29568 0 -1 4194304 13175 0 0 0 3097 6 0 0 25 0 1 0 157905578 47341568 10879 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769198 0 0 4096 0 0 0 0 17 1 0 0 /proc/30602/statm: 11558 10879 196 154 0 11028 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 64388 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30618 /proc/meminfo: memFree=1780192/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=81.56 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1216 56691 0 0 2 1 8118 35 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30616] ppid=30576 vsize=5356 CPUtime=0 /proc/30616/stat : 30616 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157911735 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30616/statm: 1339 225 188 169 0 50 0 [pid=30618] ppid=30616 vsize=45912 CPUtime=20.67 /proc/30618/stat : 30618 (clasp) R 30616 30576 29568 0 -1 4194304 12382 0 0 0 2062 5 0 0 25 0 1 0 157911735 47013888 10642 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740556 0 0 4096 0 0 0 0 17 1 0 0 /proc/30618/statm: 11478 10642 196 154 0 10948 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 64068 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30626 /proc/meminfo: memFree=1780192/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=149.26 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1346 72618 0 0 2 1 14878 45 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30624] ppid=30576 vsize=5356 CPUtime=0 /proc/30624/stat : 30624 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157918509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30624/statm: 1339 225 188 169 0 50 0 [pid=30626] ppid=30624 vsize=45124 CPUtime=12.93 /proc/30626/stat : 30626 (clasp) R 30624 30576 29568 0 -1 4194304 12434 0 0 0 1288 5 0 0 25 0 1 0 157918509 46206976 10644 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134714493 0 0 4096 0 0 0 0 17 1 0 0 /proc/30626/statm: 11281 10644 196 154 0 10751 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 63280 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30626 /proc/meminfo: memFree=1770592/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=149.26 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1346 72618 0 0 2 1 14878 45 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30624] ppid=30576 vsize=5356 CPUtime=0 /proc/30624/stat : 30624 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157918509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30624/statm: 1339 225 188 169 0 50 0 [pid=30626] ppid=30624 vsize=55848 CPUtime=72.91 /proc/30626/stat : 30626 (clasp) R 30624 30576 29568 0 -1 4194304 14838 0 0 0 7284 7 0 0 25 0 1 0 157918509 57188352 13048 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740626 0 0 4096 0 0 0 0 17 1 0 0 /proc/30626/statm: 13962 13048 196 154 0 13432 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 74004 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30626 /proc/meminfo: memFree=1755744/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=149.26 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1346 72618 0 0 2 1 14878 45 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30624] ppid=30576 vsize=5356 CPUtime=0 /proc/30624/stat : 30624 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 157918509 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30624/statm: 1339 225 188 169 0 50 0 [pid=30626] ppid=30624 vsize=70860 CPUtime=132.9 /proc/30626/stat : 30626 (clasp) R 30624 30576 29568 0 -1 4194304 18588 0 0 0 13278 12 0 0 25 0 1 0 157918509 72560640 16798 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134714484 0 0 4096 0 0 0 0 17 1 0 0 /proc/30626/statm: 17715 16798 196 154 0 17185 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 89016 ################ # More data... # ################ Current children cumulated vsize (KiB) 125440 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30666 /proc/meminfo: memFree=1701152/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30664] ppid=30576 vsize=5356 CPUtime=0 /proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30664/statm: 1339 225 188 169 0 50 0 [pid=30666] ppid=30664 vsize=123172 CPUtime=342.22 /proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 31760 0 0 0 34197 25 0 0 25 0 1 0 158035571 126128128 30330 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0 /proc/30666/statm: 30793 30330 196 154 0 30263 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 141328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30668 /proc/meminfo: memFree=1685792/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30664] ppid=30576 vsize=5356 CPUtime=0 /proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30664/statm: 1339 225 188 169 0 50 0 [pid=30666] ppid=30664 vsize=138584 CPUtime=402.21 /proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 35615 0 0 0 40191 30 0 0 25 0 1 0 158035571 141910016 34185 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134753592 0 0 4096 0 0 0 0 17 1 0 0 /proc/30666/statm: 34646 34185 196 154 0 34116 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 156740 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30668 /proc/meminfo: memFree=1668896/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30664] ppid=30576 vsize=5356 CPUtime=0 /proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30664/statm: 1339 225 188 169 0 50 0 [pid=30666] ppid=30664 vsize=155368 CPUtime=462.19 /proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 39784 0 0 0 46184 35 0 0 25 0 1 0 158035571 159096832 38354 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0 /proc/30666/statm: 38842 38354 196 154 0 38312 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 173524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30668 /proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30664] ppid=30576 vsize=5356 CPUtime=0 /proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30664/statm: 1339 225 188 169 0 50 0 [pid=30666] ppid=30664 vsize=159084 CPUtime=480.48 /proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 40733 0 0 0 48013 35 0 0 25 0 1 0 158035571 162902016 39303 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0 /proc/30666/statm: 39771 39303 196 154 0 39241 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 177240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30668 /proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.52 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 1963 204439 0 0 3 2 131795 152 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30664] ppid=30576 vsize=5356 CPUtime=0 /proc/30664/stat : 30664 (sh) S 30576 30576 29568 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 158035570 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30664/statm: 1339 225 188 169 0 50 0 [pid=30666] ppid=30664 vsize=159084 CPUtime=480.48 /proc/30666/stat : 30666 (clasp) R 30664 30576 29568 0 -1 4194304 40733 0 0 0 48013 35 0 0 25 0 1 0 158035571 162902016 39303 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0 /proc/30666/statm: 39771 39303 196 154 0 39241 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 177240 # WARNING: # current cumulated CPU time (1319.55 s) is less than in the last sample (1800 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (480.45 s) to the 'lost time'. [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/80 30668 /proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 Current children cumulated CPU time (s) 1319.55 Current children cumulated vsize (KiB) 12800 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 30668 /proc/meminfo: memFree=1665056/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 Current children cumulated CPU time (s) 1319.55 Current children cumulated vsize (KiB) 12800 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/82 30679 /proc/meminfo: memFree=1789312/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30669] ppid=30576 vsize=0 CPUtime=0 /proc/30669/stat : 30669 (rm) Z 30576 30576 29568 0 -1 4194316 117 0 0 0 0 0 0 0 18 0 1 0 158083635 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0 /proc/30669/statm: 0 0 0 0 0 0 0 [pid=30677] ppid=30576 vsize=5356 CPUtime=0 /proc/30677/stat : 30677 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 158083638 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30677/statm: 1339 225 188 169 0 50 0 [pid=30679] ppid=30677 vsize=41844 CPUtime=1.53 /proc/30679/stat : 30679 (clasp) R 30677 30576 29568 0 -1 4194304 11311 0 0 0 149 4 0 0 25 0 1 0 158083639 42848256 9983 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134629616 0 0 4096 0 0 0 0 17 1 0 0 /proc/30679/statm: 10461 9983 196 154 0 9931 0 Current children cumulated CPU time (s) 1321.08 Current children cumulated vsize (KiB) 60000 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/82 30679 /proc/meminfo: memFree=1789312/2055920 swapFree=4150632/4192956 [pid=30576] ppid=30574 vsize=12800 CPUtime=1319.55 /proc/30576/stat : 30576 (pbclasp) S 30574 30576 29568 0 -1 4194304 2126 206106 0 0 3 2 131796 154 16 0 1 0 157903574 13107200 563 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918946708 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/30576/statm: 3200 563 343 3 0 300 0 [pid=30669] ppid=30576 vsize=0 CPUtime=0 /proc/30669/stat : 30669 (rm) Z 30576 30576 29568 0 -1 4194316 117 0 0 0 0 0 0 0 18 0 1 0 158083635 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0 /proc/30669/statm: 0 0 0 0 0 0 0 [pid=30677] ppid=30576 vsize=5356 CPUtime=0 /proc/30677/stat : 30677 (sh) S 30576 30576 29568 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 158083638 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30677/statm: 1339 225 188 169 0 50 0 [pid=30679] ppid=30677 vsize=41844 CPUtime=1.93 /proc/30679/stat : 30679 (clasp) R 30677 30576 29568 0 -1 4194304 11318 0 0 0 189 4 0 0 25 0 1 0 158083639 42848256 9990 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134740788 0 0 4096 0 0 0 0 17 1 0 0 /proc/30679/statm: 10461 9990 196 154 0 9931 0 Current children cumulated CPU time (s) 1321.48 Current children cumulated vsize (KiB) 60000 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30576 and gives # childrusage.ru_utime.tv_sec=1317 # childrusage.ru_utime.tv_usec=995634 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=573760 # CPU time returned by wait4() is 1319.57 # while last known CPU time is 1321.48 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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): 480.45 # lost CPU user time (s): 480.12 # lost CPU system time (s): 0.33 Real time (s): 1802.63 CPU time (s): 1801.93 CPU user time (s): 1800 CPU system time (s): 1.93 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 184732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1318 system time used= 1.57376 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 208803 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= 2792 involuntary context switches= 28850 runsolver used 1.84672 second user time and 4.71828 second system time The end
Begin job on node11 on Sat Apr 21 15:15:46 UTC 2007 IDJOB= 373123 IDBENCH= 25021 IDSOLVER= 158 FILE ID= node11/373123-1177168546 PBS_JOBID= 4648936 Free space on /tmp= 66348 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= pbclasp instance-373123-1177168546.opb /tmp/evaluation/373123-1177168546/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-373123-1177168546 -o ROOT/results/node11/conversion-373123-1177168546 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373123-1177168546/instance-373123-1177168546.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-373123-1177168546 -o ROOT/results/node11/solver-373123-1177168546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373123-1177168546.opb /tmp/evaluation/373123-1177168546/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED= 581748912 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1825552 kB Buffers: 33840 kB Cached: 110616 kB SwapCached: 10856 kB Active: 69812 kB Inactive: 98784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1825552 kB SwapTotal: 4192956 kB SwapFree: 4150632 kB Dirty: 1716 kB Writeback: 0 kB Mapped: 31244 kB Slab: 47204 kB Committed_AS: 6257904 kB PageTables: 1848 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= 66346 MiB End job on node11 on Sat Apr 21 15:45:49 UTC 2007