Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | Wrong Cert. | 1800.26 | 1801 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb |
MD5SUM | 11ee19baa608345f86d8483767b8a181 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1783.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 309773 |
Total number of constraints | 5980 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 5964 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 24690 |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 244 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 711535 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 711535 |
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 |
ERROR: variable expected in interpretation !c
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node20/watcher-351759-1176612222 -o ROOT/results/node20/solver-351759-1176612222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351759-1176612222/instance-351759-1176612222.opb 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.95 0.99 0.99 3/77 5500 /proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=21596 CPUtime=0 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 109139521 22114304 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8052474 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 5399 335 281 324 0 2003 0 [startup+0.0678919 s] /proc/loadavg: 0.95 0.99 0.99 3/77 5500 /proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=22756 CPUtime=0.06 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 701 0 0 0 6 0 0 0 18 0 1 0 109139521 23302144 669 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 5689 669 327 324 0 2293 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 22756 [startup+0.102899 s] /proc/loadavg: 0.95 0.99 0.99 3/77 5500 /proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=23540 CPUtime=0.09 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 931 0 0 0 9 0 0 0 18 0 1 0 109139521 24104960 859 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 5885 859 349 324 0 2489 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23540 [startup+0.301937 s] /proc/loadavg: 0.95 0.99 0.99 3/77 5500 /proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=26888 CPUtime=0.29 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 2062 0 0 0 28 1 0 0 19 0 1 0 109139521 27533312 1862 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 6722 1862 485 324 0 3326 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26888 [startup+0.703021 s] /proc/loadavg: 0.95 0.99 0.99 3/77 5500 /proc/meminfo: memFree=1575928/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=34544 CPUtime=0.69 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 4508 0 0 0 67 2 0 0 22 0 1 0 109139521 35373056 3741 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 8636 3742 747 324 0 5240 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34544 [startup+1.50118 s] /proc/loadavg: 0.95 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1556208/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=38808 CPUtime=1.48 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 8463 0 0 0 145 3 0 0 25 0 1 0 109139521 39739392 7454 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 9702 7454 1256 324 0 6306 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 38808 [startup+3.1015 s] /proc/loadavg: 0.95 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1545648/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=50144 CPUtime=3.09 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 12363 0 0 0 304 5 0 0 25 0 1 0 109139521 51347456 11354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 12536 11354 2246 324 0 9140 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50144 [startup+6.30114 s] /proc/loadavg: 0.95 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1490352/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=92764 CPUtime=6.28 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25545 0 0 0 618 10 0 0 25 0 1 0 109139521 94990336 21653 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 23191 21653 305 324 0 22260 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 92764 [startup+12.7014 s] /proc/loadavg: 0.96 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1490032/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=93028 CPUtime=12.69 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25610 0 0 0 1257 12 0 0 25 0 1 0 109139521 95260672 21718 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 23257 21718 305 324 0 22326 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93028 [startup+25.502 s] /proc/loadavg: 0.97 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1490096/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=93028 CPUtime=25.49 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25613 0 0 0 2536 13 0 0 25 0 1 0 109139521 95260672 21721 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 23257 21721 305 324 0 22326 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93028 [startup+51.1011 s] /proc/loadavg: 0.98 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1489968/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=93160 CPUtime=51.07 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25665 0 0 0 5094 13 0 0 25 0 1 0 109139521 95395840 21773 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 23290 21773 305 324 0 22359 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93160 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1489904/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=93292 CPUtime=102.26 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25680 0 0 0 10211 15 0 0 25 0 1 0 109139521 95531008 21788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8048659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 23323 21788 305 324 0 22392 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 93292 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1489840/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=93292 CPUtime=162.24 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 25693 0 0 0 16197 27 0 0 25 0 1 0 109139521 95531008 21801 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 23323 21801 305 324 0 22392 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 93292 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1459312/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=123256 CPUtime=222.21 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 36104 0 0 0 22115 106 0 0 25 0 1 0 109139521 126214144 29428 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 30814 29428 312 324 0 29883 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 123256 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1459184/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=124040 CPUtime=282.19 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 36290 0 0 0 27971 248 0 0 25 0 1 0 109139521 127016960 29614 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 31010 29614 312 324 0 30079 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 124040 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1446064/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=136628 CPUtime=342.17 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 39418 0 0 0 33938 279 0 0 25 0 1 0 109139521 139907072 32742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 34157 32742 312 324 0 33226 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 136628 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1423152/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=159756 CPUtime=402.15 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 45226 0 0 0 39929 286 0 0 25 0 1 0 109139521 163590144 38550 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 39939 38550 312 324 0 39008 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 159756 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1413296/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=169296 CPUtime=462.13 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 47611 0 0 0 45920 293 0 0 25 0 1 0 109139521 173359104 40935 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 42324 40935 312 324 0 41393 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 169296 [startup+522.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1410416/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=172192 CPUtime=522.11 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 48326 0 0 0 51910 301 0 0 25 0 1 0 109139521 176324608 41650 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 43048 41650 312 324 0 42117 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 172192 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1403056/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=179528 CPUtime=582.09 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 50172 0 0 0 57906 303 0 0 25 0 1 0 109139521 183836672 43496 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 44882 43496 312 324 0 43951 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 179528 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1393008/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=189608 CPUtime=642.07 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 52664 0 0 0 63899 308 0 0 25 0 1 0 109139521 194158592 45988 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 47402 45988 312 324 0 46471 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 189608 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1379888/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=202536 CPUtime=881.98 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 55920 0 0 0 87870 328 0 0 25 0 1 0 109139521 207396864 49244 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 50634 49244 312 324 0 49703 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 202536 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1377968/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=204596 CPUtime=941.96 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 56422 0 0 0 93867 329 0 0 25 0 1 0 109139521 209506304 49746 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 51149 49746 312 324 0 50218 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 204596 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5501 /proc/meminfo: memFree=1375920/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=206532 CPUtime=1001.94 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 56921 0 0 0 99864 330 0 0 25 0 1 0 109139521 211488768 50245 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 51633 50245 312 324 0 50702 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 206532 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/84 5617 /proc/meminfo: memFree=1372664/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=208604 CPUtime=1061.88 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 57421 0 0 0 105857 331 0 0 25 0 1 0 109139521 213610496 50745 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 52151 50745 312 324 0 51220 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 208604 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1371624/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=210668 CPUtime=1121.81 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 57937 0 0 0 111850 331 0 0 25 0 1 0 109139521 215724032 51261 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 52667 51261 312 324 0 51736 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 210668 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1363752/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=219964 CPUtime=1181.79 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 60270 0 0 0 117845 334 0 0 25 0 1 0 109139521 225243136 53594 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 54991 53594 312 324 0 54060 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 219964 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1323688/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=259044 CPUtime=1241.76 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 70036 0 0 0 123826 350 0 0 25 0 1 0 109139521 265261056 63360 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 64761 63360 312 324 0 63830 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 259044 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1278504/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=303688 CPUtime=1301.74 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 81192 0 0 0 129807 367 0 0 25 0 1 0 109139521 310976512 74516 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 75922 74516 312 324 0 74991 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 303688 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1256488/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=325840 CPUtime=1361.72 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 86719 0 0 0 135795 377 0 0 25 0 1 0 109139521 333660160 80043 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 81460 80043 312 324 0 80529 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 325840 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1244464/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=337664 CPUtime=1421.71 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 89688 0 0 0 141780 391 0 0 25 0 1 0 109139521 345767936 83012 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 84416 83012 312 324 0 83485 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 337664 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1239408/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=342796 CPUtime=1481.68 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 90987 0 0 0 147768 400 0 0 25 0 1 0 109139521 351023104 84311 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 85699 84311 312 324 0 84768 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 342796 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1234992/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=347156 CPUtime=1541.66 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 92068 0 0 0 153765 401 0 0 25 0 1 0 109139521 355487744 85392 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 86789 85392 312 324 0 85858 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 347156 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1230896/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=351384 CPUtime=1601.64 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 93117 0 0 0 159761 403 0 0 25 0 1 0 109139521 359817216 86441 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 87846 86441 312 324 0 86915 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 351384 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1226096/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=355980 CPUtime=1661.62 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 94282 0 0 0 165741 421 0 0 25 0 1 0 109139521 364523520 87606 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 8048709 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 88995 87606 312 324 0 88064 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 355980 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1224432/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=357696 CPUtime=1721.59 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 94711 0 0 0 171737 422 0 0 25 0 1 0 109139521 366280704 88035 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 89424 88035 312 324 0 88493 0 Current children cumulated CPU time (s) 1721.59 Current children cumulated vsize (KiB) 357696 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/78 5699 /proc/meminfo: memFree=1222192/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=359936 CPUtime=1781.58 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 95256 0 0 0 177734 424 0 0 25 0 1 0 109139521 368574464 88580 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 89984 88580 312 324 0 89053 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 359936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.99 0.99 3/78 5699 /proc/meminfo: memFree=1221168/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=360556 CPUtime=1800.07 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 95410 0 0 0 179583 424 0 0 17 0 1 0 109139521 369209344 88734 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134594825 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5500/statm: 90139 88734 312 324 0 89208 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 360556 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 0.99 0.99 0.99 3/78 5699 /proc/meminfo: memFree=1221168/2055920 swapFree=4159876/4192956 [pid=5500] ppid=5498 vsize=360556 CPUtime=1800.16 /proc/5500/stat : 5500 (bsolo3.0.16) R 5498 5500 5115 0 -1 4194304 95410 0 0 0 179592 424 0 0 17 0 1 0 109139521 369209344 88734 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160322423 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/5500/statm: 90139 88734 312 324 0 89208 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 360556 Child status: 15 Real time (s): 1801 CPU time (s): 1800.26 CPU user time (s): 1795.96 CPU system time (s): 4.30235 CPU usage (%): 99.9589 Max. virtual memory (cumulated for all children) (KiB): 360564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.96 system time used= 4.30234 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 95411 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= 23 involuntary context switches= 3423 runsolver used 2.0027 second user time and 4.15837 second system time The end
Begin job on node20 on Sun Apr 15 04:43:42 UTC 2007 IDJOB= 351759 IDBENCH= 1801 IDSOLVER= 163 FILE ID= node20/351759-1176612222 PBS_JOBID= 4557045 Free space on /tmp= 66551 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351759-1176612222/instance-351759-1176612222.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-351759-1176612222 -o ROOT/results/node20/solver-351759-1176612222 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351759-1176612222/instance-351759-1176612222.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 11ee19baa608345f86d8483767b8a181 RANDOM SEED= 432630328 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node20.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.265 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.265 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: 1576336 kB Buffers: 59500 kB Cached: 326756 kB SwapCached: 15284 kB Active: 253052 kB Inactive: 160336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1576336 kB SwapTotal: 4192956 kB SwapFree: 4159876 kB Dirty: 14268 kB Writeback: 0 kB Mapped: 37020 kB Slab: 51756 kB Committed_AS: 688056 kB PageTables: 1688 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= 66551 MiB End job on node20 on Sun Apr 15 05:13:45 UTC 2007