Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | ? (TO) | 1800.13 | 1855.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-share1b.opb |
MD5SUM | bba1c13067ee4807fb3278415b1e1268 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6750 |
Total number of constraints | 117 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 117 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
Number of terms in the objective function | 930 |
Biggest coefficient in the objective function | 52096 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 525037 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262126 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525113 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
[...] # # trace file is too large. Trace was truncated at this point. # 1796.09/1851.68 cat: write error: Broken pipe 1796.09/1851.68 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1796.27/1851.86 cat: write error: Broken pipe 1796.27/1851.86 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1796.45/1852.04 cat: write error: Broken pipe 1796.45/1852.04 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1796.63/1852.22 cat: write error: Broken pipe 1796.63/1852.23 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1796.86/1852.40 cat: write error: Broken pipe 1796.96/1852.40 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1796.98/1852.58 cat: write error: Broken pipe 1796.98/1852.59 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1797.16/1852.76 cat: write error: Broken pipe 1797.16/1852.77 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1797.34/1852.94 cat: write error: Broken pipe 1797.34/1852.95 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1797.52/1853.13 cat: write error: Broken pipe 1797.52/1853.13 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1797.71/1853.31 cat: write error: Broken pipe 1797.71/1853.31 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1797.96/1853.49 cat: write error: Broken pipe 1797.96/1853.49 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1798.06/1853.67 cat: write error: Broken pipe 1798.06/1853.67 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1798.24/1853.85 cat: write error: Broken pipe 1798.24/1853.85 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1798.42/1854.03 cat: write error: Broken pipe 1798.42/1854.03 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1798.61/1854.21 cat: write error: Broken pipe 1798.61/1854.22 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1798.79/1854.39 cat: write error: Broken pipe 1798.79/1854.40 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1799.04/1854.57 cat: write error: Broken pipe 1799.04/1854.58 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1799.15/1854.75 cat: write error: Broken pipe 1799.15/1854.76 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1799.32/1854.93 cat: write error: Broken pipe 1799.32/1854.94 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1799.50/1855.11 cat: write error: Broken pipe 1799.50/1855.11 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1799.67/1855.29 cat: write error: Broken pipe 1799.67/1855.29 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1799.85/1855.47 cat: write error: Broken pipe 1799.85/1855.47 Use of uninitialized value in concatenation (.) or string at /tmp/evaluation/362878-1177019546/pbclasp line 103. 1800.04/1855.51 c Somebody sent me a SIGTERM 1800.04/1855.51 s UNKNOWN 1800.04/1855.52 pb2clasp1: no process killed 1800.04/1855.68 clasp: no process killed
ERROR: no interpretation found !
/tmp/evaluation/362878-1177019546/instance-362878-1177019546.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node23/watcher-362878-1177019546 -o ROOT/results/node23/solver-362878-1177019546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-362878-1177019546.opb /tmp/evaluation/362878-1177019546/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.92 0.98 0.99 3/77 16346 /proc/meminfo: memFree=1845256/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12268 CPUtime=0 /proc/16346/stat : 16346 (pbclasp) D 16344 16346 15646 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 149871770 12562432 317 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238487829093 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/16346/statm: 3067 317 242 3 0 167 0 [startup+0.0955449 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16346 /proc/meminfo: memFree=1845256/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=0 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 554 0 0 0 0 0 0 0 16 0 1 0 149871770 12967936 504 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/16346/statm: 3166 504 322 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.102543 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16346 /proc/meminfo: memFree=1845256/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=0 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 554 0 0 0 0 0 0 0 16 0 1 0 149871770 12967936 504 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/16346/statm: 3166 504 322 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.302581 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16346 /proc/meminfo: memFree=1845256/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=0 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 554 0 0 0 0 0 0 0 16 0 1 0 149871770 12967936 504 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496559202 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/16346/statm: 3166 504 322 3 0 266 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12664 [startup+0.70166 s] /proc/loadavg: 0.92 0.98 0.99 3/77 16346 /proc/meminfo: memFree=1845256/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=0.53 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 637 1671 0 0 0 0 52 1 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 12664 [startup+1.50181 s] /proc/loadavg: 0.92 0.98 0.99 2/81 16372 /proc/meminfo: memFree=1838872/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1.26 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 1034 44030 0 0 0 1 101 24 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 12664 [startup+3.10114 s] /proc/loadavg: 0.92 0.98 0.99 2/81 16412 /proc/meminfo: memFree=1821392/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=2.69 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 1826 128742 0 0 0 1 197 71 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 12664 [startup+6.30175 s] /proc/loadavg: 0.93 0.98 0.99 2/81 16556 /proc/meminfo: memFree=1840192/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=5.98 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 3608 319344 0 0 2 4 414 178 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 5.98 Current children cumulated vsize (KiB) 12664 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/81 16836 /proc/meminfo: memFree=1839136/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=11.91 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 6875 668781 0 0 3 8 812 368 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 11.91 Current children cumulated vsize (KiB) 12664 [startup+25.5017 s] /proc/loadavg: 1.02 1.00 1.00 2/81 17404 /proc/meminfo: memFree=1838112/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=24.34 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 13706 1399422 0 0 5 17 1648 764 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 24.34 Current children cumulated vsize (KiB) 12664 [startup+51.1024 s] /proc/loadavg: 1.01 1.00 1.00 2/81 18476 /proc/meminfo: memFree=1823136/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=49.03 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 27269 2850115 0 0 9 36 3307 1551 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 49.03 Current children cumulated vsize (KiB) 12664 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/81 20708 /proc/meminfo: memFree=1817368/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=98.79 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 54593 5772679 0 0 17 70 6633 3159 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 98.79 Current children cumulated vsize (KiB) 12664 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 23264 /proc/meminfo: memFree=1841640/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=156.93 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 86471 9182337 0 0 27 110 10524 5032 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 156.93 Current children cumulated vsize (KiB) 12664 [startup+222.302 s] /proc/loadavg: 1.03 1.01 1.00 2/81 25868 /proc/meminfo: memFree=1831512/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=215.25 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 118417 12601780 0 0 37 151 14423 6914 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 215.25 Current children cumulated vsize (KiB) 12664 [startup+282.301 s] /proc/loadavg: 1.01 1.01 1.00 2/81 28404 /proc/meminfo: memFree=1825952/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=273 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 150128 15991064 0 0 46 191 18289 8774 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 273 Current children cumulated vsize (KiB) 12664 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/81 31012 /proc/meminfo: memFree=1809112/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=331.46 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 182204 19421900 0 0 56 228 22221 10641 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 331.46 Current children cumulated vsize (KiB) 12664 [startup+402.301 s] /proc/loadavg: 1.05 1.01 1.00 2/81 1097 /proc/meminfo: memFree=1809440/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=389.63 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 214082 22831558 0 0 66 270 26110 12517 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 389.63 Current children cumulated vsize (KiB) 12664 [startup+462.302 s] /proc/loadavg: 1.02 1.01 1.00 2/81 3721 /proc/meminfo: memFree=1816344/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=447.18 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 245663 26209449 0 0 75 308 29962 14373 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 447.18 Current children cumulated vsize (KiB) 12664 [startup+522.302 s] /proc/loadavg: 1.24 1.05 1.02 2/87 6345 /proc/meminfo: memFree=1811928/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=505.47 /proc/16346/stat : 16346 (pbclasp) R 16344 16346 15646 0 -1 4194304 277633 29629696 0 0 85 345 33857 16260 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238487661215 0 0 4224 16384 0 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 505.47 Current children cumulated vsize (KiB) 12664 [startup+582.302 s] /proc/loadavg: 1.13 1.05 1.02 2/81 9087 /proc/meminfo: memFree=1806784/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=563.82 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 309716 33060532 0 0 98 385 37772 18127 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 563.82 Current children cumulated vsize (KiB) 12664 [startup+642.301 s] /proc/loadavg: 1.05 1.04 1.01 2/81 11687 /proc/meminfo: memFree=1831552/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=621.81 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 341594 36470190 0 0 110 424 41657 19990 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 [pid=11685] ppid=16346 vsize=5352 CPUtime=0 /proc/11685/stat : 11685 (sh) S 16346 16346 15646 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 149935996 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/11685/statm: 1338 224 188 169 0 49 0 ################ # More data... # ################ [pid=16346] ppid=16344 vsize=12664 CPUtime=1145.02 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 628991 67210057 0 0 203 784 76728 36787 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1145.02 Current children cumulated vsize (KiB) 12664 [startup+1242.3 s] /proc/loadavg: 1.07 1.04 1.00 2/81 5044 /proc/meminfo: memFree=1804872/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1202.82 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 660770 70609126 0 0 214 820 80604 38644 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1202.82 Current children cumulated vsize (KiB) 12664 [startup+1302.3 s] /proc/loadavg: 1.09 1.04 1.00 2/81 7668 /proc/meminfo: memFree=1818440/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1261.41 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 692945 74050551 0 0 223 857 84530 40531 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 [pid=7666] ppid=16346 vsize=5352 CPUtime=0 /proc/7666/stat : 7666 (sh) S 16346 16346 15646 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 150001993 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/7666/statm: 1338 224 188 169 0 49 0 [pid=7667] ppid=7666 vsize=2520 CPUtime=0 /proc/7667/stat : 7667 (cat) S 7666 16346 15646 0 -1 4194304 119 0 0 0 0 0 0 0 17 0 1 0 150001993 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 238487830754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/7667/statm: 630 87 71 4 0 42 0 [pid=7668] ppid=7666 vsize=17908 CPUtime=0.05 /proc/7668/stat : 7668 (clasp) R 7666 16346 15646 0 -1 4194304 4588 0 0 0 4 1 0 0 18 0 1 0 150001993 18337792 4019 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 2930299 0 0 4096 0 0 0 0 17 0 0 0 /proc/7668/statm: 4477 4023 174 154 0 3947 0 Current children cumulated CPU time (s) 1261.46 Current children cumulated vsize (KiB) 38444 [startup+1362.3 s] /proc/loadavg: 1.03 1.03 1.00 2/81 10212 /proc/meminfo: memFree=1828488/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1319.28 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 724724 77449620 0 0 233 895 88404 42396 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1319.28 Current children cumulated vsize (KiB) 12664 [startup+1422.31 s] /proc/loadavg: 1.09 1.04 1.01 2/81 12820 /proc/meminfo: memFree=1812360/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1377.81 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 756800 80880456 0 0 242 931 92334 44274 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1377.81 Current children cumulated vsize (KiB) 12664 [startup+1482.3 s] /proc/loadavg: 1.03 1.03 1.00 2/81 15388 /proc/meminfo: memFree=1827144/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1436.19 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 788876 84311292 0 0 249 966 96242 46162 17 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1436.19 Current children cumulated vsize (KiB) 12664 [startup+1542.3 s] /proc/loadavg: 1.08 1.04 1.00 2/81 18012 /proc/meminfo: memFree=1830728/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1494.6 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 820952 87742128 0 0 256 1002 100163 48039 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1494.6 Current children cumulated vsize (KiB) 12664 [startup+1602.3 s] /proc/loadavg: 1.03 1.03 1.00 2/81 20596 /proc/meminfo: memFree=1811016/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1553.24 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 853226 91194142 0 0 265 1037 104090 49932 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1553.24 Current children cumulated vsize (KiB) 12664 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/81 23204 /proc/meminfo: memFree=1808520/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1611.57 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 885302 94624978 0 0 274 1073 107990 51820 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1611.57 Current children cumulated vsize (KiB) 12664 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/81 25780 /proc/meminfo: memFree=1816264/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1669.97 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 917378 98055814 0 0 283 1108 111912 53694 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1669.97 Current children cumulated vsize (KiB) 12664 [startup+1782.3 s] /proc/loadavg: 1.03 1.03 1.00 2/80 28409 /proc/meminfo: memFree=1831376/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1728.83 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 949751 101518417 0 0 293 1145 115866 55579 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1728.83 Current children cumulated vsize (KiB) 12664 [startup+1842.3 s] /proc/loadavg: 1.17 1.07 1.01 2/81 30980 /proc/meminfo: memFree=1807368/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1787.27 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 981926 104959842 0 0 302 1182 119790 57453 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 Current children cumulated CPU time (s) 1787.27 Current children cumulated vsize (KiB) 12664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1855.5 s] /proc/loadavg: 1.13 1.06 1.01 2/81 31596 /proc/meminfo: memFree=1829256/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1800.03 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 988955 105711661 0 0 304 1191 120654 57854 16 0 1 0 149871770 12967936 524 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 524 342 3 0 266 0 [pid=31594] ppid=16346 vsize=5352 CPUtime=0 /proc/31594/stat : 31594 (sh) S 16346 16346 15646 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 150057319 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 238487659332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31594/statm: 1338 224 188 169 0 49 0 [pid=31595] ppid=31594 vsize=2520 CPUtime=0 /proc/31595/stat : 31595 (cat) S 31594 16346 15646 0 -1 4194304 119 0 0 0 0 0 0 0 17 0 1 0 150057319 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 238487830754 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/31595/statm: 630 87 71 4 0 42 0 [pid=31596] ppid=31594 vsize=6404 CPUtime=0.01 /proc/31596/stat : 31596 (clasp) R 31594 16346 15646 0 -1 4194304 669 0 0 0 1 0 0 0 18 0 1 0 150057319 6557696 632 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135031377 0 0 4096 0 0 0 0 17 1 0 0 /proc/31596/statm: 1601 634 174 154 0 1071 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 26940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1855.62 s] /proc/loadavg: 1.13 1.06 1.01 1/83 31598 /proc/meminfo: memFree=1830456/2055920 swapFree=4169120/4192956 [pid=16346] ppid=16344 vsize=12664 CPUtime=1800.03 /proc/16346/stat : 16346 (pbclasp) S 16344 16346 15646 0 -1 4194304 988994 105711661 0 0 304 1191 120654 57854 16 0 1 0 149871770 12967936 526 18446744073709551615 4194304 4206940 548682069248 18446744073709551615 238496563092 0 16384 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/16346/statm: 3166 526 342 3 0 266 0 [pid=31594] ppid=16346 vsize=0 CPUtime=0 /proc/31594/stat : 31594 (sh) D 16346 16346 15646 0 -1 4195332 285 0 0 0 0 0 0 0 19 0 1 0 150057319 0 0 18446744073709551615 0 0 0 0 0 0 65536 4100 65538 18446744072100051646 0 0 17 0 0 0 /proc/31594/statm: 0 0 0 0 0 0 0 [pid=31595] ppid=31594 vsize=0 CPUtime=0 /proc/31595/stat : 31595 (cat) D 31594 16346 15646 0 -1 4195332 119 0 0 0 0 0 0 0 16 0 1 0 150057319 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 0 0 0 /proc/31595/statm: 0 0 0 0 0 0 0 [pid=31596] ppid=31594 vsize=0 CPUtime=0.01 /proc/31596/stat : 31596 (clasp) D 31594 16346 15646 0 -1 4195332 681 0 0 0 1 0 0 0 18 0 1 0 150057319 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0 /proc/31596/statm: 0 0 0 0 0 0 0 [pid=31598] ppid=16346 vsize=0 CPUtime=0 /proc/31598/stat : 31598 (killall) D 16346 16346 15646 0 -1 4194308 227 0 0 0 0 0 0 0 18 0 1 0 150057322 0 0 18446744073709551615 0 0 0 0 0 0 16384 4102 0 18446744072100051646 0 0 17 0 0 0 /proc/31598/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 12664 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.0599365 # lost CPU user time (s): 0.039978 # lost CPU system time (s): 0.019989 Real time (s): 1855.69 CPU time (s): 1800.13 CPU user time (s): 1209.63 CPU system time (s): 590.495 CPU usage (%): 97.0058 Max. virtual memory (cumulated for all children) (KiB): 54220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1209.59 system time used= 590.475 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106701245 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= 503953 involuntary context switches= 121789 runsolver used 2.33364 second user time and 5.88211 second system time The end
Begin job on node23 on Thu Apr 19 21:52:26 UTC 2007 IDJOB= 362878 IDBENCH= 1679 IDSOLVER= 158 FILE ID= node23/362878-1177019546 PBS_JOBID= 4630560 Free space on /tmp= 66454 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share1b.opb COMMAND LINE= pbclasp instance-362878-1177019546.opb /tmp/evaluation/362878-1177019546/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node23/convwatcher-362878-1177019546 -o ROOT/results/node23/conversion-362878-1177019546 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/362878-1177019546/instance-362878-1177019546.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-362878-1177019546 -o ROOT/results/node23/solver-362878-1177019546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-362878-1177019546.opb /tmp/evaluation/362878-1177019546/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= bba1c13067ee4807fb3278415b1e1268 RANDOM SEED= 518597624 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: 1845664 kB Buffers: 26316 kB Cached: 95092 kB SwapCached: 2352 kB Active: 66232 kB Inactive: 78460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845664 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 1500 kB Writeback: 0 kB Mapped: 30736 kB Slab: 51064 kB Committed_AS: 2481416 kB PageTables: 1800 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= 66453 MiB End job on node23 on Thu Apr 19 22:23:24 UTC 2007