Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | ? (TO) | 1800.25 | 1903.61 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-grow22.opb |
MD5SUM | 16450e6196a99d1fc33b5d9a0f64103d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1782.76 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 25124 |
Total number of constraints | 1320 |
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 | 1320 |
Minimum length of a constraint | 22 |
Maximum length of a constraint | 491 |
Number of terms in the objective function | 1958 |
Biggest coefficient in the objective function | 8399 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 525721 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 256781 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525721 |
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. # 1798.25/1901.52 cat: write error: Broken pipe 1798.25/1901.52 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.34/1901.61 cat: write error: Broken pipe 1798.34/1901.61 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.43/1901.70 cat: write error: Broken pipe 1798.43/1901.70 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.43/1901.79 cat: write error: Broken pipe 1798.43/1901.79 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.59/1901.89 cat: write error: Broken pipe 1798.59/1901.89 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.68/1901.98 cat: write error: Broken pipe 1798.68/1901.98 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.78/1902.07 cat: write error: Broken pipe 1798.78/1902.07 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.87/1902.16 cat: write error: Broken pipe 1798.87/1902.17 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1798.98/1902.26 cat: write error: Broken pipe 1798.98/1902.26 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.07/1902.44 cat: write error: Broken pipe 1799.07/1902.44 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.16/1902.53 cat: write error: Broken pipe 1799.16/1902.53 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.25/1902.62 cat: write error: Broken pipe 1799.25/1902.62 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.34/1902.71 cat: write error: Broken pipe 1799.34/1902.72 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.42/1902.80 cat: write error: Broken pipe 1799.42/1902.81 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.42/1902.90 cat: write error: Broken pipe 1799.42/1902.90 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.58/1902.99 cat: write error: Broken pipe 1799.58/1902.99 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.69/1903.08 cat: write error: Broken pipe 1799.69/1903.09 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.78/1903.17 cat: write error: Broken pipe 1799.78/1903.18 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.86/1903.27 cat: write error: Broken pipe 1799.86/1903.27 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1799.97/1903.41 cat: write error: Broken pipe 1799.97/1903.42 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1800.10/1903.50 sh: line 1: 26269 Terminated cat /tmp/evaluation/351117-1176581123/temp/instance-351117-1176581123.opb.op 1800.10/1903.50 26270 | clasp >/tmp/evaluation/351117-1176581123/temp/instance-351117-1176581123.opb.clasp 1800.10/1903.51 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/351117-1176581123/pbclasp line 103. 1800.10/1903.51 c Somebody sent me a SIGTERM 1800.10/1903.51 s UNKNOWN 1800.10/1903.52 pb2clasp1: no process killed 1800.10/1903.52 clasp: no process killed 1800.10/1903.61 cat: write error: Broken pipe
ERROR: no interpretation found !
/tmp/evaluation/351117-1176581123/instance-351117-1176581123.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-351117-1176581123 -o ROOT/results/node71/solver-351117-1176581123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351117-1176581123.opb /tmp/evaluation/351117-1176581123/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.71 0.93 0.97 3/64 31012 /proc/meminfo: memFree=1770584/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=12268 CPUtime=0 /proc/31012/stat : 31012 (pbclasp) R 31010 31012 30929 0 -1 4194304 395 0 0 0 0 0 0 0 18 0 1 0 134101668 12562432 361 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231962219233 0 0 4224 0 0 0 0 17 1 0 0 /proc/31012/statm: 3067 361 275 3 0 167 0 [startup+0.00730898 s] /proc/loadavg: 0.71 0.93 0.97 3/64 31012 /proc/meminfo: memFree=1770584/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=12400 CPUtime=0 /proc/31012/stat : 31012 (pbclasp) R 31010 31012 30929 0 -1 4194304 463 0 0 0 0 0 0 0 18 0 1 0 134101668 12697600 429 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231961993248 0 0 4224 16384 0 0 0 17 1 0 0 /proc/31012/statm: 3100 429 314 3 0 200 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12400 [startup+0.101324 s] /proc/loadavg: 0.71 0.93 0.97 3/64 31012 /proc/meminfo: memFree=1770584/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=0.02 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 727 0 0 0 2 0 0 0 16 0 1 0 134101668 13639680 677 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31012/statm: 3330 677 322 3 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13320 [startup+0.301349 s] /proc/loadavg: 0.71 0.93 0.97 3/64 31012 /proc/meminfo: memFree=1770584/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=0.02 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 727 0 0 0 2 0 0 0 16 0 1 0 134101668 13639680 677 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31012/statm: 3330 677 322 3 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13320 [startup+0.701403 s] /proc/loadavg: 0.71 0.93 0.97 3/64 31012 /proc/meminfo: memFree=1770584/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=0.02 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 727 0 0 0 2 0 0 0 16 0 1 0 134101668 13639680 677 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31012/statm: 3330 677 322 3 0 430 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13320 [startup+1.50151 s] /proc/loadavg: 0.71 0.93 0.97 2/67 31015 /proc/meminfo: memFree=1767040/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=0.02 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 727 0 0 0 2 0 0 0 16 0 1 0 134101668 13639680 677 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31012/statm: 3330 677 322 3 0 430 0 [pid=31014] ppid=31012 vsize=5352 CPUtime=0 /proc/31014/stat : 31014 (sh) S 31012 31012 30929 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 134101671 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31014/statm: 1338 229 193 169 0 49 0 [pid=31015] ppid=31014 vsize=12532 CPUtime=1.47 /proc/31015/stat : 31015 (pb2clasp1) R 31014 31012 30929 0 -1 4194304 530 0 0 0 146 1 0 0 25 0 1 0 134101671 12832768 492 18446744073709551615 4194304 4206940 548682069360 18446744073709551615 231962253176 0 0 4224 0 0 0 0 17 1 0 0 /proc/31015/statm: 3133 492 340 3 0 233 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31204 [startup+3.10174 s] /proc/loadavg: 0.71 0.93 0.97 2/67 31015 /proc/meminfo: memFree=1765504/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=2.98 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1674 43784 0 0 2 1 252 43 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 13320 [startup+6.30118 s] /proc/loadavg: 0.81 0.95 0.98 2/66 31274 /proc/meminfo: memFree=1765152/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=5.82 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 4650 188988 0 0 4 5 395 178 17 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 5.82 Current children cumulated vsize (KiB) 13320 [startup+12.701 s] /proc/loadavg: 0.83 0.95 0.98 2/68 31798 /proc/meminfo: memFree=1759000/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=11.64 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 10794 488764 0 0 6 12 683 463 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 11.64 Current children cumulated vsize (KiB) 13320 [startup+25.5018 s] /proc/loadavg: 0.87 0.95 0.98 2/68 410 /proc/meminfo: memFree=1752536/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=23.61 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 23370 1102368 0 0 10 31 1279 1041 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 23.61 Current children cumulated vsize (KiB) 13320 [startup+51.1025 s] /proc/loadavg: 0.91 0.96 0.98 2/68 2518 /proc/meminfo: memFree=1759768/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=47.51 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 48522 2329576 0 0 19 63 2463 2206 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 47.51 Current children cumulated vsize (KiB) 13320 [startup+102.306 s] /proc/loadavg: 1.03 0.98 0.98 2/67 6739 /proc/meminfo: memFree=1762976/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=95.28 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 98718 4778906 0 0 35 133 4823 4537 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 95.28 Current children cumulated vsize (KiB) 13320 [startup+162.301 s] /proc/loadavg: 1.11 1.02 1.00 1/68 11590 /proc/meminfo: memFree=1759512/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=151.34 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 157578 7650600 0 0 55 221 7601 7257 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 151.34 Current children cumulated vsize (KiB) 13320 [startup+222.303 s] /proc/loadavg: 1.08 1.03 1.00 2/68 16566 /proc/meminfo: memFree=1758104/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=207.59 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 216618 10531260 0 0 74 301 10378 10006 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 207.59 Current children cumulated vsize (KiB) 13320 [startup+282.302 s] /proc/loadavg: 1.03 1.02 1.00 2/67 21427 /proc/meminfo: memFree=1760672/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=263.72 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 275646 13411518 0 0 95 377 13159 12741 17 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 263.72 Current children cumulated vsize (KiB) 13320 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.00 2/68 26390 /proc/meminfo: memFree=1751512/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=319.93 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 334602 16287896 0 0 114 460 15943 15476 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 319.93 Current children cumulated vsize (KiB) 13320 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/68 31286 /proc/meminfo: memFree=1757912/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=376.43 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 393930 19182608 0 0 137 536 18740 18230 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 376.43 Current children cumulated vsize (KiB) 13320 [startup+462.302 s] /proc/loadavg: 1.07 1.02 1.00 2/68 3806 /proc/meminfo: memFree=1749400/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=432.65 /proc/31012/stat : 31012 (pbclasp) R 31010 31012 30929 0 -1 4194304 452926 22062464 0 0 156 616 21538 20955 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231962372767 0 0 4224 16384 0 0 0 17 1 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 432.65 Current children cumulated vsize (KiB) 13320 [startup+522.301 s] /proc/loadavg: 1.10 1.05 1.01 2/67 8707 /proc/meminfo: memFree=1757344/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=489.28 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 512364 24961860 0 0 176 696 24342 23714 17 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 489.28 Current children cumulated vsize (KiB) 13320 [startup+582.302 s] /proc/loadavg: 1.04 1.03 1.00 2/67 13691 /proc/meminfo: memFree=1758112/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=545.67 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 571614 27852290 0 0 195 775 27141 26456 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 545.67 Current children cumulated vsize (KiB) 13320 [startup+642.303 s] /proc/loadavg: 1.01 1.03 1.00 3/67 18661 /proc/meminfo: memFree=1756448/2055920 swapFree=4184248/4192956 ################ # More data... # ################ [startup+1182.3 s] /proc/loadavg: 1.03 1.03 1.00 2/68 31126 /proc/meminfo: memFree=1741720/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1115.5 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1170378 57066800 0 0 375 1547 55394 54234 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1115.5 Current children cumulated vsize (KiB) 13320 [startup+1242.3 s] /proc/loadavg: 1.04 1.03 1.00 2/66 3738 /proc/meminfo: memFree=1754792/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1172.65 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1230378 59994300 0 0 393 1629 58238 57005 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1172.65 Current children cumulated vsize (KiB) 13320 [startup+1302.3 s] /proc/loadavg: 1.05 1.04 1.00 2/68 8742 /proc/meminfo: memFree=1749400/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1229.32 /proc/31012/stat : 31012 (pbclasp) R 31010 31012 30929 0 -1 4194304 1289920 62902146 0 0 411 1704 61052 59765 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231962372767 0 0 4224 16384 0 0 0 17 1 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1229.32 Current children cumulated vsize (KiB) 13320 [startup+1362.3 s] /proc/loadavg: 1.12 1.06 1.01 2/67 13675 /proc/meminfo: memFree=1751712/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1286.21 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1349706 65816512 0 0 431 1785 63867 62538 17 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1286.21 Current children cumulated vsize (KiB) 13320 [startup+1422.31 s] /proc/loadavg: 1.04 1.05 1.00 2/66 18703 /proc/meminfo: memFree=1750632/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1343.18 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1409598 68738926 0 0 447 1863 66711 65297 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1343.18 Current children cumulated vsize (KiB) 13320 [startup+1482.3 s] /proc/loadavg: 1.01 1.03 1.00 2/68 23646 /proc/meminfo: memFree=1749912/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1400.29 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1469418 71657460 0 0 466 1941 69539 68083 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1400.29 Current children cumulated vsize (KiB) 13320 [startup+1542.3 s] /proc/loadavg: 1.00 1.03 1.00 3/66 28632 /proc/meminfo: memFree=1749864/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1456.85 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1528830 74556454 0 0 483 2020 72354 70828 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1456.85 Current children cumulated vsize (KiB) 13320 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/68 1139 /proc/meminfo: memFree=1742424/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1514.13 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1589022 77493322 0 0 501 2102 75205 73605 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1514.13 Current children cumulated vsize (KiB) 13320 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/68 6262 /proc/meminfo: memFree=1746648/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1571.81 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1649502 80444242 0 0 516 2188 78055 76422 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1571.81 Current children cumulated vsize (KiB) 13320 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/68 11158 /proc/meminfo: memFree=1748184/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1628.26 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1708746 83334672 0 0 534 2268 80857 79167 17 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1628.26 Current children cumulated vsize (KiB) 13320 [startup+1782.3 s] /proc/loadavg: 1.06 1.02 1.00 2/68 16166 /proc/meminfo: memFree=1736664/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1685.13 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1768542 86252402 0 0 551 2345 83682 81935 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1685.13 Current children cumulated vsize (KiB) 13320 [startup+1842.3 s] /proc/loadavg: 1.02 1.01 1.00 3/66 21106 /proc/meminfo: memFree=1750504/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1741.97 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1828266 89166252 0 0 570 2422 86503 84702 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1741.97 Current children cumulated vsize (KiB) 13320 [startup+1902.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 26136 /proc/meminfo: memFree=1747112/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1799.05 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1888236 92092948 0 0 590 2499 89340 87476 16 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 Current children cumulated CPU time (s) 1799.05 Current children cumulated vsize (KiB) 13320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1903.5 s] /proc/loadavg: 1.00 1.01 1.00 2/68 26270 /proc/meminfo: memFree=1735832/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1800.06 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1889322 92145276 0 0 590 2500 89391 87525 17 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 [pid=26268] ppid=31012 vsize=5352 CPUtime=0 /proc/26268/stat : 26268 (sh) S 31012 31012 30929 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 134292014 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26268/statm: 1338 224 188 169 0 49 0 [pid=26269] ppid=26268 vsize=2520 CPUtime=0 /proc/26269/stat : 26269 (cat) S 26268 31012 30929 0 -1 4194304 119 0 0 0 0 0 0 0 17 0 1 0 134292014 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 231962542306 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/26269/statm: 630 87 71 4 0 42 0 [pid=26270] ppid=26268 vsize=12472 CPUtime=0.04 /proc/26270/stat : 26270 (clasp) R 26268 31012 30929 0 -1 4194304 3324 0 0 0 3 1 0 0 21 0 1 0 134292014 12771328 2775 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134657591 0 0 4096 0 0 0 0 17 0 0 0 /proc/26270/statm: 3118 2775 191 154 0 2588 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 33664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1903.5 s] /proc/loadavg: 1.00 1.01 1.00 2/68 26270 /proc/meminfo: memFree=1735832/2055920 swapFree=4184248/4192956 [pid=31012] ppid=31010 vsize=13320 CPUtime=1800.06 /proc/31012/stat : 31012 (pbclasp) S 31010 31012 30929 0 -1 4194304 1889322 92145276 0 0 590 2500 89391 87525 17 0 1 0 134101668 13639680 697 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31012/statm: 3330 697 342 3 0 430 0 [pid=26268] ppid=31012 vsize=5352 CPUtime=0 /proc/26268/stat : 26268 (sh) S 31012 31012 30929 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 134292014 5480448 224 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26268/statm: 1338 224 188 169 0 49 0 [pid=26269] ppid=26268 vsize=2520 CPUtime=0 /proc/26269/stat : 26269 (cat) S 26268 31012 30929 0 -1 4194304 119 0 0 0 0 0 0 0 17 0 1 0 134292014 2580480 87 18446744073709551615 4194304 4211220 548682069456 18446744073709551615 231962542306 0 0 4096 0 18446744071563648864 0 0 17 0 0 0 /proc/26269/statm: 630 87 71 4 0 42 0 [pid=26270] ppid=26268 vsize=12472 CPUtime=0.04 /proc/26270/stat : 26270 (clasp) R 26268 31012 30929 0 -1 4194304 3324 0 0 0 3 1 0 0 21 0 1 0 134292014 12771328 2775 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134657591 0 0 4096 0 0 0 0 17 0 0 0 /proc/26270/statm: 3118 2775 191 154 0 2588 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 33664 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): 1903.61 CPU time (s): 1800.25 CPU user time (s): 899.918 CPU system time (s): 900.334 CPU usage (%): 94.5702 Max. virtual memory (cumulated for all children) (KiB): 34476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 899.918 system time used= 900.334 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94043902 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= 954404 involuntary context switches= 245946 runsolver used 2.89156 second user time and 6.543 second system time The end
Begin job on node71 on Sat Apr 14 20:05:23 UTC 2007 IDJOB= 351117 IDBENCH= 1665 IDSOLVER= 158 FILE ID= node71/351117-1176581123 PBS_JOBID= 4556964 Free space on /tmp= 66562 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-grow22.opb COMMAND LINE= pbclasp instance-351117-1176581123.opb /tmp/evaluation/351117-1176581123/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node71/convwatcher-351117-1176581123 -o ROOT/results/node71/conversion-351117-1176581123 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351117-1176581123/instance-351117-1176581123.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-351117-1176581123 -o ROOT/results/node71/solver-351117-1176581123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351117-1176581123.opb /tmp/evaluation/351117-1176581123/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 16450e6196a99d1fc33b5d9a0f64103d RANDOM SEED= 463109402 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1770992 kB Buffers: 22004 kB Cached: 167612 kB SwapCached: 2688 kB Active: 45828 kB Inactive: 153652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1770992 kB SwapTotal: 4192956 kB SwapFree: 4184248 kB Dirty: 2868 kB Writeback: 0 kB Mapped: 15460 kB Slab: 71480 kB Committed_AS: 1126540 kB PageTables: 1448 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= 66556 MiB End job on node71 on Sat Apr 14 20:37:09 UTC 2007