Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | ? (TO) | 1800.06 | 2348.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_5.opb |
MD5SUM | 9031daf4c6715fe6246dcc322bb303d7 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -4 |
Best CPU time to get the best result obtained on this benchmark | 0.007997 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -4 |
Optimality of the best value was proved | YES |
Number of variables | 20 |
Total number of constraints | 31 |
Number of constraints which are clauses | 10 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 21 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 10 |
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 | 10 |
Number of bits of the sum of numbers in the objective function | 4 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 20 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 92 |
Sum of products size (including duplicates) | 184 |
Number of different products | 46 |
Sum of products size | 92 |
[...] # # trace file is too large. Trace was truncated at this point. # 1799.25/2347.92 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.25/2347.94 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.25/2347.96 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.25/2347.98 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.25/2348.00 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.36/2348.02 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.36/2348.03 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.36/2348.05 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.36/2348.07 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.36/2348.09 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.44/2348.11 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.44/2348.13 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.44/2348.15 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.44/2348.17 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.44/2348.19 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.53/2348.20 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.53/2348.22 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.53/2348.24 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.53/2348.26 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.53/2348.28 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.62/2348.30 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.62/2348.32 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.62/2348.33 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.62/2348.35 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.62/2348.37 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.62/2348.39 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.73/2348.41 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.73/2348.43 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.73/2348.45 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.73/2348.47 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.73/2348.48 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.82/2348.50 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.82/2348.52 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.82/2348.54 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.82/2348.56 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.82/2348.58 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.82/2348.60 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.91/2348.62 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.91/2348.63 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.95/2348.71 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.95/2348.73 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.95/2348.75 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.95/2348.77 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1799.95/2348.79 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/455704-1178047578/pbclasp line 103. 1800.03/2348.81 c Somebody sent me a SIGTERM 1800.03/2348.81 s UNKNOWN 1800.03/2348.81 pb2clasp1: no process killed 1800.03/2348.82 clasp-1.0: no process killed
ERROR: no interpretation found !
Linearizing /tmp/evaluation/455704-1178047578/instance-455704-1178047578.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-455704-1178047578 -o ROOT/results/node5/solver-455704-1178047578 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-455704-1178047578.opb /tmp/evaluation/455704-1178047578/temp Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.21 1.18 3/77 2338 /proc/meminfo: memFree=1794944/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12268 CPUtime=0 /proc/2338/stat : 2338 (pbclasp) D 2336 2338 29097 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 280795454 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226913647205 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/2338/statm: 3067 317 242 3 0 167 0 [startup+0.0708449 s] /proc/loadavg: 1.03 1.21 1.18 3/77 2338 /proc/meminfo: memFree=1794944/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=0.05 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 731 4097 0 0 0 0 2 3 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12400 [startup+0.10185 s] /proc/loadavg: 1.03 1.21 1.18 3/77 2338 /proc/meminfo: memFree=1794944/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=0.07 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 856 6557 0 0 0 0 3 4 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 12400 [startup+0.30189 s] /proc/loadavg: 1.03 1.21 1.18 3/77 2338 /proc/meminfo: memFree=1794944/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=0.26 /proc/2338/stat : 2338 (pbclasp) R 2336 2338 29097 0 -1 4194304 1820 23854 0 0 1 1 8 16 17 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226931647975 0 0 4224 16384 0 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 12400 [startup+0.701917 s] /proc/loadavg: 1.03 1.21 1.18 3/77 2338 /proc/meminfo: memFree=1794944/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=0.53 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 3323 48809 0 0 2 3 16 32 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 12400 [startup+1.50201 s] /proc/loadavg: 1.03 1.21 1.18 2/79 2686 /proc/meminfo: memFree=1794096/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1.17 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 6846 109966 0 0 3 7 33 74 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 12400 [startup+3.10119 s] /proc/loadavg: 1.03 1.21 1.18 3/81 3121 /proc/meminfo: memFree=1793568/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=2.46 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 14075 234300 0 0 4 15 70 157 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 2.46 Current children cumulated vsize (KiB) 12400 [startup+6.30159 s] /proc/loadavg: 1.03 1.21 1.17 1/81 4321 /proc/meminfo: memFree=1793568/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=4.96 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 27899 472764 0 0 7 27 141 321 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 4.96 Current children cumulated vsize (KiB) 12400 [startup+12.7023 s] /proc/loadavg: 1.03 1.20 1.17 2/78 6602 /proc/meminfo: memFree=1793656/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=9.81 /proc/2338/stat : 2338 (pbclasp) R 2336 2338 29097 0 -1 4194304 54566 933132 0 0 14 57 273 637 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922380286 0 0 4224 16384 0 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 9.81 Current children cumulated vsize (KiB) 12400 [startup+25.5019 s] /proc/loadavg: 1.09 1.21 1.18 2/80 11342 /proc/meminfo: memFree=1793448/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=19.78 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 109805 1885791 0 0 27 114 554 1283 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 19.78 Current children cumulated vsize (KiB) 12400 [startup+51.1016 s] /proc/loadavg: 1.06 1.19 1.17 1/79 20269 /proc/meminfo: memFree=1793456/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=39.51 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 218425 3759866 0 0 54 225 1106 2566 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 39.51 Current children cumulated vsize (KiB) 12400 [startup+102.305 s] /proc/loadavg: 1.16 1.20 1.18 2/81 5680 /proc/meminfo: memFree=1792544/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=77.94 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 429846 7406550 0 0 108 454 2177 5055 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 77.94 Current children cumulated vsize (KiB) 12400 [startup+162.301 s] /proc/loadavg: 1.19 1.21 1.18 1/79 25948 /proc/meminfo: memFree=1792432/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=122.44 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 674765 11631484 0 0 169 715 3437 7923 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 122.44 Current children cumulated vsize (KiB) 12400 [startup+222.302 s] /proc/loadavg: 1.11 1.18 1.17 3/81 13487 /proc/meminfo: memFree=1791776/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=165.83 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 912461 15731816 0 0 230 976 4651 10726 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 165.83 Current children cumulated vsize (KiB) 12400 [startup+282.302 s] /proc/loadavg: 1.04 1.15 1.16 2/79 2214 /proc/meminfo: memFree=1791728/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=212.35 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 1169549 20166603 0 0 302 1263 5948 13722 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 212.35 Current children cumulated vsize (KiB) 12400 [startup+342.302 s] /proc/loadavg: 1.12 1.15 1.16 1/81 24671 /proc/meminfo: memFree=1790880/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=261.06 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 1436536 24772379 0 0 368 1565 7310 16863 17 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 261.06 Current children cumulated vsize (KiB) 12400 [startup+402.301 s] /proc/loadavg: 1.14 1.15 1.16 2/79 14238 /proc/meminfo: memFree=1790768/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=309.74 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 1703195 29372057 0 0 433 1868 8662 20011 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 309.74 Current children cumulated vsize (KiB) 12400 [startup+462.301 s] /proc/loadavg: 1.19 1.15 1.16 2/80 3372 /proc/meminfo: memFree=1789864/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=356.29 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 1959064 33786234 0 0 495 2161 9961 23012 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 356.29 Current children cumulated vsize (KiB) 12400 [startup+522.302 s] /proc/loadavg: 1.14 1.15 1.16 2/80 23188 /proc/meminfo: memFree=1789544/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=399.87 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 2199736 37937902 0 0 558 2424 11174 25831 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 399.87 Current children cumulated vsize (KiB) 12400 [startup+582.302 s] /proc/loadavg: 1.32 1.18 1.17 2/79 12185 /proc/meminfo: memFree=1789232/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=445.86 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 2454413 42330963 0 0 628 2703 12454 28801 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 445.86 Current children cumulated vsize (KiB) 12400 [startup+642.301 s] /proc/loadavg: 1.19 1.16 1.16 2/81 838 /proc/meminfo: memFree=1788448/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=491.33 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 2705310 46659325 0 0 695 2982 13736 31720 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 491.33 Current children cumulated vsize (KiB) 12400 ################ # More data... # ################ [startup+1362.3 s] /proc/loadavg: 1.08 1.13 1.15 2/79 10971 /proc/meminfo: memFree=1783216/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1006.62 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 5551192 95751563 0 0 1451 6123 28175 64913 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1006.62 Current children cumulated vsize (KiB) 12400 [startup+1422.31 s] /proc/loadavg: 1.15 1.13 1.15 2/79 32480 /proc/meminfo: memFree=1782768/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1053.14 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 5807166 100167253 0 0 1511 6404 29479 67920 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1053.14 Current children cumulated vsize (KiB) 12400 [startup+1482.3 s] /proc/loadavg: 1.13 1.12 1.14 2/79 20697 /proc/meminfo: memFree=1782320/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1098.63 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 6057400 104483784 0 0 1574 6676 30766 70847 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1098.63 Current children cumulated vsize (KiB) 12400 [startup+1542.3 s] /proc/loadavg: 1.17 1.14 1.15 2/81 10467 /proc/meminfo: memFree=1781536/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1146.54 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 6321304 109036166 0 0 1633 6964 32099 73958 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1146.54 Current children cumulated vsize (KiB) 12400 [startup+1602.3 s] /proc/loadavg: 1.17 1.14 1.15 1/80 32675 /proc/meminfo: memFree=1781160/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1195.43 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 6590381 113677551 0 0 1697 7255 33477 77114 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 0 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1195.43 Current children cumulated vsize (KiB) 12400 [startup+1662.3 s] /proc/loadavg: 1.13 1.14 1.15 1/80 22859 /proc/meminfo: memFree=1780648/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1244.07 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 6859373 118317720 0 0 1763 7539 34839 80266 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1244.07 Current children cumulated vsize (KiB) 12400 [startup+1722.3 s] /proc/loadavg: 1.22 1.17 1.16 2/81 12833 /proc/meminfo: memFree=1780000/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1293.27 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 7129528 122978163 0 0 1832 7833 36217 83445 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1293.27 Current children cumulated vsize (KiB) 12400 [startup+1782.3 s] /proc/loadavg: 1.25 1.19 1.16 1/79 1437 /proc/meminfo: memFree=1779568/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1338.96 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 7380845 127313264 0 0 1896 8106 37509 86385 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1338.96 Current children cumulated vsize (KiB) 12400 [startup+1842.3 s] /proc/loadavg: 1.12 1.16 1.15 2/79 23143 /proc/meminfo: memFree=1779184/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1386.61 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 7643128 131837953 0 0 1961 8391 38843 89466 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1386.61 Current children cumulated vsize (KiB) 12400 [startup+1902.3 s] /proc/loadavg: 1.12 1.16 1.15 2/79 13169 /proc/meminfo: memFree=1778800/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1435 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 7910477 136449587 0 0 2023 8678 40217 92582 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1435 Current children cumulated vsize (KiB) 12400 [startup+1962.3 s] /proc/loadavg: 1.39 1.21 1.17 2/80 3326 /proc/meminfo: memFree=1778024/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1483.65 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 8179259 141086099 0 0 2089 8968 41590 95718 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1483.65 Current children cumulated vsize (KiB) 12400 [startup+2022.3 s] /proc/loadavg: 1.38 1.23 1.18 2/79 25555 /proc/meminfo: memFree=1777904/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1532.48 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 8448664 145733677 0 0 2153 9263 42972 98860 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1532.48 Current children cumulated vsize (KiB) 12400 [startup+2082.31 s] /proc/loadavg: 1.18 1.20 1.17 3/80 15104 /proc/meminfo: memFree=1777256/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1579.92 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 8709976 150241442 0 0 2216 9551 44295 101930 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1579.92 Current children cumulated vsize (KiB) 12400 [startup+2142.3 s] /proc/loadavg: 1.13 1.19 1.17 2/78 5366 /proc/meminfo: memFree=1776688/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1629.36 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 8982491 154942079 0 0 2286 9853 45681 105116 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1629.36 Current children cumulated vsize (KiB) 12400 [startup+2202.3 s] /proc/loadavg: 1.18 1.20 1.17 1/80 27795 /proc/meminfo: memFree=1776040/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1677.93 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 9249192 159542868 0 0 2352 10143 47058 108240 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1677.93 Current children cumulated vsize (KiB) 12400 [startup+2262.3 s] /proc/loadavg: 1.11 1.17 1.17 1/81 18201 /proc/meminfo: memFree=1775520/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1728.13 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 9525630 164311707 0 0 2421 10437 48469 111486 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1728.13 Current children cumulated vsize (KiB) 12400 [startup+2322.3 s] /proc/loadavg: 1.24 1.20 1.18 2/81 9152 /proc/meminfo: memFree=1774944/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1778.23 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 9803896 169111714 0 0 2489 10731 49883 114720 15 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1778.23 Current children cumulated vsize (KiB) 12400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2348.8 s] /proc/loadavg: 1.16 1.18 1.17 2/80 19277 /proc/meminfo: memFree=1774696/2055920 swapFree=4149732/4192956 [pid=2338] ppid=2336 vsize=12400 CPUtime=1800.03 /proc/2338/stat : 2338 (pbclasp) S 2336 2338 29097 0 -1 4194304 9923885 171181331 0 0 2521 10857 50502 116123 16 0 1 0 280795454 12697600 458 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 226922381204 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/2338/statm: 3100 458 342 3 0 200 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 12400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 2348.82 CPU time (s): 1800.06 CPU user time (s): 530.237 CPU system time (s): 1269.82 CPU usage (%): 76.6367 Max. virtual memory (cumulated for all children) (KiB): 28456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 530.237 system time used= 1269.82 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 181106936 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= 5279090 involuntary context switches= 929952 runsolver used 4.78327 second user time and 8.15976 second system time The end
Begin job on node5 on Tue May 1 19:26:18 UTC 2007 IDJOB= 455704 IDBENCH= 48281 IDSOLVER= 167 FILE ID= node5/455704-1178047578 PBS_JOBID= 4728468 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_10_4_5.opb COMMAND LINE= pbclasp instance-455704-1178047578.opb /tmp/evaluation/455704-1178047578/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-455704-1178047578 -o ROOT/results/node5/conversion-455704-1178047578 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/455704-1178047578/instance-455704-1178047578.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-455704-1178047578 -o ROOT/results/node5/solver-455704-1178047578 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-455704-1178047578.opb /tmp/evaluation/455704-1178047578/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 9031daf4c6715fe6246dcc322bb303d7 RANDOM SEED= 638373812 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1795352 kB Buffers: 108308 kB Cached: 71660 kB SwapCached: 11180 kB Active: 162188 kB Inactive: 50816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1795352 kB SwapTotal: 4192956 kB SwapFree: 4149732 kB Dirty: 668 kB Writeback: 0 kB Mapped: 34788 kB Slab: 33176 kB Committed_AS: 12285964 kB PageTables: 1728 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= 66564 MiB End job on node5 on Tue May 1 20:05:29 UTC 2007