Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | ? (TO) | 1800.09 | 2187.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_1.opb |
MD5SUM | fdd11e948ae8a5c2828dd3ba6f1a1add |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -85 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -85 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31432 |
Sum of products size (including duplicates) | 62864 |
Number of different products | 15716 |
Sum of products size | 31432 |
[...] # # trace file is too large. Trace was truncated at this point. # 1799.42/2187.03 cat: write error: Broken pipe 1799.42/2187.04 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.42/2187.06 cat: write error: Broken pipe 1799.42/2187.07 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.51/2187.19 cat: write error: Broken pipe 1799.51/2187.19 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.54/2187.22 cat: write error: Broken pipe 1799.54/2187.22 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.54/2187.25 cat: write error: Broken pipe 1799.54/2187.25 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.54/2187.28 cat: write error: Broken pipe 1799.54/2187.28 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.62/2187.31 cat: write error: Broken pipe 1799.62/2187.31 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.62/2187.33 cat: write error: Broken pipe 1799.62/2187.34 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.62/2187.36 cat: write error: Broken pipe 1799.62/2187.36 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.62/2187.39 cat: write error: Broken pipe 1799.62/2187.39 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.72/2187.42 cat: write error: Broken pipe 1799.72/2187.42 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.72/2187.45 cat: write error: Broken pipe 1799.72/2187.45 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.72/2187.48 cat: write error: Broken pipe 1799.72/2187.48 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.81/2187.51 cat: write error: Broken pipe 1799.81/2187.51 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.81/2187.53 cat: write error: Broken pipe 1799.81/2187.54 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.81/2187.56 cat: write error: Broken pipe 1799.81/2187.56 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.81/2187.59 cat: write error: Broken pipe 1799.81/2187.59 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.92/2187.62 cat: write error: Broken pipe 1799.92/2187.62 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.92/2187.65 cat: write error: Broken pipe 1799.92/2187.65 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1799.92/2187.68 cat: write error: Broken pipe 1799.92/2187.68 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1800.01/2187.70 sh: line 1: 4816 Terminated cat /tmp/evaluation/454840-1178032221/temp/instance-454840-1178032221.opb.lp >>/tmp/evaluation/454840-1178032221/temp/instance-454840-1178032221.opb.op 1800.01/2187.71 cat: write error: Broken pipe 1800.01/2187.71 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454840-1178032221/pbclasp line 103. 1800.01/2187.71 c Somebody sent me a SIGTERM 1800.01/2187.71 s UNKNOWN 1800.01/2187.72 pb2clasp1: no process killed 1800.01/2187.72 clasp: no process killed 1800.01/2187.74 cat: write error: Broken pipe
ERROR: no interpretation found !
Linearizing /tmp/evaluation/454840-1178032221/instance-454840-1178032221.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-454840-1178032221 -o ROOT/results/node21/solver-454840-1178032221 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-454840-1178032221.opb /tmp/evaluation/454840-1178032221/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 0.99 0.97 3/77 13647 /proc/meminfo: memFree=1778872/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=12268 CPUtime=0 /proc/13647/stat : 13647 (pbclasp) D 13645 13647 13498 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 251139519 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221236656741 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/13647/statm: 3067 317 242 3 0 167 0 [startup+0.0476009 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13647 /proc/meminfo: memFree=1778872/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=0.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 686 0 0 0 1 0 0 0 16 0 1 0 251139519 13504512 636 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 636 322 3 0 397 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13188 [startup+0.101603 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13647 /proc/meminfo: memFree=1778872/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=0.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 686 0 0 0 1 0 0 0 16 0 1 0 251139519 13504512 636 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 636 322 3 0 397 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13188 [startup+0.301626 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13647 /proc/meminfo: memFree=1778872/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=0.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 686 0 0 0 1 0 0 0 16 0 1 0 251139519 13504512 636 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 636 322 3 0 397 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13188 [startup+0.701669 s] /proc/loadavg: 1.00 0.99 0.97 3/77 13647 /proc/meminfo: memFree=1778872/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=0.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 686 0 0 0 1 0 0 0 16 0 1 0 251139519 13504512 636 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 636 322 3 0 397 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13188 [startup+1.50176 s] /proc/loadavg: 1.00 0.99 0.97 2/80 13650 /proc/meminfo: memFree=1775904/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=0.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 686 0 0 0 1 0 0 0 16 0 1 0 251139519 13504512 636 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 636 322 3 0 397 0 [pid=13649] ppid=13647 vsize=5352 CPUtime=0 /proc/13649/stat : 13649 (sh) S 13647 13647 13498 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251139521 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/13649/statm: 1338 229 193 169 0 49 0 [pid=13650] ppid=13649 vsize=12664 CPUtime=1.46 /proc/13650/stat : 13650 (pb2clasp1) R 13649 13647 13498 0 -1 4194304 563 0 0 0 146 0 0 0 25 0 1 0 251139522 12967936 525 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 221250562405 0 0 4224 0 0 0 0 17 1 0 0 /proc/13650/statm: 3166 525 340 3 0 266 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 31204 [startup+3.10194 s] /proc/loadavg: 1.00 0.99 0.97 2/80 13650 /proc/meminfo: memFree=1775264/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=3.04 /proc/13647/stat : 13647 (pbclasp) R 13645 13647 13498 0 -1 4194304 1854 19238 0 0 1 1 276 26 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221236488863 0 0 4224 16384 0 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 13188 [startup+6.30147 s] /proc/loadavg: 1.00 0.99 0.97 3/79 14274 /proc/meminfo: memFree=1773040/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=5.66 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 11363 172928 0 0 5 13 323 225 17 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 5.66 Current children cumulated vsize (KiB) 13188 [startup+12.702 s] /proc/loadavg: 1.00 0.99 0.97 2/81 15769 /proc/meminfo: memFree=1772256/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=10.76 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 29644 468863 0 0 11 35 406 624 17 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 10.76 Current children cumulated vsize (KiB) 13188 [startup+25.5014 s] /proc/loadavg: 1.00 0.99 0.97 2/80 18876 /proc/meminfo: memFree=1773288/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=21.27 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 67430 1080755 0 0 24 80 591 1432 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 21.27 Current children cumulated vsize (KiB) 13188 [startup+51.1012 s] /proc/loadavg: 1.13 1.02 0.98 2/80 24718 /proc/meminfo: memFree=1771880/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=41.87 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 141451 2278808 0 0 46 168 954 3019 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 41.87 Current children cumulated vsize (KiB) 13188 [startup+102.306 s] /proc/loadavg: 1.11 1.03 0.99 2/81 4000 /proc/meminfo: memFree=1767776/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=82.71 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 288507 4659368 0 0 94 345 1658 6174 17 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 82.71 Current children cumulated vsize (KiB) 13188 [startup+162.301 s] /proc/loadavg: 1.18 1.08 1.01 3/80 17691 /proc/meminfo: memFree=1768296/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=130.82 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 462309 7472801 0 0 148 550 2492 9892 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 130.82 Current children cumulated vsize (KiB) 13188 [startup+222.301 s] /proc/loadavg: 1.57 1.19 1.04 3/80 31269 /proc/meminfo: memFree=1767080/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=178.15 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 632898 10234316 0 0 202 754 3299 13560 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 178.15 Current children cumulated vsize (KiB) 13188 [startup+282.301 s] /proc/loadavg: 1.25 1.16 1.04 2/79 12627 /proc/meminfo: memFree=1765872/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=227.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 808265 13073480 0 0 253 978 4154 17316 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 227.01 Current children cumulated vsize (KiB) 13188 [startup+342.301 s] /proc/loadavg: 1.15 1.15 1.04 2/78 26635 /proc/meminfo: memFree=1763632/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=275.98 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 983993 15917978 0 0 300 1205 5010 21083 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 275.98 Current children cumulated vsize (KiB) 13188 [startup+402.302 s] /proc/loadavg: 1.29 1.17 1.05 1/80 7819 /proc/meminfo: memFree=1761960/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=324.38 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 1157220 18722405 0 0 349 1427 5856 24806 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 324.38 Current children cumulated vsize (KiB) 13188 [startup+462.301 s] /proc/loadavg: 1.17 1.15 1.05 2/79 22122 /proc/meminfo: memFree=1762864/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=374.23 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 1336060 21617186 0 0 397 1666 6732 28628 17 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 374.23 Current children cumulated vsize (KiB) 13188 [startup+522.302 s] /proc/loadavg: 1.33 1.20 1.07 2/80 3490 /proc/meminfo: memFree=1760360/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=423.3 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 1511831 24462890 0 0 447 1893 7606 32384 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 423.3 Current children cumulated vsize (KiB) 13188 [startup+582.301 s] /proc/loadavg: 1.17 1.17 1.07 2/79 17753 /proc/meminfo: memFree=1760944/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=473.28 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 1690892 27361343 0 0 499 2120 8475 36234 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 473.28 Current children cumulated vsize (KiB) 13188 [startup+642.302 s] /proc/loadavg: 1.31 1.21 1.09 3/81 31815 /proc/meminfo: memFree=1758304/2055920 swapFree=4156288/4192956 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 1.29 1.23 1.13 2/79 5416 /proc/meminfo: memFree=1747568/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1116.15 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 3990561 64588658 0 0 1171 5061 19750 85633 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1116.15 Current children cumulated vsize (KiB) 13188 [startup+1422.31 s] /proc/loadavg: 1.34 1.26 1.15 2/80 19972 /proc/meminfo: memFree=1747240/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1167.1 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 4172361 67531658 0 0 1226 5293 20645 89546 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1167.1 Current children cumulated vsize (KiB) 13188 [startup+1482.3 s] /proc/loadavg: 1.17 1.23 1.14 2/81 1544 /proc/meminfo: memFree=1746272/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1217.39 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 4351617 70433381 0 0 1279 5527 21536 93397 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1217.39 Current children cumulated vsize (KiB) 13188 [startup+1542.3 s] /proc/loadavg: 1.23 1.23 1.14 4/79 15560 /proc/meminfo: memFree=1745904/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1266.08 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 4526044 73257026 0 0 1332 5747 22388 97141 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1266.08 Current children cumulated vsize (KiB) 13188 [startup+1602.3 s] /proc/loadavg: 1.37 1.26 1.16 2/80 29645 /proc/meminfo: memFree=1746536/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1316.27 /proc/13647/stat : 13647 (pbclasp) R 13645 13647 13498 0 -1 4194304 4705646 76164860 0 0 1387 5976 23257 101007 17 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221236488863 0 0 4224 16384 0 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1316.27 Current children cumulated vsize (KiB) 13188 [startup+1662.3 s] /proc/loadavg: 1.31 1.26 1.16 3/79 11574 /proc/meminfo: memFree=1744688/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1366.53 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 4885522 79076393 0 0 1438 6204 24144 104867 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1366.53 Current children cumulated vsize (KiB) 13188 [startup+1722.3 s] /proc/loadavg: 1.19 1.24 1.16 2/80 25692 /proc/meminfo: memFree=1745640/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1416.8 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 5065302 81986693 0 0 1492 6433 25028 108727 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1416.8 Current children cumulated vsize (KiB) 13188 [startup+1782.3 s] /proc/loadavg: 1.27 1.24 1.17 2/80 7553 /proc/meminfo: memFree=1744744/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1466.79 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 5244255 84883511 0 0 1543 6660 25905 112571 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1466.79 Current children cumulated vsize (KiB) 13188 [startup+1842.3 s] /proc/loadavg: 1.22 1.23 1.17 2/79 21478 /proc/meminfo: memFree=1742512/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1516.42 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 5421731 87756608 0 0 1592 6890 26766 116394 17 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1516.42 Current children cumulated vsize (KiB) 13188 [startup+1902.3 s] /proc/loadavg: 1.31 1.26 1.18 2/80 3298 /proc/meminfo: memFree=1742824/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1566.11 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 5599592 90635843 0 0 1644 7112 27634 120221 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1566.11 Current children cumulated vsize (KiB) 13188 [startup+1962.3 s] /proc/loadavg: 1.22 1.24 1.18 2/80 17202 /proc/meminfo: memFree=1742568/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1614.85 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 5773817 93456218 0 0 1696 7329 28488 123972 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 [pid=17201] ppid=13647 vsize=5352 CPUtime=0 /proc/17201/stat : 17201 (sh) S 13647 13647 13498 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251335749 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17201/statm: 1338 230 193 169 0 49 0 [pid=17202] ppid=17201 vsize=2520 CPUtime=0 /proc/17202/stat : 17202 (cat) R 17201 13647 13498 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 251335749 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 221236658402 0 0 4096 0 0 0 0 17 1 0 0 /proc/17202/statm: 630 87 71 4 0 42 0 Current children cumulated CPU time (s) 1614.85 Current children cumulated vsize (KiB) 21060 [startup+2022.3 s] /proc/loadavg: 1.12 1.21 1.17 2/80 30900 /proc/meminfo: memFree=1741672/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1663.63 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 5948547 96284768 0 0 1743 7551 29337 127732 17 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1663.63 Current children cumulated vsize (KiB) 13188 [startup+2082.31 s] /proc/loadavg: 1.22 1.22 1.18 2/79 12618 /proc/meminfo: memFree=1740080/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1713.24 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 6125600 99150923 0 0 1795 7779 30210 131540 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1713.24 Current children cumulated vsize (KiB) 13188 [startup+2142.3 s] /proc/loadavg: 1.15 1.20 1.17 1/80 26630 /proc/meminfo: memFree=1739112/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1763.11 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 6303978 102038735 0 0 1849 8008 31087 135367 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245390740 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 Current children cumulated CPU time (s) 1763.11 Current children cumulated vsize (KiB) 13188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2187.7 s] /proc/loadavg: 1.17 1.20 1.18 2/80 4816 /proc/meminfo: memFree=1739304/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1800.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 6435872 104173643 0 0 1887 8181 31735 138198 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 [pid=4815] ppid=13647 vsize=5352 CPUtime=0 /proc/4815/stat : 4815 (sh) S 13647 13647 13498 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251358288 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/4815/statm: 1338 230 193 169 0 49 0 [pid=4816] ppid=4815 vsize=2520 CPUtime=0 /proc/4816/stat : 4816 (cat) R 4815 13647 13498 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 251358288 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 221236658402 0 0 4096 0 0 0 0 17 1 0 0 /proc/4816/statm: 630 87 71 4 0 42 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 21060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+2187.7 s] /proc/loadavg: 1.17 1.20 1.18 2/80 4816 /proc/meminfo: memFree=1739304/2055920 swapFree=4156288/4192956 [pid=13647] ppid=13645 vsize=13188 CPUtime=1800.01 /proc/13647/stat : 13647 (pbclasp) S 13645 13647 13498 0 -1 4194304 6435872 104173643 0 0 1887 8181 31735 138198 16 0 1 0 251139519 13504512 657 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 221245386850 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/13647/statm: 3297 657 342 3 0 397 0 [pid=4815] ppid=13647 vsize=5352 CPUtime=0 /proc/4815/stat : 4815 (sh) S 13647 13647 13498 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251358288 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 221236486980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/4815/statm: 1338 230 193 169 0 49 0 [pid=4816] ppid=4815 vsize=2520 CPUtime=0 /proc/4816/stat : 4816 (cat) R 4815 13647 13498 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 251358288 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 221236658402 0 0 4096 0 0 0 0 17 1 0 0 /proc/4816/statm: 630 87 71 4 0 42 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 21060 Child status: 0 Real time (s): 2187.75 CPU time (s): 1800.09 CPU user time (s): 336.247 CPU system time (s): 1463.84 CPU usage (%): 82.2804 Max. virtual memory (cumulated for all children) (KiB): 31204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 336.247 system time used= 1463.84 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 110613102 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= 3040495 involuntary context switches= 744004 runsolver used 5.73013 second user time and 9.27359 second system time The end
Begin job on node21 on Tue May 1 15:10:21 UTC 2007 IDJOB= 454840 IDBENCH= 48224 IDSOLVER= 158 FILE ID= node21/454840-1178032221 PBS_JOBID= 4728399 Free space on /tmp= 66563 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_1.opb COMMAND LINE= pbclasp instance-454840-1178032221.opb /tmp/evaluation/454840-1178032221/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node21/convwatcher-454840-1178032221 -o ROOT/results/node21/conversion-454840-1178032221 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454840-1178032221/instance-454840-1178032221.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-454840-1178032221 -o ROOT/results/node21/solver-454840-1178032221 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-454840-1178032221.opb /tmp/evaluation/454840-1178032221/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= fdd11e948ae8a5c2828dd3ba6f1a1add RANDOM SEED= 133776711 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1779280 kB Buffers: 52192 kB Cached: 137028 kB SwapCached: 14984 kB Active: 105940 kB Inactive: 106632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1779280 kB SwapTotal: 4192956 kB SwapFree: 4156288 kB Dirty: 2432 kB Writeback: 0 kB Mapped: 30052 kB Slab: 49596 kB Committed_AS: 3204052 kB PageTables: 1784 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= 66559 MiB End job on node21 on Tue May 1 15:46:52 UTC 2007