Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 29 | 1802.11 | 1802.73 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir04_area_opers.opb |
MD5SUM | e746daa468953b69c2293c7909733538 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 29 |
Best CPU time to get the best result obtained on this benchmark | 0.285956 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | YES |
Number of variables | 1614 |
Total number of constraints | 2783 |
Number of constraints which are clauses | 2783 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 879 |
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 | 879 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 879 |
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 |
0.21/0.31 o 29 1800.07/1800.71 sh: line 1: 17456 Done cat /tmp/evaluation/373314-1177180823/temp/instance-373314-1177180823.opb.op 1800.07/1800.71 17457 Terminated | clasp-1.0 --trans=no >/tmp/evaluation/373314-1177180823/temp/instance-373314-1177180823.opb.clasp 1800.07/1800.72 c Somebody sent me a SIGTERM 1800.07/1800.72 s SATISFIABLE 1800.07/1800.72 v x2 x86 x87 x133 x176 x235 x379 x493 x629 x735 x927 x1096 x1122 x1169 x1208 x1334 x1384 x1401 x1457 x1493 x1521 x1525 x1526 x1553 1800.07/1800.72 v x1573 x1582 x1601 x1607 x1612 x1613 x1614 1800.07/1800.72 pb2clasp1: no process killed 1800.07/1800.73 clasp-1.0: no process killed 1802.06/1802.72 sh: line 1: 17667 Done cat /tmp/evaluation/373314-1177180823/temp/instance-373314-1177180823.opb.op 1802.06/1802.72 17668 Killed | clasp-1.0 --trans=no >/tmp/evaluation/373314-1177180823/temp/instance-373314-1177180823.opb.clasp
OK 29
/tmp/evaluation/373314-1177180823/instance-373314-1177180823.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node45/watcher-373314-1177180823 -o ROOT/results/node45/solver-373314-1177180823 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373314-1177180823.opb /tmp/evaluation/373314-1177180823/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.93 0.98 0.99 3/77 17439 /proc/meminfo: memFree=1724088/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12268 CPUtime=0 /proc/17439/stat : 17439 (pbclasp) R 17437 17439 16618 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 72927918 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258939255397 0 0 4224 0 0 0 0 17 1 0 0 /proc/17439/statm: 3067 317 242 3 0 167 0 [startup+0.0863649 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17439 /proc/meminfo: memFree=1724088/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.01 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 72927918 12967936 502 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947985506 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17439/statm: 3166 502 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.101364 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17439 /proc/meminfo: memFree=1724088/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.01 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 549 0 0 0 1 0 0 0 16 0 1 0 72927918 12967936 502 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947985506 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17439/statm: 3166 502 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.301389 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17439 /proc/meminfo: memFree=1724088/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.21 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 677 1593 0 0 2 0 19 0 16 0 1 0 72927918 12967936 541 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 541 343 3 0 266 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 12664 [startup+0.701424 s] /proc/loadavg: 0.93 0.98 0.99 3/77 17439 /proc/meminfo: memFree=1724088/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 12664 [startup+1.50151 s] /proc/loadavg: 0.93 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1720600/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=4344 CPUtime=1.16 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 749 0 0 0 116 0 0 0 25 0 1 0 72927952 4448256 710 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134789708 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1086 710 249 81 0 460 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 22364 [startup+3.10167 s] /proc/loadavg: 0.93 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1720472/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=4612 CPUtime=2.76 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 811 0 0 0 276 0 0 0 25 0 1 0 72927952 4722688 772 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 5162619 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1153 772 249 81 0 527 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 22632 [startup+6.30199 s] /proc/loadavg: 0.93 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1720152/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=4876 CPUtime=5.96 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 861 0 0 0 596 0 0 0 25 0 1 0 72927952 4993024 822 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1219 822 249 81 0 593 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 22896 [startup+12.7026 s] /proc/loadavg: 0.94 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1719576/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=5276 CPUtime=12.36 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 981 0 0 0 1236 0 0 0 25 0 1 0 72927952 5402624 942 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1319 942 249 81 0 693 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 23296 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1719016/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=6084 CPUtime=25.15 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 1151 0 0 0 2515 0 0 0 25 0 1 0 72927952 6230016 1112 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1521 1112 249 81 0 895 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 24104 [startup+51.1016 s] /proc/loadavg: 0.97 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1718376/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=6520 CPUtime=50.74 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 1282 0 0 0 5074 0 0 0 25 0 1 0 72927952 6676480 1243 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1630 1243 249 81 0 1004 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 24540 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1717992/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=6972 CPUtime=101.93 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 1374 0 0 0 10193 0 0 0 25 0 1 0 72927952 7139328 1335 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784665 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1743 1335 249 81 0 1117 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 24992 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1717288/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=7576 CPUtime=161.91 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 1536 0 0 0 16190 1 0 0 25 0 1 0 72927952 7757824 1497 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784665 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 1894 1497 249 81 0 1268 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 25596 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1716840/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=8080 CPUtime=221.89 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 1644 0 0 0 22188 1 0 0 25 0 1 0 72927952 8273920 1605 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134782470 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 2020 1605 249 81 0 1394 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 26100 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/80 17457 /proc/meminfo: memFree=1716392/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17655 /proc/meminfo: memFree=1711912/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=13188 CPUtime=1481.44 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 2839 0 0 0 148133 11 0 0 25 0 1 0 72927952 13504512 2800 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134737538 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 3297 2800 249 81 0 2671 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 31208 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17655 /proc/meminfo: memFree=1711912/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=13188 CPUtime=1541.42 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 2839 0 0 0 154131 11 0 0 25 0 1 0 72927952 13504512 2800 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 3297 2800 249 81 0 2671 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 31208 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17655 /proc/meminfo: memFree=1711912/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=13188 CPUtime=1601.41 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 2841 0 0 0 160129 12 0 0 25 0 1 0 72927952 13504512 2802 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134741030 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 3297 2802 249 81 0 2671 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 31208 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17655 /proc/meminfo: memFree=1711784/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=13188 CPUtime=1661.39 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 2870 0 0 0 166127 12 0 0 25 0 1 0 72927952 13504512 2831 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 3297 2831 249 81 0 2671 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 31208 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17657 /proc/meminfo: memFree=1711784/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=13504 CPUtime=1721.37 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 2916 0 0 0 172125 12 0 0 25 0 1 0 72927952 13828096 2877 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134715855 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 3376 2877 249 81 0 2750 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 31524 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17657 /proc/meminfo: memFree=1711720/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=13504 CPUtime=1781.36 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 2916 0 0 0 178123 13 0 0 25 0 1 0 72927952 13828096 2877 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 3376 2877 249 81 0 2750 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 31524 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/80 17657 /proc/meminfo: memFree=1711720/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=0.31 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 812 3666 0 0 2 0 27 2 16 0 1 0 72927918 12967936 543 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17439/statm: 3166 543 343 3 0 266 0 [pid=17455] ppid=17439 vsize=5356 CPUtime=0 /proc/17455/stat : 17455 (sh) S 17439 17439 16618 0 -1 4194304 286 122 0 0 0 0 0 0 16 0 1 0 72927951 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17455/statm: 1339 225 188 169 0 50 0 [pid=17457] ppid=17455 vsize=13504 CPUtime=1799.76 /proc/17457/stat : 17457 (clasp-1.0) R 17455 17439 16618 0 -1 4194304 2916 0 0 0 179963 13 0 0 25 0 1 0 72927952 13828096 2877 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134713707 0 0 4096 0 0 0 0 17 1 0 0 /proc/17457/statm: 3376 2877 249 81 0 2750 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 31524 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds 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 17657 /proc/meminfo: memFree=1711720/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=1800.11 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 968 8382 0 0 2 1 179991 17 16 0 1 0 72927918 12967936 544 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17439/statm: 3166 544 343 3 0 266 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 12664 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/81 17668 /proc/meminfo: memFree=1720480/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=1800.11 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 968 8382 0 0 2 1 179991 17 16 0 1 0 72927918 12967936 544 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17439/statm: 3166 544 343 3 0 266 0 [pid=17666] ppid=17439 vsize=5356 CPUtime=0 /proc/17666/stat : 17666 (sh) S 17439 17439 16618 0 -1 4194304 288 122 0 0 0 0 0 0 18 0 1 0 73107992 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17666/statm: 1339 225 188 169 0 50 0 [pid=17668] ppid=17666 vsize=4344 CPUtime=1.45 /proc/17668/stat : 17668 (clasp-1.0) R 17666 17439 16618 0 -1 4194304 749 0 0 0 145 0 0 0 25 0 1 0 73107992 4448256 710 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134737644 0 0 4096 0 0 0 0 17 1 0 0 /proc/17668/statm: 1086 710 249 81 0 460 0 Current children cumulated CPU time (s) 1801.56 Current children cumulated vsize (KiB) 22364 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/81 17668 /proc/meminfo: memFree=1720480/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=1800.11 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 968 8382 0 0 2 1 179991 17 16 0 1 0 72927918 12967936 544 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17439/statm: 3166 544 343 3 0 266 0 [pid=17666] ppid=17439 vsize=5356 CPUtime=0 /proc/17666/stat : 17666 (sh) S 17439 17439 16618 0 -1 4194304 288 122 0 0 0 0 0 0 18 0 1 0 73107992 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17666/statm: 1339 225 188 169 0 50 0 [pid=17668] ppid=17666 vsize=4476 CPUtime=1.85 /proc/17668/stat : 17668 (clasp-1.0) R 17666 17439 16618 0 -1 4194304 782 0 0 0 185 0 0 0 25 0 1 0 73107992 4583424 743 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134741030 0 0 4096 0 0 0 0 17 1 0 0 /proc/17668/statm: 1119 743 249 81 0 493 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 22496 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/81 17668 /proc/meminfo: memFree=1720480/2055920 swapFree=4158476/4192956 [pid=17439] ppid=17437 vsize=12664 CPUtime=1800.11 /proc/17439/stat : 17439 (pbclasp) S 17437 17439 16618 0 -1 4194304 968 8382 0 0 2 1 179991 17 16 0 1 0 72927918 12967936 544 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/17439/statm: 3166 544 343 3 0 266 0 [pid=17666] ppid=17439 vsize=5356 CPUtime=0 /proc/17666/stat : 17666 (sh) S 17439 17439 16618 0 -1 4194304 288 122 0 0 0 0 0 0 18 0 1 0 73107992 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17666/statm: 1339 225 188 169 0 50 0 [pid=17668] ppid=17666 vsize=4476 CPUtime=1.95 /proc/17668/stat : 17668 (clasp-1.0) R 17666 17439 16618 0 -1 4194304 782 0 0 0 195 0 0 0 25 0 1 0 73107992 4583424 743 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134617553 0 0 4096 0 0 0 0 17 1 0 0 /proc/17668/statm: 1119 743 249 81 0 493 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 22496 Child status: 0 Real time (s): 1802.73 CPU time (s): 1802.11 CPU user time (s): 1801.91 CPU system time (s): 0.198969 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 31524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.91 system time used= 0.198969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10705 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= 313 involuntary context switches= 38365 runsolver used 1.71574 second user time and 4.85326 second system time The end
Begin job on node45 on Sat Apr 21 18:40:23 UTC 2007 IDJOB= 373314 IDBENCH= 25034 IDSOLVER= 167 FILE ID= node45/373314-1177180823 PBS_JOBID= 4649002 Free space on /tmp= 66447 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir04_area_opers.opb COMMAND LINE= pbclasp instance-373314-1177180823.opb /tmp/evaluation/373314-1177180823/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-373314-1177180823 -o ROOT/results/node45/conversion-373314-1177180823 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373314-1177180823/instance-373314-1177180823.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-373314-1177180823 -o ROOT/results/node45/solver-373314-1177180823 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373314-1177180823.opb /tmp/evaluation/373314-1177180823/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= e746daa468953b69c2293c7909733538 RANDOM SEED= 539928648 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node45.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.218 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.218 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: 1724496 kB Buffers: 45812 kB Cached: 198128 kB SwapCached: 14596 kB Active: 173284 kB Inactive: 94528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1724496 kB SwapTotal: 4192956 kB SwapFree: 4158476 kB Dirty: 592 kB Writeback: 0 kB Mapped: 31984 kB Slab: 49216 kB Committed_AS: 1273104 kB PageTables: 1732 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= 66447 MiB End job on node45 on Sat Apr 21 19:10:26 UTC 2007