Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | ? (TO) | 1800.13 | 2058.97 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_2.opb |
MD5SUM | 16914dfad82872f4c1ab9b61e8ec867a |
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 | -44 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74976 |
Sum of products size (including duplicates) | 149952 |
Number of different products | 37488 |
Sum of products size | 74976 |
[...] # # trace file is too large. Trace was truncated at this point. # 1799.12/2057.73 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.12/2057.77 cat: write error: Broken pipe 1799.12/2057.77 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.20/2057.81 cat: write error: Broken pipe 1799.20/2057.82 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.20/2057.86 cat: write error: Broken pipe 1799.20/2057.86 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.32/2057.90 cat: write error: Broken pipe 1799.32/2057.90 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.32/2057.94 cat: write error: Broken pipe 1799.32/2057.95 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.39/2058.07 cat: write error: Broken pipe 1799.39/2058.07 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.43/2058.17 cat: write error: Broken pipe 1799.43/2058.17 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.47/2058.21 cat: write error: Broken pipe 1799.47/2058.21 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.47/2058.25 cat: write error: Broken pipe 1799.47/2058.26 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.47/2058.30 cat: write error: Broken pipe 1799.59/2058.30 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.59/2058.34 cat: write error: Broken pipe 1799.59/2058.34 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.59/2058.38 cat: write error: Broken pipe 1799.59/2058.39 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.68/2058.43 cat: write error: Broken pipe 1799.68/2058.43 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.68/2058.49 cat: write error: Broken pipe 1799.68/2058.49 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.76/2058.53 cat: write error: Broken pipe 1799.76/2058.54 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.76/2058.59 cat: write error: Broken pipe 1799.76/2058.59 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.84/2058.63 cat: write error: Broken pipe 1799.84/2058.64 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.84/2058.68 cat: write error: Broken pipe 1799.84/2058.68 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.93/2058.77 cat: write error: Broken pipe 1799.93/2058.77 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.98/2058.81 cat: write error: Broken pipe 1799.98/2058.85 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1799.98/2058.89 cat: write error: Broken pipe 1800.05/2058.91 c Somebody sent me a SIGTERM 1800.05/2058.91 s UNKNOWN 1800.05/2058.91 pb2clasp1: no process killed 1800.05/2058.92 clasp: no process killed 1800.05/2058.92 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455380-1178042267/pbclasp line 103. 1800.05/2058.96 cat: write error: Broken pipe
ERROR: no interpretation found !
Linearizing /tmp/evaluation/455380-1178042267/instance-455380-1178042267.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-455380-1178042267 -o ROOT/results/node48/solver-455380-1178042267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-455380-1178042267.opb /tmp/evaluation/455380-1178042267/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.99 0.98 0.99 3/64 9802 /proc/meminfo: memFree=1857560/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=12268 CPUtime=0 /proc/9802/stat : 9802 (pbclasp) D 9800 9802 8904 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 159072256 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255539772005 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/9802/statm: 3067 317 242 3 0 167 0 [startup+0.0589331 s] /proc/loadavg: 0.99 0.98 0.99 3/64 9802 /proc/meminfo: memFree=1857560/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=0.03 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 891 0 0 0 3 0 0 0 16 0 1 0 159072256 14303232 841 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 841 322 3 0 592 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13968 [startup+0.101933 s] /proc/loadavg: 0.99 0.98 0.99 3/64 9802 /proc/meminfo: memFree=1857560/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=0.03 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 891 0 0 0 3 0 0 0 16 0 1 0 159072256 14303232 841 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 841 322 3 0 592 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13968 [startup+0.301952 s] /proc/loadavg: 0.99 0.98 0.99 3/64 9802 /proc/meminfo: memFree=1857560/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=0.03 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 891 0 0 0 3 0 0 0 16 0 1 0 159072256 14303232 841 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 841 322 3 0 592 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13968 [startup+0.701989 s] /proc/loadavg: 0.99 0.98 0.99 3/64 9802 /proc/meminfo: memFree=1857560/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=0.03 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 891 0 0 0 3 0 0 0 16 0 1 0 159072256 14303232 841 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 841 322 3 0 592 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13968 [startup+1.50206 s] /proc/loadavg: 0.99 0.98 0.99 2/67 9805 /proc/meminfo: memFree=1853632/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=0.03 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 891 0 0 0 3 0 0 0 16 0 1 0 159072256 14303232 841 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 841 322 3 0 592 0 [pid=9804] ppid=9802 vsize=5352 CPUtime=0 /proc/9804/stat : 9804 (sh) S 9802 9802 8904 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 159072260 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/9804/statm: 1338 229 193 169 0 49 0 [pid=9805] ppid=9804 vsize=12664 CPUtime=1.45 /proc/9805/stat : 9805 (pb2clasp1) R 9804 9802 8904 0 -1 4194304 563 0 0 0 144 1 0 0 25 0 1 0 159072260 12967936 525 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255553216981 0 0 4224 0 0 0 0 17 1 0 0 /proc/9805/statm: 3166 525 340 3 0 266 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 31984 [startup+3.10121 s] /proc/loadavg: 0.99 0.98 0.99 2/67 9805 /proc/meminfo: memFree=1853120/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=0.03 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 891 0 0 0 3 0 0 0 16 0 1 0 159072256 14303232 841 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 841 322 3 0 592 0 [pid=9804] ppid=9802 vsize=5352 CPUtime=0 /proc/9804/stat : 9804 (sh) S 9802 9802 8904 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 159072260 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/9804/statm: 1338 229 193 169 0 49 0 [pid=9805] ppid=9804 vsize=12664 CPUtime=3.05 /proc/9805/stat : 9805 (pb2clasp1) R 9804 9802 8904 0 -1 4194304 563 0 0 0 303 2 0 0 25 0 1 0 159072260 12967936 525 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255548501970 0 0 4224 0 0 0 0 17 1 0 0 /proc/9805/statm: 3166 525 340 3 0 266 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 31984 [startup+6.30151 s] /proc/loadavg: 0.99 0.98 0.99 2/67 9805 /proc/meminfo: memFree=1851648/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=0.03 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 891 0 0 0 3 0 0 0 16 0 1 0 159072256 14303232 841 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 841 322 3 0 592 0 [pid=9804] ppid=9802 vsize=5352 CPUtime=0 /proc/9804/stat : 9804 (sh) S 9802 9802 8904 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 159072260 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/9804/statm: 1338 229 193 169 0 49 0 [pid=9805] ppid=9804 vsize=12664 CPUtime=6.25 /proc/9805/stat : 9805 (pb2clasp1) R 9804 9802 8904 0 -1 4194304 563 0 0 0 623 2 0 0 25 0 1 0 159072260 12967936 525 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 255553272608 0 0 4224 0 0 0 0 17 1 0 0 /proc/9805/statm: 3166 525 340 3 0 266 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 31984 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 1/67 10671 /proc/meminfo: memFree=1849928/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=11.69 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 13317 199370 0 0 6 18 702 443 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 11.69 Current children cumulated vsize (KiB) 13968 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.99 2/66 12762 /proc/meminfo: memFree=1845968/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=22.54 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 39315 615638 0 0 13 55 827 1359 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 22.54 Current children cumulated vsize (KiB) 13968 [startup+51.1016 s] /proc/loadavg: 1.06 1.00 1.00 2/67 16769 /proc/meminfo: memFree=1846408/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=43.95 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 90704 1438772 0 0 30 126 1069 3170 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 43.95 Current children cumulated vsize (KiB) 13968 [startup+102.306 s] /proc/loadavg: 1.03 1.00 1.00 2/67 24994 /proc/meminfo: memFree=1846856/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=87.31 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 194763 3105854 0 0 64 270 1570 6827 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 87.31 Current children cumulated vsize (KiB) 13968 [startup+162.302 s] /proc/loadavg: 1.17 1.06 1.02 2/67 2179 /proc/meminfo: memFree=1846216/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=138.86 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 318776 5092396 0 0 101 451 2157 11177 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 138.86 Current children cumulated vsize (KiB) 13968 [startup+222.303 s] /proc/loadavg: 1.10 1.06 1.02 2/73 12407 /proc/meminfo: memFree=1838976/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=191.74 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 445797 7127530 0 0 145 636 2756 15637 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 191.74 Current children cumulated vsize (KiB) 13968 [startup+282.302 s] /proc/loadavg: 1.22 1.09 1.03 1/68 22309 /proc/meminfo: memFree=1838888/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=244.58 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 572859 9162690 0 0 184 820 3357 20097 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 244.58 Current children cumulated vsize (KiB) 13968 [startup+342.303 s] /proc/loadavg: 1.14 1.10 1.03 2/67 32242 /proc/meminfo: memFree=1839280/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=296.97 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 698451 11174948 0 0 227 1001 3954 24515 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 296.97 Current children cumulated vsize (KiB) 13968 [startup+402.302 s] /proc/loadavg: 1.25 1.14 1.05 2/67 9726 /proc/meminfo: memFree=1841456/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=350.19 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 826245 13221948 0 0 268 1186 4565 29000 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 350.19 Current children cumulated vsize (KiB) 13968 [startup+462.302 s] /proc/loadavg: 1.09 1.11 1.04 3/67 19945 /proc/meminfo: memFree=1838768/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=403.98 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 955377 15290592 0 0 314 1368 5170 33546 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 403.98 Current children cumulated vsize (KiB) 13968 [startup+522.301 s] /proc/loadavg: 1.09 1.10 1.04 1/66 29762 /proc/meminfo: memFree=1839992/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=456.61 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 1081767 17315520 0 0 358 1547 5766 37990 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 456.61 Current children cumulated vsize (KiB) 13968 ################ # More data... # ################ [startup+1242.3 s] /proc/loadavg: 1.01 1.07 1.03 2/66 18710 /proc/meminfo: memFree=1827640/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1086.34 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 2593191 41527730 0 0 882 3710 12925 91117 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1086.34 Current children cumulated vsize (KiB) 13968 [startup+1302.3 s] /proc/loadavg: 1.16 1.10 1.04 2/67 28622 /proc/meminfo: memFree=1829296/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1138.62 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 2718549 43535916 0 0 925 3896 13521 95520 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 [pid=28621] ppid=9802 vsize=5352 CPUtime=0 /proc/28621/stat : 28621 (sh) S 9802 9802 8904 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 159202485 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28621/statm: 1338 230 193 169 0 49 0 [pid=28622] ppid=28621 vsize=2520 CPUtime=0 /proc/28622/stat : 28622 (cat) R 28621 9802 8904 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 159202486 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 255539773666 0 0 4096 0 0 0 0 17 0 0 0 /proc/28622/statm: 630 87 71 4 0 42 0 Current children cumulated CPU time (s) 1138.62 Current children cumulated vsize (KiB) 21840 [startup+1362.3 s] /proc/loadavg: 1.27 1.14 1.06 2/68 6018 /proc/meminfo: memFree=1825640/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1191.43 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 2845029 45562076 0 0 969 4080 14119 99975 18 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1191.43 Current children cumulated vsize (KiB) 13968 [startup+1422.31 s] /proc/loadavg: 1.26 1.16 1.07 2/67 15967 /proc/meminfo: memFree=1827568/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1243.88 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 2970807 47577200 0 0 1013 4260 14712 104403 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1243.88 Current children cumulated vsize (KiB) 13968 [startup+1482.3 s] /proc/loadavg: 1.13 1.14 1.07 2/68 25619 /proc/meminfo: memFree=1824680/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1295.56 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3095031 49567010 0 0 1052 4436 15302 108766 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1295.56 Current children cumulated vsize (KiB) 13968 [startup+1542.3 s] /proc/loadavg: 1.22 1.16 1.08 2/67 3369 /proc/meminfo: memFree=1826800/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1349.21 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3223940 51631984 0 0 1093 4617 15920 113291 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1349.21 Current children cumulated vsize (KiB) 13968 [startup+1602.3 s] /proc/loadavg: 1.22 1.17 1.09 2/66 13082 /proc/meminfo: memFree=1823608/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1401.35 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3348891 53633634 0 0 1136 4799 16516 117684 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1401.35 Current children cumulated vsize (KiB) 13968 [startup+1662.3 s] /proc/loadavg: 1.23 1.17 1.09 2/66 23115 /proc/meminfo: memFree=1823160/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1454.21 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3475593 55663464 0 0 1177 4983 17122 122139 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1454.21 Current children cumulated vsize (KiB) 13968 [startup+1722.3 s] /proc/loadavg: 1.21 1.17 1.09 2/66 32755 /proc/meminfo: memFree=1822712/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1506.04 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3599931 57655310 0 0 1224 5160 17710 126510 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1506.04 Current children cumulated vsize (KiB) 13968 [startup+1782.3 s] /proc/loadavg: 1.07 1.13 1.09 2/66 10152 /proc/meminfo: memFree=1822072/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1557.84 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3724065 59643888 0 0 1267 5342 18300 130875 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1557.84 Current children cumulated vsize (KiB) 13968 [startup+1842.3 s] /proc/loadavg: 1.06 1.12 1.09 3/67 20029 /proc/meminfo: memFree=1821360/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1610.95 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3851463 61684754 0 0 1311 5528 18888 135368 17 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1610.95 Current children cumulated vsize (KiB) 13968 [startup+1902.3 s] /proc/loadavg: 1.25 1.16 1.10 2/67 30044 /proc/meminfo: memFree=1821104/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1663.79 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 3978040 63712548 0 0 1356 5710 19491 139822 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1663.79 Current children cumulated vsize (KiB) 13968 [startup+1962.3 s] /proc/loadavg: 1.09 1.13 1.09 2/66 7500 /proc/meminfo: memFree=1824568/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1715.84 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 4102893 65712564 0 0 1399 5887 20090 144208 18 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 [pid=7500] ppid=9802 vsize=5352 CPUtime=0 /proc/7500/stat : 7500 (sh) S 9802 9802 8904 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 159268486 5480448 230 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7500/statm: 1338 230 193 169 0 49 0 [pid=7501] ppid=7500 vsize=5352 CPUtime=0 /proc/7501/stat : 7501 (sh) R 7500 9802 8904 0 -1 4194368 21 0 0 0 0 0 0 0 18 0 1 0 159268487 5480448 232 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 255539604775 0 0 4096 0 0 0 0 17 1 0 0 /proc/7501/statm: 1338 232 195 169 0 49 0 Current children cumulated CPU time (s) 1715.84 Current children cumulated vsize (KiB) 24672 [startup+2022.3 s] /proc/loadavg: 1.25 1.17 1.10 2/68 17240 /proc/meminfo: memFree=1819752/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1767.99 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 4228251 67720750 0 0 1442 6070 20677 148610 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548502114 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 Current children cumulated CPU time (s) 1767.99 Current children cumulated vsize (KiB) 13968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2058.9 s] /proc/loadavg: 1.12 1.15 1.10 1/66 23362 /proc/meminfo: memFree=1819896/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1800.05 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 4305006 68950636 0 0 1470 6178 21041 151316 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 [pid=23362] ppid=9802 vsize=0 CPUtime=0 /proc/23362/stat : 23362 (rm) D 9802 9802 8904 0 -1 4194308 114 0 0 0 0 0 0 0 18 0 1 0 159278146 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/23362/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 13968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+2058.9 s] /proc/loadavg: 1.12 1.15 1.10 1/66 23362 /proc/meminfo: memFree=1819896/2055920 swapFree=4183868/4192956 [pid=9802] ppid=9800 vsize=13968 CPUtime=1800.05 /proc/9802/stat : 9802 (pbclasp) S 9800 9802 8904 0 -1 4194304 4305006 68950636 0 0 1470 6178 21041 151316 16 0 1 0 159072256 14303232 862 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 255548506004 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/9802/statm: 3492 862 342 3 0 592 0 [pid=23362] ppid=9802 vsize=0 CPUtime=0 /proc/23362/stat : 23362 (rm) D 9802 9802 8904 0 -1 4194308 114 0 0 0 0 0 0 0 18 0 1 0 159278146 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/23362/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 13968 Child status: 0 Real time (s): 2058.97 CPU time (s): 1800.13 CPU user time (s): 225.129 CPU system time (s): 1575 CPU usage (%): 87.4286 Max. virtual memory (cumulated for all children) (KiB): 31984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 225.129 system time used= 1575 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73258107 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= 2006467 involuntary context switches= 489223 runsolver used 4.98124 second user time and 8.40672 second system time The end
Begin job on node48 on Tue May 1 17:57:47 UTC 2007 IDJOB= 455380 IDBENCH= 48260 IDSOLVER= 158 FILE ID= node48/455380-1178042267 PBS_JOBID= 4728424 Free space on /tmp= 66563 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_2.opb COMMAND LINE= pbclasp instance-455380-1178042267.opb /tmp/evaluation/455380-1178042267/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node48/convwatcher-455380-1178042267 -o ROOT/results/node48/conversion-455380-1178042267 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455380-1178042267/instance-455380-1178042267.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-455380-1178042267 -o ROOT/results/node48/solver-455380-1178042267 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-455380-1178042267.opb /tmp/evaluation/455380-1178042267/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a RANDOM SEED= 61800223 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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.238 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.238 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: 1858032 kB Buffers: 49936 kB Cached: 74168 kB SwapCached: 2920 kB Active: 57624 kB Inactive: 77548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1858032 kB SwapTotal: 4192956 kB SwapFree: 4183868 kB Dirty: 4288 kB Writeback: 0 kB Mapped: 16484 kB Slab: 48740 kB Committed_AS: 3145824 kB PageTables: 1392 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= 66553 MiB End job on node48 on Tue May 1 18:32:10 UTC 2007