Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-03-23 | ? (MO) | 1493.15 | 1493.84 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb |
MD5SUM | 13c1b3915f4d316b882a7e551b1f0496 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 502 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 502 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
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 | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 498884 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 498884 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
1491.22/1491.82 c Somebody sent me a SIGTERM 1491.22/1491.82 s UNKNOWN 1491.22/1491.82 pb2clasp1: no process killed
ERROR: no interpretation found !
/tmp/evaluation/352404-1176631190/instance-352404-1176631190.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-352404-1176631190 -o ROOT/results/node2/solver-352404-1176631190 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-352404-1176631190.opb /tmp/evaluation/352404-1176631190/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.91 0.96 0.99 3/77 6471 /proc/meminfo: memFree=1832176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=12268 CPUtime=0 /proc/6471/stat : 6471 (pbclasp) D 6469 6471 5183 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 139156832 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206381480549 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/6471/statm: 3067 317 242 3 0 167 0 [startup+0.031453 s] /proc/loadavg: 0.91 0.96 0.99 3/77 6471 /proc/meminfo: memFree=1832176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=13316 CPUtime=0.02 /proc/6471/stat : 6471 (pbclasp) R 6469 6471 5183 0 -1 4194304 713 0 0 0 2 0 0 0 18 0 1 0 139156832 13635584 679 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206399541000 0 0 4224 16384 0 0 0 17 1 0 0 /proc/6471/statm: 3329 679 320 3 0 429 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13316 [startup+0.101459 s] /proc/loadavg: 0.91 0.96 0.99 3/77 6471 /proc/meminfo: memFree=1832176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=13448 CPUtime=0.09 /proc/6471/stat : 6471 (pbclasp) R 6469 6471 5183 0 -1 4194304 726 0 0 0 9 0 0 0 18 0 1 0 139156832 13770752 692 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206399541000 0 0 4224 16384 0 0 0 17 1 0 0 /proc/6471/statm: 3362 692 320 3 0 462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13448 [startup+0.30148 s] /proc/loadavg: 0.91 0.96 0.99 3/77 6471 /proc/meminfo: memFree=1832176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=13580 CPUtime=0.29 /proc/6471/stat : 6471 (pbclasp) R 6469 6471 5183 0 -1 4194304 768 0 0 0 29 0 0 0 19 0 1 0 139156832 13905920 734 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206399541006 0 0 4224 16384 0 0 0 17 1 0 0 /proc/6471/statm: 3395 734 320 3 0 495 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13580 [startup+0.701521 s] /proc/loadavg: 0.91 0.96 0.99 3/77 6471 /proc/meminfo: memFree=1832176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=13976 CPUtime=0.69 /proc/6471/stat : 6471 (pbclasp) R 6469 6471 5183 0 -1 4194304 881 0 0 0 69 0 0 0 23 0 1 0 139156832 14311424 847 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206399541000 0 0 4224 16384 0 0 0 17 1 0 0 /proc/6471/statm: 3494 847 320 3 0 594 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13976 [startup+1.5016 s] /proc/loadavg: 0.91 0.96 0.99 2/78 6472 /proc/meminfo: memFree=1829352/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=15220 CPUtime=1.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1191 0 0 0 109 0 0 0 16 0 1 0 139156832 15585280 1142 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6471/statm: 3805 1142 324 3 0 905 0 Current children cumulated CPU time (s) 1.09 Current children cumulated vsize (KiB) 15220 [startup+3.10177 s] /proc/loadavg: 0.91 0.96 0.99 2/80 6474 /proc/meminfo: memFree=1827352/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=15220 CPUtime=1.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1191 0 0 0 109 0 0 0 16 0 1 0 139156832 15585280 1142 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6471/statm: 3805 1142 324 3 0 905 0 [pid=6473] ppid=6471 vsize=5352 CPUtime=0 /proc/6473/stat : 6473 (sh) S 6471 6471 5183 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 139156942 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6473/statm: 1338 229 193 169 0 49 0 [pid=6474] ppid=6473 vsize=12532 CPUtime=1.99 /proc/6474/stat : 6474 (pb2clasp1) R 6473 6471 5183 0 -1 4194304 521 0 0 0 198 1 0 0 25 0 1 0 139156943 12832768 483 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 206399331605 0 0 4224 0 0 0 0 17 1 0 0 /proc/6474/statm: 3133 483 340 3 0 233 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33104 [startup+6.30111 s] /proc/loadavg: 1.00 0.98 0.99 2/80 6474 /proc/meminfo: memFree=1825944/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=15220 CPUtime=1.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1191 0 0 0 109 0 0 0 16 0 1 0 139156832 15585280 1142 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6471/statm: 3805 1142 324 3 0 905 0 [pid=6473] ppid=6471 vsize=5352 CPUtime=0 /proc/6473/stat : 6473 (sh) S 6471 6471 5183 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 139156942 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6473/statm: 1338 229 193 169 0 49 0 [pid=6474] ppid=6473 vsize=12532 CPUtime=5.19 /proc/6474/stat : 6474 (pb2clasp1) R 6473 6471 5183 0 -1 4194304 521 0 0 0 517 2 0 0 25 0 1 0 139156943 12832768 483 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 206399118117 0 0 4224 0 0 0 0 17 1 0 0 /proc/6474/statm: 3133 483 340 3 0 233 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 33104 [startup+12.7018 s] /proc/loadavg: 1.00 0.98 0.99 2/80 6474 /proc/meminfo: memFree=1823192/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=15220 CPUtime=1.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1191 0 0 0 109 0 0 0 16 0 1 0 139156832 15585280 1142 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6471/statm: 3805 1142 324 3 0 905 0 [pid=6473] ppid=6471 vsize=5352 CPUtime=0 /proc/6473/stat : 6473 (sh) S 6471 6471 5183 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 139156942 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6473/statm: 1338 229 193 169 0 49 0 [pid=6474] ppid=6473 vsize=12532 CPUtime=11.58 /proc/6474/stat : 6474 (pb2clasp1) R 6473 6471 5183 0 -1 4194304 521 0 0 0 1155 3 0 0 25 0 1 0 139156943 12832768 483 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 206399116216 0 0 4224 0 0 0 0 17 1 0 0 /proc/6474/statm: 3133 483 340 3 0 233 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 33104 [startup+25.5011 s] /proc/loadavg: 1.00 0.98 0.99 2/80 6474 /proc/meminfo: memFree=1817688/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=15220 CPUtime=1.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1191 0 0 0 109 0 0 0 16 0 1 0 139156832 15585280 1142 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6471/statm: 3805 1142 324 3 0 905 0 [pid=6473] ppid=6471 vsize=5352 CPUtime=0 /proc/6473/stat : 6473 (sh) S 6471 6471 5183 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 139156942 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6473/statm: 1338 229 193 169 0 49 0 [pid=6474] ppid=6473 vsize=12532 CPUtime=24.37 /proc/6474/stat : 6474 (pb2clasp1) R 6473 6471 5183 0 -1 4194304 521 0 0 0 2431 6 0 0 25 0 1 0 139156943 12832768 483 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 206399116132 0 0 4224 0 0 0 0 17 1 0 0 /proc/6474/statm: 3133 483 340 3 0 233 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 33104 [startup+51.1018 s] /proc/loadavg: 1.07 1.00 1.00 2/81 6481 /proc/meminfo: memFree=1557912/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6480] ppid=6479 vsize=2520 CPUtime=0.02 /proc/6480/stat : 6480 (cat) S 6479 6471 5183 0 -1 4194304 119 0 0 0 0 2 0 0 15 0 1 0 139160947 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/6480/statm: 630 87 71 4 0 42 0 [pid=6481] ppid=6479 vsize=252908 CPUtime=9.92 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 63207 0 0 0 964 28 0 0 25 0 1 0 139160947 258977792 62686 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 135088385 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 63227 62686 173 154 0 62697 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 276924 [startup+102.305 s] /proc/loadavg: 1.03 1.00 1.00 2/86 6637 /proc/meminfo: memFree=1467424/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0.03 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 121 0 0 0 0 0 3 16 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6481] ppid=6479 vsize=326548 CPUtime=60.98 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 166613 0 0 0 6018 80 0 0 25 0 1 0 139160947 334385152 81148 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 81637 81148 194 154 0 81107 0 Current children cumulated CPU time (s) 102.1 Current children cumulated vsize (KiB) 348044 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/80 6679 /proc/meminfo: memFree=1358496/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0.03 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 121 0 0 0 0 0 3 16 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6481] ppid=6479 vsize=437460 CPUtime=120.94 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 194317 0 0 0 11996 98 0 0 25 0 1 0 139160947 447959040 108811 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134769162 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 109365 108811 194 154 0 108835 0 Current children cumulated CPU time (s) 162.06 Current children cumulated vsize (KiB) 458956 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/80 6679 /proc/meminfo: memFree=1234848/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0.03 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 121 0 0 0 0 0 3 16 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6481] ppid=6479 vsize=560892 CPUtime=180.93 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 225137 0 0 0 17976 117 0 0 25 0 1 0 139160947 574353408 139570 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134741339 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 140223 139570 194 154 0 139693 0 Current children cumulated CPU time (s) 222.05 Current children cumulated vsize (KiB) 582388 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/80 6679 /proc/meminfo: memFree=1132768/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0.03 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 121 0 0 0 0 0 3 16 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6481] ppid=6479 vsize=664136 CPUtime=240.91 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 250842 0 0 0 23960 131 0 0 25 0 1 0 139160947 680075264 165184 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134769175 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 166034 165184 194 154 0 165504 0 ################ # More data... # ################ /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 525022 0 0 0 137750 312 0 0 25 0 1 0 139160947 1793617920 435234 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 437895 435234 194 154 0 437365 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1773076 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 6679 /proc/meminfo: memFree=14880/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0.03 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 121 0 0 0 0 0 3 16 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6481] ppid=6479 vsize=1810276 CPUtime=1440.6 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 539671 0 0 0 143738 322 0 0 25 0 1 0 139160947 1853722624 449811 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134769162 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 452569 449811 194 154 0 452039 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 1831772 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1491.7 s] /proc/loadavg: 1.00 1.00 1.00 2/80 6679 /proc/meminfo: memFree=16288/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0.03 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 121 0 0 0 0 0 3 16 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6481] ppid=6479 vsize=1821708 CPUtime=1450.1 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 542533 0 0 0 144687 323 0 0 25 0 1 0 139160947 1865428992 452673 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 455427 452673 194 154 0 454897 0 Current children cumulated CPU time (s) 1491.22 Current children cumulated vsize (KiB) 1843204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1491.7 s] /proc/loadavg: 1.00 1.00 1.00 2/80 6679 /proc/meminfo: memFree=16288/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.09 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1789 1617 0 0 112 0 3977 20 16 0 1 0 139156832 16531456 1382 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/6471/statm: 4036 1382 343 3 0 1136 0 [pid=6479] ppid=6471 vsize=5352 CPUtime=0.03 /proc/6479/stat : 6479 (sh) S 6471 6471 5183 0 -1 4194304 287 121 0 0 0 0 0 3 16 0 1 0 139160947 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/6479/statm: 1338 224 188 169 0 49 0 [pid=6481] ppid=6479 vsize=1821708 CPUtime=1450.1 /proc/6481/stat : 6481 (clasp) R 6479 6471 5183 0 -1 4194304 542533 0 0 0 144687 323 0 0 25 0 1 0 139160947 1865428992 452673 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 134769173 0 0 4096 0 0 0 0 17 1 0 0 /proc/6481/statm: 455427 452673 194 154 0 454897 0 Current children cumulated CPU time (s) 1491.22 Current children cumulated vsize (KiB) 1843204 # WARNING: # current cumulated CPU time (41.18 s) is less than in the last sample (1491.22 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1450.04 s) to the 'lost time'. [startup+1491.92 s] /proc/loadavg: 1.00 1.00 1.00 2/80 6679 /proc/meminfo: memFree=16288/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.18 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1946 2991 0 0 113 1 3978 26 17 0 1 0 139156832 16531456 1384 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390210658 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/6471/statm: 4036 1384 343 3 0 1136 0 Current children cumulated CPU time (s) 41.18 Current children cumulated vsize (KiB) 16144 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1492.7 s] /proc/loadavg: 1.00 1.00 1.00 2/82 6690 /proc/meminfo: memFree=1812176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.29 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1957 3393 0 0 113 1 3979 36 15 0 1 0 139156832 16531456 1384 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6471/statm: 4036 1384 343 3 0 1136 0 [pid=6688] ppid=6471 vsize=5352 CPUtime=0 /proc/6688/stat : 6688 (sh) S 6471 6471 5183 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 139306028 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6688/statm: 1338 224 188 169 0 49 0 [pid=6689] ppid=6688 vsize=2520 CPUtime=0 /proc/6689/stat : 6689 (cat) S 6688 6471 5183 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 139306029 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/6689/statm: 630 87 71 4 0 42 0 [pid=6690] ppid=6688 vsize=19156 CPUtime=0.72 /proc/6690/stat : 6690 (clasp) R 6688 6471 5183 0 -1 4194304 4450 0 0 0 70 2 0 0 25 0 1 0 139306029 19615744 4413 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0 /proc/6690/statm: 4789 4414 173 154 0 4259 0 Current children cumulated CPU time (s) 42.01 Current children cumulated vsize (KiB) 43172 [startup+1493.5 s] /proc/loadavg: 1.00 1.00 1.00 2/82 6690 /proc/meminfo: memFree=1812176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.29 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1957 3393 0 0 113 1 3979 36 15 0 1 0 139156832 16531456 1384 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6471/statm: 4036 1384 343 3 0 1136 0 [pid=6688] ppid=6471 vsize=5352 CPUtime=0 /proc/6688/stat : 6688 (sh) S 6471 6471 5183 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 139306028 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6688/statm: 1338 224 188 169 0 49 0 [pid=6689] ppid=6688 vsize=2520 CPUtime=0 /proc/6689/stat : 6689 (cat) S 6688 6471 5183 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 139306029 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/6689/statm: 630 87 71 4 0 42 0 [pid=6690] ppid=6688 vsize=39444 CPUtime=1.52 /proc/6690/stat : 6690 (clasp) R 6688 6471 5183 0 -1 4194304 9509 0 0 0 148 4 0 0 25 0 1 0 139306029 40390656 9439 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 10915489 0 0 4096 0 0 0 0 17 1 0 0 /proc/6690/statm: 9861 9439 173 154 0 9331 0 Current children cumulated CPU time (s) 42.81 Current children cumulated vsize (KiB) 63460 [startup+1493.7 s] /proc/loadavg: 1.00 1.00 1.00 2/82 6690 /proc/meminfo: memFree=1812176/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.29 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1957 3393 0 0 113 1 3979 36 15 0 1 0 139156832 16531456 1384 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6471/statm: 4036 1384 343 3 0 1136 0 [pid=6688] ppid=6471 vsize=5352 CPUtime=0 /proc/6688/stat : 6688 (sh) S 6471 6471 5183 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 139306028 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6688/statm: 1338 224 188 169 0 49 0 [pid=6689] ppid=6688 vsize=2520 CPUtime=0 /proc/6689/stat : 6689 (cat) S 6688 6471 5183 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 139306029 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/6689/statm: 630 87 71 4 0 42 0 [pid=6690] ppid=6688 vsize=44400 CPUtime=1.71 /proc/6690/stat : 6690 (clasp) R 6688 6471 5183 0 -1 4194304 10776 0 0 0 167 4 0 0 25 0 1 0 139306029 45465600 10706 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 10747067 0 0 4096 0 0 0 0 17 1 0 0 /proc/6690/statm: 11100 10706 173 154 0 10570 0 Current children cumulated CPU time (s) 43 Current children cumulated vsize (KiB) 68416 [startup+1493.8 s] /proc/loadavg: 1.00 1.00 1.00 2/82 6690 /proc/meminfo: memFree=1784336/2055920 swapFree=4147160/4192956 [pid=6471] ppid=6469 vsize=16144 CPUtime=41.29 /proc/6471/stat : 6471 (pbclasp) S 6469 6471 5183 0 -1 4194304 1957 3393 0 0 113 1 3979 36 15 0 1 0 139156832 16531456 1384 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 206390214548 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/6471/statm: 4036 1384 343 3 0 1136 0 [pid=6688] ppid=6471 vsize=5352 CPUtime=0 /proc/6688/stat : 6688 (sh) S 6471 6471 5183 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 139306028 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/6688/statm: 1338 224 188 169 0 49 0 [pid=6689] ppid=6688 vsize=2520 CPUtime=0 /proc/6689/stat : 6689 (cat) S 6688 6471 5183 0 -1 4194304 119 0 0 0 0 0 0 0 15 0 1 0 139306029 2580480 87 18446744073709551615 4194304 4211220 548682069440 18446744073709551615 206381482210 0 0 4096 0 18446744071563648864 0 0 17 1 0 0 /proc/6689/statm: 630 87 71 4 0 42 0 [pid=6690] ppid=6688 vsize=47288 CPUtime=1.82 /proc/6690/stat : 6690 (clasp) R 6688 6471 5183 0 -1 4194304 11499 0 0 0 177 5 0 0 25 0 1 0 139306029 48422912 11364 18446744073709551615 134512640 135144128 4294956832 18446744073709551615 10970747 0 0 4096 0 0 0 0 17 1 0 0 /proc/6690/statm: 11822 11365 173 154 0 11292 0 Current children cumulated CPU time (s) 43.11 Current children cumulated vsize (KiB) 71304 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 6471 and gives # childrusage.ru_utime.tv_sec=40 # childrusage.ru_utime.tv_usec=931777 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=393940 # CPU time returned by wait4() is 41.3257 # while last known CPU time is 43.11 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # 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): 1450.04 # lost CPU user time (s): 1446.85 # lost CPU system time (s): 3.19 Real time (s): 1493.84 CPU time (s): 1493.15 CPU user time (s): 1489.54 CPU system time (s): 3.61 CPU usage (%): 99.9541 Max. virtual memory (cumulated for all children) (KiB): 1843204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 40.9318 system time used= 0.39394 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6590 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= 4854 involuntary context switches= 877 runsolver used 1.43778 second user time and 4.00839 second system time The end
Begin job on node2 on Sun Apr 15 09:59:50 UTC 2007 IDJOB= 352404 IDBENCH= 1973 IDSOLVER= 158 FILE ID= node2/352404-1176631190 PBS_JOBID= 4556845 Free space on /tmp= 66543 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb COMMAND LINE= pbclasp instance-352404-1176631190.opb /tmp/evaluation/352404-1176631190/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-352404-1176631190 -o ROOT/results/node2/conversion-352404-1176631190 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352404-1176631190/instance-352404-1176631190.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-352404-1176631190 -o ROOT/results/node2/solver-352404-1176631190 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-352404-1176631190.opb /tmp/evaluation/352404-1176631190/temp META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496 RANDOM SEED= 617261250 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1832584 kB Buffers: 42588 kB Cached: 112652 kB SwapCached: 14148 kB Active: 74172 kB Inactive: 104904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832584 kB SwapTotal: 4192956 kB SwapFree: 4147160 kB Dirty: 17940 kB Writeback: 0 kB Mapped: 30908 kB Slab: 29704 kB Committed_AS: 5814248 kB PageTables: 1864 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= 66510 MiB End job on node2 on Sun Apr 15 10:24:44 UTC 2007