Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 52 | 1802.07 | 1803.23 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir10_area_partials.opb |
MD5SUM | 8e58fdc516472c37b974ebbf77c2a4fa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 52 |
Best CPU time to get the best result obtained on this benchmark | 7.08492 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 52 |
Optimality of the best value was proved | YES |
Number of variables | 2091 |
Total number of constraints | 7288 |
Number of constraints which are clauses | 7288 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 124 |
Number of terms in the objective function | 486 |
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 | 486 |
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 | 486 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.48/0.68 o 127 0.63/0.82 o 109 0.77/0.97 o 108 1.02/1.12 o 107 1.07/1.26 o 106 1.21/1.41 o 105 1.35/1.55 o 104 1.49/1.78 o 103 1.64/1.98 o 102 1.88/2.12 o 101 1.92/2.26 o 100 2.06/2.40 o 99 2.20/2.55 o 98 2.34/2.69 o 97 2.50/2.83 o 96 2.64/2.97 o 95 2.76/3.11 o 94 2.97/3.25 o 93 3.17/3.40 o 92 3.18/3.54 o 91 3.33/3.67 o 90 3.46/3.81 o 89 3.60/3.95 o 88 3.73/4.10 o 87 3.87/4.24 o 86 4.05/4.38 o 85 4.16/4.58 o 84 4.30/4.72 o 83 4.44/4.87 o 82 4.58/5.02 o 81 4.74/5.16 o 80 4.87/5.37 o 79 5.02/5.58 o 78 5.16/5.72 o 77 5.30/5.87 o 76 5.44/6.12 o 75 5.70/6.29 o 74 6.11/6.64 o 73 6.42/6.90 o 72 6.44/7.17 o 71 7.28/7.84 o 70 7.34/8.10 o 69 7.60/8.33 o 68 7.83/8.56 o 67 8.17/8.78 o 66 8.27/9.12 o 65 8.62/9.39 o 64 9.27/9.86 o 63 9.36/10.11 o 62 9.62/10.38 o 61 9.88/10.73 o 60 10.77/11.34 o 59 11.48/12.19 o 58 11.60/12.82 o 57 12.48/13.17 o 56 16.27/16.99 o 55 26.76/27.45 o 54 28.55/29.24 o 53 57.70/58.44 o 52 1800.03/1801.21 sh: line 1: 28795 Done cat /tmp/evaluation/373244-1177175036/temp/instance-373244-1177175036.opb.op 1800.03/1801.21 28796 Terminated | clasp-1.0 --trans=no >/tmp/evaluation/373244-1177175036/temp/instance-373244-1177175036.opb.clasp 1800.03/1801.22 c Somebody sent me a SIGTERM 1800.03/1801.22 s SATISFIABLE 1800.03/1801.22 v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x33 x34 x35 x36 x37 x38 x39 x40 x131 x132 x133 x134 x135 x136 x137 1800.03/1801.22 v x152 x191 x227 x228 x229 x246 x290 x291 x292 x338 x341 x354 x381 x394 x398 x400 x425 x429 x460 x545 x546 x547 x548 x576 x585 x620 1800.03/1801.22 v x627 x781 x1022 x1037 x1136 x1146 x1156 x1160 x1171 x1199 x1205 x1209 x1244 x1277 x1283 x1306 x1309 x1323 x1354 x1394 x1403 1800.03/1801.22 v x1457 x1535 x1541 x1544 x1550 x1578 x1633 x1642 x1669 x1758 x1769 x1915 x1918 x1937 x1955 x2066 x2089 1800.03/1801.22 pb2clasp1: no process killed 1800.03/1801.23 clasp-1.0: no process killed 1802.02/1803.22 sh: line 1: 28806 Done cat /tmp/evaluation/373244-1177175036/temp/instance-373244-1177175036.opb.op 1802.02/1803.22 28807 Killed | clasp-1.0 --trans=no >/tmp/evaluation/373244-1177175036/temp/instance-373244-1177175036.opb.clasp
OK 52
/tmp/evaluation/373244-1177175036/instance-373244-1177175036.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-373244-1177175036 -o ROOT/results/node65/solver-373244-1177175036 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373244-1177175036.opb /tmp/evaluation/373244-1177175036/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.98 0.97 0.99 3/64 28314 /proc/meminfo: memFree=1807208/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12268 CPUtime=0 /proc/28314/stat : 28314 (pbclasp) D 28312 28314 26731 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 193493184 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257203862117 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/28314/statm: 3067 317 242 3 0 167 0 [startup+0.058938 s] /proc/loadavg: 0.98 0.97 0.99 3/64 28314 /proc/meminfo: memFree=1807208/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12532 CPUtime=0 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 535 0 0 0 0 0 0 0 16 0 1 0 193493184 12832768 487 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212592226 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/28314/statm: 3133 487 324 3 0 233 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12532 [startup+0.101936 s] /proc/loadavg: 0.98 0.97 0.99 3/64 28314 /proc/meminfo: memFree=1807208/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12532 CPUtime=0 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 535 0 0 0 0 0 0 0 16 0 1 0 193493184 12832768 487 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212592226 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/28314/statm: 3133 487 324 3 0 233 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12532 [startup+0.301952 s] /proc/loadavg: 0.98 0.97 0.99 3/64 28314 /proc/meminfo: memFree=1807208/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12532 CPUtime=0 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 535 0 0 0 0 0 0 0 16 0 1 0 193493184 12832768 487 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212592226 0 0 4224 16384 18446744071563648864 0 0 17 0 0 0 /proc/28314/statm: 3133 487 324 3 0 233 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12532 [startup+0.701987 s] /proc/loadavg: 0.98 0.97 0.99 3/64 28314 /proc/meminfo: memFree=1807208/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=0.63 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 780 4204 0 0 1 0 59 3 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 12664 [startup+1.50105 s] /proc/loadavg: 0.98 0.97 0.99 2/68 28348 /proc/meminfo: memFree=1805120/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=1.35 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 1363 17331 0 0 2 0 121 12 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 12664 [startup+3.10118 s] /proc/loadavg: 0.98 0.97 0.99 2/67 28396 /proc/meminfo: memFree=1801600/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=2.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 2493 43621 0 0 4 2 240 30 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 12664 [startup+6.30145 s] /proc/loadavg: 0.98 0.97 0.99 1/67 28575 /proc/meminfo: memFree=1805088/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=5.86 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 4840 97895 0 0 8 4 505 69 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4231 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 Current children cumulated CPU time (s) 5.86 Current children cumulated vsize (KiB) 12664 [startup+12.702 s] /proc/loadavg: 0.98 0.97 0.99 2/67 28740 /proc/meminfo: memFree=1801040/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=11.6 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 6810 140867 0 0 10 6 1043 101 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 Current children cumulated CPU time (s) 11.6 Current children cumulated vsize (KiB) 12664 [startup+25.501 s] /proc/loadavg: 0.98 0.97 0.99 2/67 28772 /proc/meminfo: memFree=1800568/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=16.38 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7151 148811 0 0 11 6 1515 106 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28770] ppid=28314 vsize=5356 CPUtime=0 /proc/28770/stat : 28770 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193494884 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/28770/statm: 1339 225 188 169 0 50 0 [pid=28772] ppid=28770 vsize=7108 CPUtime=8.48 /proc/28772/stat : 28772 (clasp-1.0) R 28770 28314 26731 0 -1 4194304 1449 0 0 0 848 0 0 0 25 0 1 0 193494885 7278592 1374 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 1 0 0 /proc/28772/statm: 1777 1374 249 81 0 1151 0 Current children cumulated CPU time (s) 24.86 Current children cumulated vsize (KiB) 25128 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28788 /proc/meminfo: memFree=1800144/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=28.58 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7381 154267 0 0 11 7 2729 111 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28786] ppid=28314 vsize=5356 CPUtime=0 /proc/28786/stat : 28786 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193496110 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28786/statm: 1339 225 188 169 0 50 0 [pid=28788] ppid=28786 vsize=7552 CPUtime=21.82 /proc/28788/stat : 28788 (clasp-1.0) R 28786 28314 26731 0 -1 4194304 1570 0 0 0 2182 0 0 0 25 0 1 0 193496110 7733248 1495 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784634 0 0 4096 0 0 0 0 17 1 0 0 /proc/28788/statm: 1888 1495 249 81 0 1262 0 Current children cumulated CPU time (s) 50.4 Current children cumulated vsize (KiB) 25572 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1798664/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=8996 CPUtime=43.82 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 1930 0 0 0 4382 0 0 0 25 0 1 0 193499030 9211904 1855 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 2249 1855 249 81 0 1623 0 Current children cumulated CPU time (s) 101.58 Current children cumulated vsize (KiB) 27016 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1796680/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=11208 CPUtime=103.8 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 2443 0 0 0 10379 1 0 0 25 0 1 0 193499030 11476992 2368 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134741030 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 2802 2368 249 81 0 2176 0 Current children cumulated CPU time (s) 161.56 Current children cumulated vsize (KiB) 29228 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1795528/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=12276 CPUtime=163.79 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 2711 0 0 0 16378 1 0 0 25 0 1 0 193499030 12570624 2636 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 3069 2636 249 81 0 2443 0 Current children cumulated CPU time (s) 221.55 Current children cumulated vsize (KiB) 30296 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1794696/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=13084 CPUtime=223.77 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 2921 0 0 0 22376 1 0 0 25 0 1 0 193499030 13398016 2828 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784634 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 3271 2828 249 81 0 2645 0 Current children cumulated CPU time (s) 281.53 Current children cumulated vsize (KiB) 31104 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 3/67 28796 /proc/meminfo: memFree=1793736/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=14360 CPUtime=283.75 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 3186 0 0 0 28374 1 0 0 25 0 1 0 193499030 14704640 3093 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 3590 3093 249 81 0 2964 0 Current children cumulated CPU time (s) 341.51 Current children cumulated vsize (KiB) 32380 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1793224/2055920 swapFree=4184000/4192956 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1783880/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=24788 CPUtime=1423.44 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 5797 0 0 0 142342 2 0 0 25 0 1 0 193499030 25382912 5555 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134737260 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 6197 5555 249 81 0 5571 0 Current children cumulated CPU time (s) 1481.2 Current children cumulated vsize (KiB) 42808 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1783560/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=25100 CPUtime=1483.43 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 5877 0 0 0 148341 2 0 0 25 0 1 0 193499030 25702400 5635 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616823 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 6275 5635 249 81 0 5649 0 Current children cumulated CPU time (s) 1541.19 Current children cumulated vsize (KiB) 43120 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1783176/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=25564 CPUtime=1543.42 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 5963 0 0 0 154339 3 0 0 25 0 1 0 193499030 26177536 5721 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134784634 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 6391 5721 249 81 0 5765 0 Current children cumulated CPU time (s) 1601.18 Current children cumulated vsize (KiB) 43584 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1782664/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=25988 CPUtime=1603.4 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 6126 0 0 0 160337 3 0 0 25 0 1 0 193499030 26611712 5830 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134713928 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 6497 5830 249 81 0 5871 0 Current children cumulated CPU time (s) 1661.16 Current children cumulated vsize (KiB) 44008 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1782600/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=26060 CPUtime=1663.39 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 6182 0 0 0 166336 3 0 0 25 0 1 0 193499030 26685440 5850 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134737644 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 6515 5850 249 81 0 5889 0 Current children cumulated CPU time (s) 1721.15 Current children cumulated vsize (KiB) 44080 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1782152/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=26636 CPUtime=1723.37 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 6391 0 0 0 172334 3 0 0 25 0 1 0 193499030 27275264 5987 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616819 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 6659 5987 249 81 0 6033 0 Current children cumulated CPU time (s) 1781.13 Current children cumulated vsize (KiB) 44656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1782024/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=57.76 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7496 157357 0 0 11 7 5645 113 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28794] ppid=28314 vsize=5356 CPUtime=0 /proc/28794/stat : 28794 (sh) S 28314 28314 26731 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 193499030 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28794/statm: 1339 225 188 169 0 50 0 [pid=28796] ppid=28794 vsize=26804 CPUtime=1742.27 /proc/28796/stat : 28796 (clasp-1.0) R 28794 28314 26731 0 -1 4194304 6417 0 0 0 174224 3 0 0 25 0 1 0 193499030 27447296 6013 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/28796/statm: 6701 6013 249 81 0 6075 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 44824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.97 0.99 2/67 28796 /proc/meminfo: memFree=1782024/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=1800.07 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7661 165569 0 0 11 7 179870 119 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 12664 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.99 2/68 28807 /proc/meminfo: memFree=1801216/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=1800.07 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7661 165569 0 0 11 7 179870 119 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28805] ppid=28314 vsize=5356 CPUtime=0 /proc/28805/stat : 28805 (sh) S 28314 28314 26731 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 193673308 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28805/statm: 1339 225 188 169 0 50 0 [pid=28807] ppid=28805 vsize=6296 CPUtime=0.95 /proc/28807/stat : 28807 (clasp-1.0) R 28805 28314 26731 0 -1 4194304 1262 0 0 0 95 0 0 0 25 0 1 0 193673308 6447104 1187 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134789697 0 0 4096 0 0 0 0 17 1 0 0 /proc/28807/statm: 1574 1187 249 81 0 948 0 Current children cumulated CPU time (s) 1801.02 Current children cumulated vsize (KiB) 24316 [startup+1803 s] /proc/loadavg: 0.99 0.97 0.99 2/68 28807 /proc/meminfo: memFree=1801216/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=1800.07 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7661 165569 0 0 11 7 179870 119 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28805] ppid=28314 vsize=5356 CPUtime=0 /proc/28805/stat : 28805 (sh) S 28314 28314 26731 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 193673308 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28805/statm: 1339 225 188 169 0 50 0 [pid=28807] ppid=28805 vsize=6296 CPUtime=1.75 /proc/28807/stat : 28807 (clasp-1.0) R 28805 28314 26731 0 -1 4194304 1263 0 0 0 175 0 0 0 25 0 1 0 193673308 6447104 1188 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134715290 0 0 4096 0 0 0 0 17 1 0 0 /proc/28807/statm: 1574 1188 249 81 0 948 0 Current children cumulated CPU time (s) 1801.82 Current children cumulated vsize (KiB) 24316 [startup+1803.2 s] /proc/loadavg: 0.99 0.97 0.99 2/68 28807 /proc/meminfo: memFree=1801216/2055920 swapFree=4184000/4192956 [pid=28314] ppid=28312 vsize=12664 CPUtime=1800.07 /proc/28314/stat : 28314 (pbclasp) S 28312 28314 26731 0 -1 4194304 7661 165569 0 0 11 7 179870 119 16 0 1 0 193493184 12967936 522 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/28314/statm: 3166 522 343 3 0 266 0 [pid=28805] ppid=28314 vsize=5356 CPUtime=0 /proc/28805/stat : 28805 (sh) S 28314 28314 26731 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 193673308 5484544 225 18446744073709551615 4194304 4889804 548682069200 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28805/statm: 1339 225 188 169 0 50 0 [pid=28807] ppid=28805 vsize=6296 CPUtime=1.95 /proc/28807/stat : 28807 (clasp-1.0) R 28805 28314 26731 0 -1 4194304 1263 0 0 0 195 0 0 0 25 0 1 0 193673308 6447104 1188 18446744073709551615 134512640 134847168 4294956768 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/28807/statm: 1574 1188 249 81 0 948 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 24316 Child status: 0 Real time (s): 1803.23 CPU time (s): 1802.07 CPU user time (s): 1800.8 CPU system time (s): 1.27681 CPU usage (%): 99.936 Max. virtual memory (cumulated for all children) (KiB): 44824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.8 system time used= 1.2768 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 175045 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= 7176 involuntary context switches= 5950 runsolver used 2.27865 second user time and 4.24335 second system time The end
Begin job on node65 on Sat Apr 21 17:03:56 UTC 2007 IDJOB= 373244 IDBENCH= 25029 IDSOLVER= 167 FILE ID= node65/373244-1177175036 PBS_JOBID= 4648965 Free space on /tmp= 66401 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb COMMAND LINE= pbclasp instance-373244-1177175036.opb /tmp/evaluation/373244-1177175036/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-373244-1177175036 -o ROOT/results/node65/conversion-373244-1177175036 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373244-1177175036/instance-373244-1177175036.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-373244-1177175036 -o ROOT/results/node65/solver-373244-1177175036 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373244-1177175036.opb /tmp/evaluation/373244-1177175036/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa RANDOM SEED= 828610205 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1807680 kB Buffers: 34780 kB Cached: 159932 kB SwapCached: 2624 kB Active: 116708 kB Inactive: 90064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807680 kB SwapTotal: 4192956 kB SwapFree: 4184000 kB Dirty: 904 kB Writeback: 0 kB Mapped: 18128 kB Slab: 27456 kB Committed_AS: 2388692 kB PageTables: 1464 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= 66401 MiB End job on node65 on Sat Apr 21 17:33:59 UTC 2007