Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | ? (TO) | 1800.15 | 1997.2 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_3.opb |
MD5SUM | e05fbfdce4433b0b2590ec382b530cec |
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 | -71 |
Best CPU time to get the best result obtained on this benchmark | 1800.44 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 150588 |
Sum of products size (including duplicates) | 301176 |
Number of different products | 75294 |
Sum of products size | 150588 |
[...] # # trace file is too large. Trace was truncated at this point. # 1798.63/1995.72 cat: write error: Broken pipe 1798.63/1995.72 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1798.63/1995.79 cat: write error: Broken pipe 1798.63/1995.79 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1798.77/1995.86 cat: write error: Broken pipe 1798.77/1995.86 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1798.84/1995.93 cat: write error: Broken pipe 1798.84/1995.93 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1798.96/1996.00 cat: write error: Broken pipe 1798.96/1996.00 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1798.96/1996.07 cat: write error: Broken pipe 1798.96/1996.07 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.06/1996.14 cat: write error: Broken pipe 1799.06/1996.14 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.13/1996.21 cat: write error: Broken pipe 1799.13/1996.21 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.13/1996.28 cat: write error: Broken pipe 1799.13/1996.28 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.26/1996.35 cat: write error: Broken pipe 1799.26/1996.35 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.32/1996.42 cat: write error: Broken pipe 1799.32/1996.42 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.32/1996.49 cat: write error: Broken pipe 1799.32/1996.49 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.44/1996.57 cat: write error: Broken pipe 1799.44/1996.57 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.53/1996.64 cat: write error: Broken pipe 1799.53/1996.64 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.60/1996.71 cat: write error: Broken pipe 1799.60/1996.71 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.60/1996.78 cat: write error: Broken pipe 1799.60/1996.78 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.74/1996.85 cat: write error: Broken pipe 1799.74/1996.85 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.81/1996.92 cat: write error: Broken pipe 1799.81/1996.92 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.81/1996.99 cat: write error: Broken pipe 1799.81/1996.99 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1799.95/1997.06 cat: write error: Broken pipe 1799.95/1997.06 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1800.05/1997.10 sh: line 1: 27940 Terminated cat /tmp/evaluation/454864-1178032723/temp/instance-454864-1178032723.opb.lp >>/tmp/evaluation/454864-1178032723/temp/instance-454864-1178032723.opb.op 1800.05/1997.11 cat: write error: Broken pipe 1800.05/1997.11 c Somebody sent me a SIGTERM 1800.05/1997.11 s UNKNOWN 1800.05/1997.12 pb2clasp1: no process killed 1800.05/1997.12 clasp-1.0: no process killed 1800.05/1997.12 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/454864-1178032723/pbclasp line 103. 1800.05/1997.19 cat: write error: Broken pipe
ERROR: no interpretation found !
Linearizing /tmp/evaluation/454864-1178032723/instance-454864-1178032723.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-454864-1178032723 -o ROOT/results/node23/solver-454864-1178032723 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-454864-1178032723.opb /tmp/evaluation/454864-1178032723/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.79 0.92 0.96 3/77 17056 /proc/meminfo: memFree=1873528/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=12268 CPUtime=0 /proc/17056/stat : 17056 (pbclasp) R 17054 17056 16969 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 251189850 12562432 364 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238487507681 0 0 4224 0 0 0 0 17 1 0 0 /proc/17056/statm: 3067 365 276 3 0 167 0 [startup+0.101236 s] /proc/loadavg: 0.79 0.92 0.96 3/77 17056 /proc/meminfo: memFree=1873528/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15656 [startup+0.201255 s] /proc/loadavg: 0.79 0.92 0.96 3/77 17056 /proc/meminfo: memFree=1873528/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15656 [startup+0.301273 s] /proc/loadavg: 0.79 0.92 0.96 3/77 17056 /proc/meminfo: memFree=1873528/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15656 [startup+0.701351 s] /proc/loadavg: 0.79 0.92 0.96 3/77 17056 /proc/meminfo: memFree=1873528/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15656 [startup+1.50251 s] /proc/loadavg: 0.79 0.92 0.96 2/80 17059 /proc/meminfo: memFree=1867872/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 [pid=17058] ppid=17056 vsize=5352 CPUtime=0 /proc/17058/stat : 17058 (sh) S 17056 17056 16969 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251189857 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17058/statm: 1338 229 193 169 0 49 0 [pid=17059] ppid=17058 vsize=12400 CPUtime=1.42 /proc/17059/stat : 17059 (pb2clasp1) R 17058 17056 16969 0 -1 4194304 505 0 0 0 141 1 0 0 25 0 1 0 251189857 12697600 467 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 238505464051 0 0 4224 0 0 0 0 17 1 0 0 /proc/17059/statm: 3100 467 340 3 0 200 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 33408 [startup+3.10182 s] /proc/loadavg: 0.79 0.92 0.96 3/80 17059 /proc/meminfo: memFree=1866912/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 [pid=17058] ppid=17056 vsize=5352 CPUtime=0 /proc/17058/stat : 17058 (sh) S 17056 17056 16969 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251189857 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17058/statm: 1338 229 193 169 0 49 0 [pid=17059] ppid=17058 vsize=12936 CPUtime=3.02 /proc/17059/stat : 17059 (pb2clasp1) R 17058 17056 16969 0 -1 4194304 630 0 0 0 301 1 0 0 25 0 1 0 251189857 13246464 592 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 238487493647 0 0 4224 0 0 0 0 17 1 0 0 /proc/17059/statm: 3234 592 340 3 0 334 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 33944 [startup+6.30143 s] /proc/loadavg: 0.81 0.92 0.96 2/80 17059 /proc/meminfo: memFree=1865440/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 [pid=17058] ppid=17056 vsize=5352 CPUtime=0 /proc/17058/stat : 17058 (sh) S 17056 17056 16969 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251189857 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17058/statm: 1338 229 193 169 0 49 0 [pid=17059] ppid=17058 vsize=12936 CPUtime=6.22 /proc/17059/stat : 17059 (pb2clasp1) R 17058 17056 16969 0 -1 4194304 630 0 0 0 620 2 0 0 25 0 1 0 251189857 13246464 592 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 238505665410 0 0 4224 0 0 0 0 17 1 0 0 /proc/17059/statm: 3234 592 340 3 0 334 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 33944 [startup+12.7017 s] /proc/loadavg: 0.82 0.93 0.96 2/80 17059 /proc/meminfo: memFree=1862496/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 [pid=17058] ppid=17056 vsize=5352 CPUtime=0 /proc/17058/stat : 17058 (sh) S 17056 17056 16969 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251189857 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17058/statm: 1338 229 193 169 0 49 0 [pid=17059] ppid=17058 vsize=12936 CPUtime=12.61 /proc/17059/stat : 17059 (pb2clasp1) R 17058 17056 16969 0 -1 4194304 630 0 0 0 1258 3 0 0 25 0 1 0 251189857 13246464 592 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 238505897009 0 0 4224 0 0 0 0 17 1 0 0 /proc/17059/statm: 3234 592 340 3 0 334 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 33944 [startup+13.2018 s] /proc/loadavg: 0.82 0.93 0.96 2/80 17059 /proc/meminfo: memFree=1860896/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=0.05 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1297 0 0 0 5 0 0 0 16 0 1 0 251189850 16031744 1247 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1247 322 3 0 1014 0 [pid=17058] ppid=17056 vsize=5352 CPUtime=0 /proc/17058/stat : 17058 (sh) S 17056 17056 16969 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251189857 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/17058/statm: 1338 229 193 169 0 49 0 [pid=17059] ppid=17058 vsize=0 CPUtime=13.1 /proc/17059/stat : 17059 (pb2clasp1) D 17058 17056 16969 0 -1 4194308 632 0 0 0 1306 4 0 0 25 0 1 0 251189857 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/17059/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 13.15 Current children cumulated vsize (KiB) 21008 # WARNING: # current cumulated CPU time (13.15 s) is less than in the last sample (13.15 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (9.53674e-07 s) to the 'lost time'. [startup+13.3058 s] /proc/loadavg: 0.82 0.93 0.96 2/80 17059 /proc/meminfo: memFree=1860896/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=13.15 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1368 1318 0 0 5 0 1306 4 17 0 1 0 251189850 16031744 1266 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1266 341 3 0 1014 0 Current children cumulated CPU time (s) 13.15 Current children cumulated vsize (KiB) 15656 [startup+25.5012 s] /proc/loadavg: 0.86 0.93 0.96 2/80 18207 /proc/meminfo: memFree=1857696/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=23.33 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 15904 245323 0 0 10 25 1393 905 16 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 23.33 Current children cumulated vsize (KiB) 15656 [startup+51.1011 s] /proc/loadavg: 0.91 0.93 0.96 2/80 20775 /proc/meminfo: memFree=1852384/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=45.95 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 48314 789775 0 0 20 81 1578 2916 16 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 45.95 Current children cumulated vsize (KiB) 15656 [startup+102.301 s] /proc/loadavg: 1.17 1.00 0.98 2/80 26085 /proc/meminfo: memFree=1854880/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=91.6 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 113777 1889191 0 0 42 196 1964 6958 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 [pid=26084] ppid=17056 vsize=5352 CPUtime=0 /proc/26084/stat : 26084 (sh) S 17056 17056 16969 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251200080 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26084/statm: 1338 230 193 169 0 49 0 [pid=26085] ppid=26084 vsize=0 CPUtime=0 /proc/26085/stat : 26085 (cat) D 26084 17056 16969 0 -1 4194308 118 0 0 0 0 0 0 0 15 0 1 0 251200080 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0 /proc/26085/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 91.6 Current children cumulated vsize (KiB) 21008 [startup+162.302 s] /proc/loadavg: 1.06 1.00 0.98 2/78 32119 /proc/meminfo: memFree=1856936/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=144.57 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 189641 3163507 0 0 68 329 2413 11647 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 144.57 Current children cumulated vsize (KiB) 15656 [startup+222.306 s] /proc/loadavg: 1.20 1.04 1.00 2/80 5789 /proc/meminfo: memFree=1852640/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=197.18 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 264889 4427377 0 0 93 460 2863 16302 18 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 197.18 Current children cumulated vsize (KiB) 15656 [startup+282.302 s] /proc/loadavg: 1.10 1.05 1.00 2/79 11857 /proc/meminfo: memFree=1845416/2055920 swapFree=4169104/4192956 ################ # More data... # ################ [pid=17056] ppid=17054 vsize=15656 CPUtime=1003.44 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1419428 23818993 0 0 473 2488 9638 87745 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1003.44 Current children cumulated vsize (KiB) 15656 [startup+1182.3 s] /proc/loadavg: 1.06 1.04 1.00 2/80 7498 /proc/meminfo: memFree=1842912/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1058.74 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1498574 25148551 0 0 499 2631 10100 92644 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1058.74 Current children cumulated vsize (KiB) 15656 [startup+1242.3 s] /proc/loadavg: 1.02 1.03 1.00 2/79 13841 /proc/meminfo: memFree=1842728/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1113.53 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1576901 26463913 0 0 524 2770 10557 97502 16 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1113.53 Current children cumulated vsize (KiB) 15656 [startup+1302.3 s] /proc/loadavg: 1.16 1.07 1.01 2/78 20100 /proc/meminfo: memFree=1834216/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1168.56 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1655649 27786775 0 0 550 2904 11025 102377 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1168.56 Current children cumulated vsize (KiB) 15656 [startup+1362.3 s] /proc/loadavg: 1.06 1.05 1.01 2/80 26477 /proc/meminfo: memFree=1837792/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1223.5 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1734375 29108833 0 0 577 3041 11484 107248 18 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1223.5 Current children cumulated vsize (KiB) 15656 [startup+1422.3 s] /proc/loadavg: 1.09 1.07 1.01 2/79 32749 /proc/meminfo: memFree=1841576/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1277.61 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1811816 30409531 0 0 602 3176 11947 112036 16 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 [pid=32749] ppid=17056 vsize=5352 CPUtime=0 /proc/32749/stat : 32749 (sh) R 17056 17056 16969 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 251332080 5480448 226 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 4417408 0 0 4100 65536 0 0 0 17 0 0 0 /proc/32749/statm: 1338 226 191 169 0 49 0 Current children cumulated CPU time (s) 1277.61 Current children cumulated vsize (KiB) 21008 [startup+1482.3 s] /proc/loadavg: 1.03 1.05 1.00 2/80 6515 /proc/meminfo: memFree=1840672/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1331.87 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1889655 31716925 0 0 628 3310 12397 116852 18 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1331.87 Current children cumulated vsize (KiB) 15656 [startup+1542.31 s] /proc/loadavg: 1.31 1.12 1.03 1/79 12694 /proc/meminfo: memFree=1832232/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1385.04 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 1965812 32996263 0 0 656 3440 12836 121572 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 [pid=12692] ppid=17056 vsize=0 CPUtime=0 /proc/12692/stat : 12692 (sh) D 17056 17056 16969 0 -1 4194308 298 458 0 0 0 0 0 0 16 0 1 0 251344069 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4100 65536 18446744072099781622 0 0 17 0 0 0 /proc/12692/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1385.04 Current children cumulated vsize (KiB) 15656 [startup+1602.3 s] /proc/loadavg: 1.40 1.17 1.05 2/78 18749 /proc/meminfo: memFree=1831912/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1438.36 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2042145 34278145 0 0 679 3574 13285 126298 16 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1438.36 Current children cumulated vsize (KiB) 15656 [startup+1662.3 s] /proc/loadavg: 1.40 1.23 1.07 2/80 25140 /proc/meminfo: memFree=1834144/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1493.5 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2121081 35603953 0 0 705 3713 13749 131183 16 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1493.5 Current children cumulated vsize (KiB) 15656 [startup+1722.3 s] /proc/loadavg: 1.34 1.24 1.09 2/78 31334 /proc/meminfo: memFree=1831016/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1547.93 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2198921 36911347 0 0 732 3851 14202 136008 18 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1547.93 Current children cumulated vsize (KiB) 15656 [startup+1782.3 s] /proc/loadavg: 1.27 1.23 1.09 2/79 5254 /proc/meminfo: memFree=1829992/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1602.85 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2277359 38228785 0 0 755 3991 14663 140876 18 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1602.85 Current children cumulated vsize (KiB) 15656 [startup+1842.3 s] /proc/loadavg: 1.10 1.18 1.09 2/80 11490 /proc/meminfo: memFree=1831840/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1657.81 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2355896 39547897 0 0 783 4126 15131 145741 18 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1657.81 Current children cumulated vsize (KiB) 15656 [startup+1902.3 s] /proc/loadavg: 1.16 1.19 1.09 1/81 17918 /proc/meminfo: memFree=1828888/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1713.25 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2435131 40878727 0 0 809 4267 15602 150647 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1713.25 Current children cumulated vsize (KiB) 15656 [startup+1962.3 s] /proc/loadavg: 1.11 1.17 1.09 2/80 24163 /proc/meminfo: memFree=1832864/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1768.15 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2513768 42199513 0 0 838 4403 16051 155523 17 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 Current children cumulated CPU time (s) 1768.15 Current children cumulated vsize (KiB) 15656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1997.1 s] /proc/loadavg: 1.06 1.15 1.09 2/80 27940 /proc/meminfo: memFree=1832928/2055920 swapFree=4169104/4192956 [pid=17056] ppid=17054 vsize=15656 CPUtime=1800.03 /proc/17056/stat : 17056 (pbclasp) S 17054 17056 16969 0 -1 4194304 2559415 42966205 0 0 853 4483 16320 158347 18 0 1 0 251189850 16031744 1268 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/17056/statm: 3914 1268 342 3 0 1014 0 [pid=27939] ppid=17056 vsize=5352 CPUtime=0 /proc/27939/stat : 27939 (sh) S 17056 17056 16969 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 251389558 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/27939/statm: 1338 230 193 169 0 49 0 [pid=27940] ppid=27939 vsize=2520 CPUtime=0.02 /proc/27940/stat : 27940 (cat) R 27939 17056 16969 0 -1 4194304 116 0 0 0 0 2 0 0 18 0 1 0 251389559 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 238487830754 0 0 4096 0 0 0 0 17 1 0 0 /proc/27940/statm: 630 87 71 4 0 42 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 23528 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples 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): 9.53674e-07 # lost CPU user time (s): 9.53674e-07 # lost CPU system time (s): 0 Real time (s): 1997.2 CPU time (s): 1800.15 CPU user time (s): 171.748 CPU system time (s): 1628.41 CPU usage (%): 90.134 Max. virtual memory (cumulated for all children) (KiB): 33944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 171.748 system time used= 1628.41 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45529765 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= 1326392 involuntary context switches= 309757 runsolver used 3.20251 second user time and 6.88595 second system time The end
Begin job on node23 on Tue May 1 15:18:43 UTC 2007 IDJOB= 454864 IDBENCH= 48225 IDSOLVER= 167 FILE ID= node23/454864-1178032723 PBS_JOBID= 4728422 Free space on /tmp= 66562 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_3.opb COMMAND LINE= pbclasp instance-454864-1178032723.opb /tmp/evaluation/454864-1178032723/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node23/convwatcher-454864-1178032723 -o ROOT/results/node23/conversion-454864-1178032723 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454864-1178032723/instance-454864-1178032723.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-454864-1178032723 -o ROOT/results/node23/solver-454864-1178032723 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-454864-1178032723.opb /tmp/evaluation/454864-1178032723/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= e05fbfdce4433b0b2590ec382b530cec RANDOM SEED= 269189310 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node23.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.276 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.276 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: 1873936 kB Buffers: 26792 kB Cached: 75096 kB SwapCached: 2424 kB Active: 78632 kB Inactive: 46004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1873936 kB SwapTotal: 4192956 kB SwapFree: 4169104 kB Dirty: 7472 kB Writeback: 0 kB Mapped: 30072 kB Slab: 42860 kB Committed_AS: 4019740 kB PageTables: 1796 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= 66542 MiB End job on node23 on Tue May 1 15:52:07 UTC 2007