Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | ? (TO) | 1800.24 | 1905.35 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb |
MD5SUM | 6d89097601cc17df3da06374ded173c4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 77678 |
Total number of constraints | 1016 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1016 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 2430 |
Number of terms in the objective function | 2760 |
Biggest coefficient in the objective function | 9798 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526457 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262399 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526457 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
[...] # # trace file is too large. Trace was truncated at this point. # 1797.49/1902.46 cat: write error: Broken pipe 1797.49/1902.46 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1797.59/1902.59 cat: write error: Broken pipe 1797.59/1902.60 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1797.75/1902.87 cat: write error: Broken pipe 1797.75/1902.87 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1797.85/1903.00 cat: write error: Broken pipe 1797.85/1903.00 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.00/1903.13 cat: write error: Broken pipe 1798.00/1903.13 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.13/1903.26 cat: write error: Broken pipe 1798.13/1903.26 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.23/1903.39 cat: write error: Broken pipe 1798.27/1903.43 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.40/1903.55 cat: write error: Broken pipe 1798.40/1903.56 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.48/1903.68 cat: write error: Broken pipe 1798.48/1903.69 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.65/1903.81 cat: write error: Broken pipe 1798.65/1903.82 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.78/1903.94 cat: write error: Broken pipe 1798.78/1903.95 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1798.92/1904.07 cat: write error: Broken pipe 1798.92/1904.08 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.04/1904.20 cat: write error: Broken pipe 1799.04/1904.21 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.16/1904.33 cat: write error: Broken pipe 1799.16/1904.33 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.29/1904.46 cat: write error: Broken pipe 1799.29/1904.47 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.39/1904.59 cat: write error: Broken pipe 1799.39/1904.60 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.55/1904.72 cat: write error: Broken pipe 1799.55/1904.73 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.68/1904.85 cat: write error: Broken pipe 1799.68/1904.89 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.81/1905.02 cat: write error: Broken pipe 1799.81/1905.02 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1799.96/1905.15 cat: write error: Broken pipe 1799.96/1905.15 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1800.07/1905.21 sh: line 1: 29176 Terminated cat /tmp/evaluation/348613-1176588924/temp/instance-348613-1176588924.opb.op 1800.07/1905.21 29177 | clasp >/tmp/evaluation/348613-1176588924/temp/instance-348613-1176588924.opb.clasp 1800.07/1905.21 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/348613-1176588924/pbclasp line 103. 1800.07/1905.22 c Somebody sent me a SIGTERM 1800.07/1905.22 s UNKNOWN 1800.07/1905.22 pb2clasp1: no process killed 1800.07/1905.23 clasp: no process killed 1800.13/1905.34 cat: write error: Broken pipe
ERROR: no interpretation found !
/tmp/evaluation/348613-1176588924/instance-348613-1176588924.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-348613-1176588924 -o ROOT/results/node47/solver-348613-1176588924 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-348613-1176588924.opb /tmp/evaluation/348613-1176588924/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.06 1.11 1.09 3/64 14967 /proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=12268 CPUtime=0 /proc/14967/stat : 14967 (pbclasp) D 14965 14967 29566 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 13737784 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208717707877 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/14967/statm: 3067 317 242 3 0 167 0 [startup+0.045896 s] /proc/loadavg: 1.06 1.11 1.09 3/64 14967 /proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=14100 CPUtime=0.03 /proc/14967/stat : 14967 (pbclasp) R 14965 14967 29566 0 -1 4194304 900 0 0 0 3 0 0 0 18 0 1 0 13737784 14438400 866 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208717386465 0 0 4224 16384 0 0 0 17 1 0 0 /proc/14967/statm: 3525 866 314 3 0 625 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14100 [startup+0.101895 s] /proc/loadavg: 1.06 1.11 1.09 3/64 14967 /proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=0.05 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/14967/statm: 3947 1271 322 3 0 1047 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15788 [startup+0.301914 s] /proc/loadavg: 1.06 1.11 1.09 3/64 14967 /proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=0.05 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/14967/statm: 3947 1271 322 3 0 1047 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15788 [startup+0.701957 s] /proc/loadavg: 1.06 1.11 1.09 3/64 14967 /proc/meminfo: memFree=1441208/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=0.05 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/14967/statm: 3947 1271 322 3 0 1047 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15788 [startup+1.50204 s] /proc/loadavg: 1.06 1.11 1.09 2/67 14970 /proc/meminfo: memFree=1434976/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=0.05 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/14967/statm: 3947 1271 322 3 0 1047 0 [pid=14969] ppid=14967 vsize=5352 CPUtime=0 /proc/14969/stat : 14969 (sh) S 14967 14967 29566 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 13737791 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14969/statm: 1338 229 193 169 0 49 0 [pid=14970] ppid=14969 vsize=13184 CPUtime=1.43 /proc/14970/stat : 14970 (pb2clasp1) R 14969 14967 29566 0 -1 4194304 685 0 0 0 142 1 0 0 25 0 1 0 13737791 13500416 647 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 208735891136 0 0 4224 0 0 0 0 17 1 0 0 /proc/14970/statm: 3296 647 340 3 0 396 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34324 [startup+3.10122 s] /proc/loadavg: 1.06 1.11 1.09 2/67 14970 /proc/meminfo: memFree=1433760/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=0.05 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1322 0 0 0 5 0 0 0 16 0 1 0 13737784 16166912 1271 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/14967/statm: 3947 1271 322 3 0 1047 0 [pid=14969] ppid=14967 vsize=5352 CPUtime=0 /proc/14969/stat : 14969 (sh) S 14967 14967 29566 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 13737791 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/14969/statm: 1338 229 193 169 0 49 0 [pid=14970] ppid=14969 vsize=13184 CPUtime=3.02 /proc/14970/stat : 14970 (pb2clasp1) R 14969 14967 29566 0 -1 4194304 685 0 0 0 301 1 0 0 25 0 1 0 13737791 13500416 647 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 208726437842 0 0 4224 0 0 0 0 17 1 0 0 /proc/14970/statm: 3296 647 340 3 0 396 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 34324 [startup+6.30156 s] /proc/loadavg: 1.06 1.11 1.09 2/68 15025 /proc/meminfo: memFree=1423232/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=6.02 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 2575 71162 0 0 6 1 513 82 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 6.02 Current children cumulated vsize (KiB) 15788 [startup+12.7013 s] /proc/loadavg: 1.05 1.10 1.09 2/67 15398 /proc/meminfo: memFree=1421136/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=11.97 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 7206 341020 0 0 8 10 787 392 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 11.97 Current children cumulated vsize (KiB) 15788 [startup+25.5028 s] /proc/loadavg: 1.04 1.10 1.09 2/66 16181 /proc/meminfo: memFree=1424728/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=24.18 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 16706 896675 0 0 11 26 1358 1023 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 24.18 Current children cumulated vsize (KiB) 15788 [startup+51.1014 s] /proc/loadavg: 1.02 1.09 1.08 2/67 17670 /proc/meminfo: memFree=1421712/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=48.36 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 35506 1996287 0 0 18 60 2488 2270 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 48.36 Current children cumulated vsize (KiB) 15788 [startup+102.306 s] /proc/loadavg: 1.05 1.08 1.08 2/66 20714 /proc/meminfo: memFree=1418136/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=96.84 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 73206 4201360 0 0 32 127 4761 4764 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 96.84 Current children cumulated vsize (KiB) 15788 [startup+162.303 s] /proc/loadavg: 1.02 1.07 1.08 2/68 24209 /proc/meminfo: memFree=1404424/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=153.36 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 117194 6774518 0 0 48 205 7417 7666 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 153.36 Current children cumulated vsize (KiB) 15788 [startup+222.302 s] /proc/loadavg: 1.24 1.11 1.09 1/67 27748 /proc/meminfo: memFree=1422352/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=209.98 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 161194 9348078 0 0 66 282 10064 10586 18 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 209.98 Current children cumulated vsize (KiB) 15788 [startup+282.303 s] /proc/loadavg: 1.09 1.09 1.09 2/68 31284 /proc/meminfo: memFree=1402440/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=267.26 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 205775 11956330 0 0 81 359 12763 13523 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 267.26 Current children cumulated vsize (KiB) 15788 [startup+342.302 s] /proc/loadavg: 1.06 1.08 1.09 2/67 2417 /proc/meminfo: memFree=1418064/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=324.13 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 250006 14542392 0 0 97 433 15419 16464 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 324.13 Current children cumulated vsize (KiB) 15788 [startup+402.303 s] /proc/loadavg: 1.15 1.10 1.09 2/68 5908 /proc/meminfo: memFree=1406344/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=380.82 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 294106 17121801 0 0 110 507 18065 19400 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 380.82 Current children cumulated vsize (KiB) 15788 [startup+462.302 s] /proc/loadavg: 1.13 1.11 1.09 2/68 9452 /proc/meminfo: memFree=1400008/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=437.27 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 338006 19689512 0 0 129 580 20693 22325 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 437.27 Current children cumulated vsize (KiB) 15788 [startup+522.303 s] /proc/loadavg: 1.05 1.08 1.08 2/68 12900 /proc/meminfo: memFree=1412936/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=493.16 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 381494 22233425 0 0 142 650 23314 25210 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 493.16 Current children cumulated vsize (KiB) 15788 [startup+582.302 s] /proc/loadavg: 1.02 1.07 1.08 1/68 16465 /proc/meminfo: memFree=1412872/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=550.14 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 425706 24819085 0 0 159 723 25967 28165 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 ################ # More data... # ################ Current children cumulated CPU time (s) 1059.51 Current children cumulated vsize (KiB) 15788 [startup+1182.3 s] /proc/loadavg: 1.08 1.04 1.05 2/67 19150 /proc/meminfo: memFree=1413968/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1116.15 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 864906 50507893 0 0 310 1474 52401 57430 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1116.15 Current children cumulated vsize (KiB) 15788 [startup+1242.3 s] /proc/loadavg: 1.20 1.08 1.06 2/68 22713 /proc/meminfo: memFree=1396296/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1173.27 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 909106 53093151 0 0 324 1555 55072 60376 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1173.27 Current children cumulated vsize (KiB) 15788 [startup+1302.3 s] /proc/loadavg: 1.19 1.09 1.07 2/67 26254 /proc/meminfo: memFree=1412944/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1229.89 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 952994 55660460 0 0 338 1636 57717 63298 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 [pid=26253] ppid=14967 vsize=5352 CPUtime=0 /proc/26253/stat : 26253 (sh) S 14967 14967 29566 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 13868013 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26253/statm: 1338 230 193 169 0 49 0 [pid=26254] ppid=26253 vsize=2520 CPUtime=0.01 /proc/26254/stat : 26254 (cat) R 26253 14967 29566 0 -1 4194304 116 0 0 0 0 1 0 0 18 0 1 0 13868013 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 208717709538 0 0 4096 0 0 0 0 17 0 0 0 /proc/26254/statm: 630 87 71 4 0 42 0 Current children cumulated CPU time (s) 1229.9 Current children cumulated vsize (KiB) 23660 [startup+1362.3 s] /proc/loadavg: 1.33 1.14 1.08 2/67 29729 /proc/meminfo: memFree=1410384/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1286.44 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 996806 58222724 0 0 351 1716 60364 66213 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1286.44 Current children cumulated vsize (KiB) 15788 [startup+1422.31 s] /proc/loadavg: 1.36 1.19 1.10 2/68 848 /proc/meminfo: memFree=1393544/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1343.76 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1041306 60825529 0 0 365 1790 63041 69180 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1343.76 Current children cumulated vsize (KiB) 15788 [startup+1482.3 s] /proc/loadavg: 1.33 1.20 1.11 2/67 4369 /proc/meminfo: memFree=1411024/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1400.58 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1085306 63399089 0 0 380 1869 65681 72128 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1400.58 Current children cumulated vsize (KiB) 15788 [startup+1542.3 s] /proc/loadavg: 1.12 1.16 1.10 2/66 7896 /proc/meminfo: memFree=1413912/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1456.8 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1128906 65949253 0 0 394 1950 68295 75041 15 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1456.8 Current children cumulated vsize (KiB) 15788 [startup+1602.3 s] /proc/loadavg: 1.08 1.15 1.09 2/67 11393 /proc/meminfo: memFree=1410320/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1513.66 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1173006 68528662 0 0 407 2031 70953 77975 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1513.66 Current children cumulated vsize (KiB) 15788 [startup+1662.3 s] /proc/loadavg: 1.03 1.12 1.08 2/68 14948 /proc/meminfo: memFree=1392264/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1570.81 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1217294 71119367 0 0 419 2111 73614 80937 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1570.81 Current children cumulated vsize (KiB) 15788 [startup+1722.3 s] /proc/loadavg: 1.05 1.11 1.08 2/68 18433 /proc/meminfo: memFree=1404936/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1627.31 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1261106 73681631 0 0 432 2188 76240 83871 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1627.31 Current children cumulated vsize (KiB) 15788 [startup+1782.3 s] /proc/loadavg: 1.06 1.10 1.08 2/66 21991 /proc/meminfo: memFree=1406616/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1684.29 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1305194 76260638 0 0 445 2272 78890 86822 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726437986 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1684.29 Current children cumulated vsize (KiB) 15788 [startup+1842.3 s] /proc/loadavg: 1.06 1.09 1.08 2/67 25454 /proc/meminfo: memFree=1409488/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1740.85 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1349006 78822902 0 0 460 2352 81526 89747 16 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1740.85 Current children cumulated vsize (KiB) 15788 [startup+1902.3 s] /proc/loadavg: 1.08 1.09 1.08 2/68 28977 /proc/meminfo: memFree=1390984/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1797.35 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1392706 81378915 0 0 474 2428 84150 92683 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 Current children cumulated CPU time (s) 1797.35 Current children cumulated vsize (KiB) 15788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1905.21 s] /proc/loadavg: 1.08 1.09 1.08 2/68 29177 /proc/meminfo: memFree=1405768/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1800.07 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1394806 81501744 0 0 475 2432 84276 92824 17 0 1 0 13737784 16166912 1291 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1291 342 3 0 1047 0 [pid=29175] ppid=14967 vsize=5352 CPUtime=0 /proc/29175/stat : 29175 (sh) S 14967 14967 29566 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 13928304 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/29175/statm: 1338 224 188 169 0 49 0 [pid=29176] ppid=29175 vsize=2520 CPUtime=0 /proc/29176/stat : 29176 (cat) R 29175 14967 29566 0 -1 4194304 119 0 0 0 0 0 0 0 17 0 1 0 13928305 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 208717709538 0 0 4096 0 0 0 0 17 0 0 0 /proc/29176/statm: 630 87 71 4 0 42 0 [pid=29177] ppid=29175 vsize=4280 CPUtime=0 /proc/29177/stat : 29177 (clasp) R 29175 14967 29566 0 -1 4194304 390 0 0 0 0 0 0 0 18 0 1 0 13928305 4382720 353 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135031377 0 0 4096 0 0 0 0 17 1 0 0 /proc/29177/statm: 1070 354 174 154 0 540 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 27940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1905.32 s] /proc/loadavg: 1.08 1.09 1.08 2/68 29177 /proc/meminfo: memFree=1405768/2055920 swapFree=4192956/4192956 [pid=14967] ppid=14965 vsize=15788 CPUtime=1800.13 /proc/14967/stat : 14967 (pbclasp) S 14965 14967 29566 0 -1 4194304 1394967 81503931 0 0 475 2433 84276 92829 17 0 1 0 13737784 16166912 1294 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 208726441876 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/14967/statm: 3947 1294 342 3 0 1047 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 15788 Child status: 0 # 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): 0.00012207 # lost CPU user time (s): 0 # lost CPU system time (s): 6.10352e-05 Real time (s): 1905.35 CPU time (s): 1800.24 CPU user time (s): 847.6 CPU system time (s): 952.641 CPU usage (%): 94.4833 Max. virtual memory (cumulated for all children) (KiB): 40896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 847.6 system time used= 952.641 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82904522 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= 683383 involuntary context switches= 181806 runsolver used 2.6266 second user time and 6.18406 second system time The end
Begin job on node47 on Sat Apr 14 22:15:24 UTC 2007 IDJOB= 348613 IDBENCH= 1698 IDSOLVER= 158 FILE ID= node47/348613-1176588924 PBS_JOBID= 4556961 Free space on /tmp= 66561 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-pilot.we.opb COMMAND LINE= pbclasp instance-348613-1176588924.opb /tmp/evaluation/348613-1176588924/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-348613-1176588924 -o ROOT/results/node47/conversion-348613-1176588924 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/348613-1176588924/instance-348613-1176588924.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-348613-1176588924 -o ROOT/results/node47/solver-348613-1176588924 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-348613-1176588924.opb /tmp/evaluation/348613-1176588924/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 6d89097601cc17df3da06374ded173c4 RANDOM SEED= 805800378 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1441616 kB Buffers: 80676 kB Cached: 418580 kB SwapCached: 0 kB Active: 297792 kB Inactive: 227284 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1441616 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3580 kB Writeback: 0 kB Mapped: 33328 kB Slab: 75200 kB Committed_AS: 1255844 kB PageTables: 1472 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= 66550 MiB End job on node47 on Sat Apr 14 22:47:12 UTC 2007