Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.21 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb |
MD5SUM | 99a4e5b0ce7b98bffc278cf1f6704eb9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 5488 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 535829 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535829 |
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 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432752-1177949078/instance-432752-1177949078.opb 0.00/0.00 c File size is 482028 bytes. 0.03/0.09 c Highest Coefficient sum: 535829 0.03/0.09 c Parsing was ok!! 0.03/0.09 c Total parsing time: 0.092 s 0.09/0.10 c Var: 14265 Constr: 368 29/11/328 Lit: 52314 Watch. Lit: 6242 0.09/0.10 c Obj. Vars: 14235 (99.7897 % of total variables) 1.79/1.86 c Pre-processing Time: 1.854 s 1.79/1.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.86 c 0 10190 367 51922 141 38211 103079 0 0 1.85 1.79/1.86 c Switching off LPR mode. 1800.09/1800.60 c 102 10190 469 59916 127 38562 113387 102 53 1.92 1800.09/1800.60 c 252 10190 619 72104 116 39005 124726 252 119 2.10 1800.09/1800.60 c 477 10190 844 76294 90 39365 137199 477 218 2.18 1800.09/1800.60 c 815 10190 1182 106952 90 40101 150919 815 342 2.38 1800.09/1800.60 c 1323 10190 1690 126562 74 41134 166011 1323 510 2.59 1800.09/1800.60 c 2087 10189 2454 169315 68 42595 182613 2087 707 2.95 1800.09/1800.60 c 3233 10189 3600 201373 55 44882 200875 3233 795 4.06 1800.09/1800.60 c 4954 10189 5321 356562 67 48360 220963 4954 1134 4.37 1800.09/1800.60 c 7538 10189 7905 466895 59 53420 243060 7538 1060 7.11 1800.09/1800.60 c 11418 10189 11785 642889 54 61180 267367 11418 1399 8.16 1800.09/1800.60 c 17241 10189 17608 933936 53 72833 294104 17241 1753 9.83 1800.09/1800.60 c 25978 10189 26345 1388374 52 90280 323515 25978 1841 14.11 1800.09/1800.60 c 39088 10189 39455 1831011 46 116476 355867 39088 1927 20.28 1800.09/1800.60 c 58758 10189 59125 6459903 109 155704 391454 58758 1131 51.93 1800.09/1800.60 c 88268 10189 88635 7318720 82 214744 430600 88268 1131 78.04 1800.09/1800.60 c 132540 10189 132907 9015923 67 303146 473661 132540 1053 125.78 1800.09/1800.60 c 198951 10189 199318 11762665 59 435958 521028 198951 922 215.65 1800.09/1800.60 c 298571 10189 298938 21419169 71 635220 573131 298571 508 587.73 1800.09/1800.60 c 448006 10189 448373 34612344 77 934134 630445 448006 292 1532.00 1800.09/1800.60 c Caught signal: 15 1800.09/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.60 c 19 524001 28959 743502 524368 46785504 524001 291 1800.10 1800.09/1800.60 s UNKNOWN 1800.09/1800.60 c Total time: 1800.1 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-432752-1177949078 -o ROOT/results/node27/solver-432752-1177949078 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432752-1177949078/instance-432752-1177949078.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.99 0.98 0.94 3/65 24076 /proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=20020 CPUtime=0 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 344 0 0 0 0 0 0 0 18 0 1 0 207603745 20500480 315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134536096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 5005 324 278 324 0 3957 0 [startup+0.0399379 s] /proc/loadavg: 0.99 0.98 0.94 3/65 24076 /proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=13516 CPUtime=0.03 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 732 0 0 0 3 0 0 0 18 0 1 0 207603745 13840384 702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1788189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 3379 702 323 324 0 2331 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13516 [startup+0.101945 s] /proc/loadavg: 0.99 0.98 0.94 3/65 24076 /proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=7036 CPUtime=0.09 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1232 0 0 0 9 0 0 0 18 0 1 0 207603745 7204864 1084 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 1759 1090 299 324 0 829 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7036 [startup+0.301964 s] /proc/loadavg: 0.99 0.98 0.94 3/65 24076 /proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=7824 CPUtime=0.29 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1441 0 0 0 29 0 0 0 19 0 1 0 207603745 8011776 1293 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 1956 1293 303 324 0 1026 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7824 [startup+0.702004 s] /proc/loadavg: 0.99 0.98 0.94 3/65 24076 /proc/meminfo: memFree=1781224/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=8400 CPUtime=0.69 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1706 0 0 0 68 1 0 0 22 0 1 0 207603745 8601600 1446 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 2100 1446 305 324 0 1170 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8400 [startup+1.50108 s] /proc/loadavg: 1.07 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1776352/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=8400 CPUtime=1.48 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 1706 0 0 0 147 1 0 0 25 0 1 0 207603745 8601600 1446 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 2100 1446 305 324 0 1170 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 8400 [startup+3.10125 s] /proc/loadavg: 1.07 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1776352/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=9576 CPUtime=3.09 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 2019 0 0 0 307 2 0 0 25 0 1 0 207603745 9805824 1759 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 2394 1759 309 324 0 1464 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9576 [startup+6.30157 s] /proc/loadavg: 1.07 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1771808/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=13492 CPUtime=6.29 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 2974 0 0 0 627 2 0 0 25 0 1 0 207603745 13815808 2714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 3373 2714 309 324 0 2443 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13492 [startup+12.7012 s] /proc/loadavg: 1.06 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1759456/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=26224 CPUtime=12.69 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 6171 0 0 0 1265 4 0 0 25 0 1 0 207603745 26853376 5911 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 6556 5911 310 324 0 5626 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26224 [startup+25.5015 s] /proc/loadavg: 1.05 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1732064/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=53244 CPUtime=25.49 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 12931 0 0 0 2541 8 0 0 25 0 1 0 207603745 54521856 12671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1896600 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 13311 12671 310 324 0 12381 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53244 [startup+51.1011 s] /proc/loadavg: 1.03 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1690976/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=94592 CPUtime=51.08 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 23253 0 0 0 5090 18 0 0 25 0 1 0 207603745 96862208 22993 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 23648 22993 310 324 0 22718 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 94592 [startup+102.305 s] /proc/loadavg: 1.01 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1657312/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=127364 CPUtime=102.26 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 31472 0 0 0 10201 25 0 0 25 0 1 0 207603745 130420736 31212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 31841 31212 310 324 0 30911 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 127364 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1622880/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=161984 CPUtime=162.24 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 40110 0 0 0 16192 32 0 0 25 0 1 0 207603745 165871616 39850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 40496 39850 310 324 0 39566 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 161984 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1594080/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=190580 CPUtime=222.22 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 47260 0 0 0 22183 39 0 0 25 0 1 0 207603745 195153920 47000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 47645 47000 310 324 0 46715 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 190580 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1562400/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=222336 CPUtime=282.21 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 55189 0 0 0 28174 47 0 0 25 0 1 0 207603745 227672064 54929 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 55584 54929 310 324 0 54654 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 222336 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1540704/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=243740 CPUtime=342.19 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 60539 0 0 0 34167 52 0 0 25 0 1 0 207603745 249589760 60279 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 60935 60279 310 324 0 60005 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 243740 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1523104/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=261432 CPUtime=402.18 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 64977 0 0 0 40159 59 0 0 25 0 1 0 207603745 267706368 64717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 65358 64717 310 324 0 64428 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 261432 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1503264/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=281160 CPUtime=462.16 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 69898 0 0 0 46151 65 0 0 25 0 1 0 207603745 287907840 69638 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 70290 69638 310 324 0 69360 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 281160 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1484704/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=299648 CPUtime=522.14 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 74532 0 0 0 52144 70 0 0 25 0 1 0 207603745 306839552 74272 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 74912 74272 310 324 0 73982 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 299648 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1471584/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=312824 CPUtime=582.13 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 77814 0 0 0 58139 74 0 0 25 0 1 0 207603745 320331776 77554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 78206 77554 310 324 0 77276 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 312824 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1426272/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=357844 CPUtime=642.11 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 89075 0 0 0 64128 83 0 0 25 0 1 0 207603745 366432256 88815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 89461 88815 310 324 0 88531 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 357844 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1363744/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=420444 CPUtime=882.04 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 104724 0 0 0 88105 99 0 0 25 0 1 0 207603745 430534656 104464 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 105111 104464 310 324 0 104181 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 420444 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1348832/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=435404 CPUtime=942.02 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 108471 0 0 0 94098 104 0 0 25 0 1 0 207603745 445853696 108211 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 108851 108211 310 324 0 107921 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 435404 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1339232/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=444844 CPUtime=1002.01 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 110827 0 0 0 100094 107 0 0 25 0 1 0 207603745 455520256 110567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 111211 110567 310 324 0 110281 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 444844 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1332448/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=451704 CPUtime=1061.99 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 112542 0 0 0 106090 109 0 0 25 0 1 0 207603745 462544896 112282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 112926 112282 310 324 0 111996 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 451704 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1326112/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=457908 CPUtime=1121.97 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 114097 0 0 0 112086 111 0 0 25 0 1 0 207603745 468897792 113837 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 114477 113837 310 324 0 113547 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 457908 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1320224/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=463728 CPUtime=1181.96 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 115567 0 0 0 118083 113 0 0 25 0 1 0 207603745 474857472 115307 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 115932 115307 310 324 0 115002 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 463728 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1315488/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=468504 CPUtime=1241.94 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 116739 0 0 0 124080 114 0 0 25 0 1 0 207603745 479748096 116479 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 117126 116479 310 324 0 116196 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 468504 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1304864/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=479096 CPUtime=1301.93 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 119385 0 0 0 130076 117 0 0 25 0 1 0 207603745 490594304 119125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 119774 119125 310 324 0 118844 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 479096 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1298656/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=485312 CPUtime=1361.91 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 120941 0 0 0 136072 119 0 0 25 0 1 0 207603745 496959488 120681 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 121328 120681 310 324 0 120398 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 485312 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1293600/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=490340 CPUtime=1421.9 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 122188 0 0 0 142069 121 0 0 25 0 1 0 207603745 502108160 121928 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 122585 121928 310 324 0 121655 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 490340 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24077 /proc/meminfo: memFree=1289376/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=494492 CPUtime=1481.88 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 123257 0 0 0 148065 123 0 0 25 0 1 0 207603745 506359808 122997 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 123623 122997 310 324 0 122693 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 494492 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24079 /proc/meminfo: memFree=1275936/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=507924 CPUtime=1541.86 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 126616 0 0 0 154061 125 0 0 25 0 1 0 207603745 520114176 126356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 126981 126356 310 324 0 126051 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 507924 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24079 /proc/meminfo: memFree=1220320/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=563808 CPUtime=1601.84 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 140578 0 0 0 160048 136 0 0 25 0 1 0 207603745 577339392 140318 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 140952 140318 310 324 0 140022 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 563808 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24079 /proc/meminfo: memFree=1187168/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=596680 CPUtime=1661.82 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 148781 0 0 0 166037 145 0 0 25 0 1 0 207603745 611000320 148521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 1908386 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 149170 148521 310 324 0 148240 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 596680 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24079 /proc/meminfo: memFree=1154912/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=628900 CPUtime=1721.81 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 156839 0 0 0 172026 155 0 0 25 0 1 0 207603745 643993600 156579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 157225 156579 310 324 0 156295 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 628900 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24079 /proc/meminfo: memFree=1128224/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=655476 CPUtime=1781.79 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 163490 0 0 0 178017 162 0 0 25 0 1 0 207603745 671207424 163230 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 163869 163230 310 324 0 162939 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 655476 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24079 /proc/meminfo: memFree=1121248/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=662180 CPUtime=1800.09 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194304 165179 0 0 0 179845 164 0 0 25 0 1 0 207603745 678072320 164919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 165545 164919 310 324 0 164615 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 662180 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/66 24079 /proc/meminfo: memFree=1121248/2055920 swapFree=4182924/4192956 [pid=24076] ppid=24074 vsize=0 CPUtime=1800.19 /proc/24076/stat : 24076 (bsolo3.0.17) R 24074 24076 23027 0 -1 4194308 165183 0 0 0 179845 174 0 0 25 0 1 0 207603745 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/24076/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.73 CPU time (s): 1800.21 CPU user time (s): 1798.46 CPU system time (s): 1.74873 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 662180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.46 system time used= 1.74873 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 165183 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= 12 involuntary context switches= 2863 runsolver used 1.35279 second user time and 3.57746 second system time The end
Begin job on node27 on Mon Apr 30 16:04:38 UTC 2007 IDJOB= 432752 IDBENCH= 1758 IDSOLVER= 199 FILE ID= node27/432752-1177949078 PBS_JOBID= 4727636 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432752-1177949078/instance-432752-1177949078.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-432752-1177949078 -o ROOT/results/node27/solver-432752-1177949078 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432752-1177949078/instance-432752-1177949078.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 99a4e5b0ce7b98bffc278cf1f6704eb9 RANDOM SEED= 306779409 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1781632 kB Buffers: 31748 kB Cached: 164240 kB SwapCached: 4068 kB Active: 61680 kB Inactive: 144192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1781632 kB SwapTotal: 4192956 kB SwapFree: 4182924 kB Dirty: 7084 kB Writeback: 0 kB Mapped: 15732 kB Slab: 54472 kB Committed_AS: 2311632 kB PageTables: 1412 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= 66558 MiB End job on node27 on Mon Apr 30 16:34:41 UTC 2007