Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.06 | 1800.67 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-dano3mip.opb |
MD5SUM | 14e6c259fcfc7693ea81c905b2ebcb59 |
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 | 399966 |
Total number of constraints | 3226 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 3178 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 535830 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/348891-1176605564/instance-348891-1176605564.opb 0.00/0.00 c File size is 24912402 bytes. 6.89/6.95 c Highest Coefficient sum: 535830 6.89/6.95 c Parsing was ok!! 6.89/6.95 c Total parsing time: 6.945 s 7.08/7.18 c Var: 399966 Constr: 4450 0/96/4354 Lit: 3755448 Watch. Lit: 553754 7.08/7.18 c Obj. Vars: 30 (0.00750064 % of total variables) 191.63/191.71 c Pre-processing Time: 191.646 s 191.63/191.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.63/191.73 c 0 279988 4435 3754983 846 2990869 500000 0 0 191.65 191.63/191.73 c Switching off LPR mode. 1799.99/1800.62 c 100 279988 4535 3757105 828 2987317 550001 100 0 195.54 1799.99/1800.62 c 250 279988 4685 3760023 802 2986519 605002 250 1 205.47 1799.99/1800.62 c 475 279988 4910 3764093 766 2984930 665503 475 1 248.18 1799.99/1800.62 c 813 279988 5248 3771393 718 2983294 732054 813 2 313.56 1799.99/1800.62 c 1322 279988 5757 3868885 672 2985334 805260 1322 2 519.46 1799.99/1800.62 c 2085 279988 6520 4044827 620 2988137 885787 2085 3 665.88 1799.99/1800.62 c 3231 279988 7666 4486089 585 2986957 974366 3231 3 1017.64 1799.99/1800.62 c 4952 279988 9387 5504257 586 2989526 500000 4952 3 1456.71 1799.99/1800.62 c 7556 279988 11991 6192060 516 2994122 550001 7556 4 1567.25 1799.99/1800.62 c Resources Exceeded 1799.99/1800.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.62 c 9 9203 2177 788748 13638 6873902 9203 5 1800.01 1799.99/1800.62 s UNKNOWN 1799.99/1800.62 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-348891-1176605564 -o ROOT/results/node17/solver-348891-1176605564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348891-1176605564/instance-348891-1176605564.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.78 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1543784/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=36068 CPUtime=0 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 108473975 36933632 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 9017 336 282 324 0 2003 0 [startup+0.0824209 s] /proc/loadavg: 0.78 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1543784/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=38956 CPUtime=0.07 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 1240 0 0 0 7 0 0 0 18 0 1 0 108473975 39890944 1168 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134541250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 9739 1168 391 324 0 2725 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 38956 [startup+0.108065 s] /proc/loadavg: 0.78 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1543784/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=32660 CPUtime=0.1 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 1653 0 0 0 9 1 0 0 18 0 1 0 108473975 33443840 1502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134538841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 8165 1502 423 324 0 1151 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 32660 [startup+0.301442 s] /proc/loadavg: 0.78 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1543784/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=38116 CPUtime=0.29 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 3511 0 0 0 28 1 0 0 19 0 1 0 108473975 39030784 3057 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 9529 3057 652 324 0 2515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38116 [startup+0.701484 s] /proc/loadavg: 0.78 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1543784/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=47596 CPUtime=0.69 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 6508 0 0 0 66 3 0 0 23 0 1 0 108473975 48738304 5741 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3319583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 11899 5741 1103 324 0 4885 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47596 [startup+1.50157 s] /proc/loadavg: 0.78 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1518816/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=61836 CPUtime=1.49 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 11250 0 0 0 145 4 0 0 25 0 1 0 108473975 63320064 10290 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 15459 10290 1858 324 0 8445 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61836 [startup+3.10173 s] /proc/loadavg: 0.80 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1502304/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=80972 CPUtime=3.09 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 17885 0 0 0 301 8 0 0 25 0 1 0 108473975 82915328 15914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 20243 15914 3145 324 0 13229 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 80972 [startup+6.30207 s] /proc/loadavg: 0.80 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1477664/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=102104 CPUtime=6.29 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 27129 0 0 0 618 11 0 0 25 0 1 0 108473975 104554496 23857 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 25526 23857 5815 324 0 18512 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 102104 [startup+12.7017 s] /proc/loadavg: 0.83 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1365608/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=189608 CPUtime=12.68 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 54145 0 0 0 1248 20 0 0 25 0 1 0 108473975 194158592 44790 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 47402 44790 306 324 0 46471 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 189608 [startup+25.5011 s] /proc/loadavg: 0.85 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1365744/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=189608 CPUtime=25.48 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 54147 0 0 0 2524 24 0 0 25 0 1 0 108473975 194158592 44792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 47402 44792 306 324 0 46471 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 189608 [startup+51.1018 s] /proc/loadavg: 0.90 0.96 0.98 2/78 26306 /proc/meminfo: memFree=1365808/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=189608 CPUtime=51.07 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 54147 0 0 0 5075 32 0 0 25 0 1 0 108473975 194158592 44792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 47402 44792 306 324 0 46471 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 189608 [startup+102.305 s] /proc/loadavg: 0.96 0.96 0.98 2/78 26306 /proc/meminfo: memFree=1365936/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=189608 CPUtime=102.26 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 54147 0 0 0 10180 46 0 0 25 0 1 0 108473975 194158592 44792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 47402 44792 306 324 0 46471 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 189608 [startup+162.301 s] /proc/loadavg: 1.03 0.98 0.99 2/78 26306 /proc/meminfo: memFree=1322032/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=233296 CPUtime=162.24 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 68992 0 0 0 16170 54 0 0 25 0 1 0 108473975 238895104 55729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 58324 55729 308 324 0 57393 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 233296 [startup+222.302 s] /proc/loadavg: 1.01 0.98 0.99 2/78 26306 /proc/meminfo: memFree=1363376/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=191976 CPUtime=222.22 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 69379 0 0 0 22166 56 0 0 25 0 1 0 108473975 196583424 45392 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 47994 45392 312 324 0 47063 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 191976 [startup+282.302 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26306 /proc/meminfo: memFree=1359216/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=196072 CPUtime=282.21 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 70419 0 0 0 28163 58 0 0 25 0 1 0 108473975 200777728 46432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 49018 46432 312 324 0 48087 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 196072 [startup+342.301 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26306 /proc/meminfo: memFree=1356912/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=198316 CPUtime=342.18 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 70981 0 0 0 34158 60 0 0 25 0 1 0 108473975 203075584 46994 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 49579 46994 312 324 0 48648 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 198316 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26306 /proc/meminfo: memFree=1353968/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=201352 CPUtime=402.17 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 71715 0 0 0 40154 63 0 0 25 0 1 0 108473975 206184448 47728 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 50338 47728 312 324 0 49407 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 201352 [startup+462.302 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26306 /proc/meminfo: memFree=1352688/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=202540 CPUtime=462.16 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 72029 0 0 0 46150 66 0 0 25 0 1 0 108473975 207400960 48042 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 50635 48042 312 324 0 49704 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 202540 [startup+522.301 s] /proc/loadavg: 1.00 0.98 0.99 2/84 26428 /proc/meminfo: memFree=1349048/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=204916 CPUtime=522.09 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 72610 0 0 0 52140 69 0 0 25 0 1 0 108473975 209833984 48623 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 51229 48623 312 324 0 50298 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 204916 [startup+582.301 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1350192/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=204916 CPUtime=582.02 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 72610 0 0 0 58132 70 0 0 25 0 1 0 108473975 209833984 48623 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 51229 48623 312 324 0 50298 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 204916 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1348400/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=206636 CPUtime=642.01 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 73059 0 0 0 64130 71 0 0 25 0 1 0 108473975 211595264 49072 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 51659 49072 312 324 0 50728 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 206636 ################ # More data... # ################ /proc/meminfo: memFree=1338416/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=216700 CPUtime=1121.87 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 75572 0 0 0 112092 95 0 0 25 0 1 0 108473975 221900800 51585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 54175 51585 312 324 0 53244 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 216700 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1337392/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=217628 CPUtime=1181.86 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 75819 0 0 0 118089 97 0 0 25 0 1 0 108473975 222851072 51832 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 54407 51832 312 324 0 53476 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 217628 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1336752/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=218296 CPUtime=1241.84 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 75979 0 0 0 124084 100 0 0 25 0 1 0 108473975 223535104 51992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 54574 51992 312 324 0 53643 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 218296 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1336176/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=218824 CPUtime=1301.82 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 76117 0 0 0 130079 103 0 0 25 0 1 0 108473975 224075776 52130 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 54706 52130 312 324 0 53775 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 218824 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1334320/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=220668 CPUtime=1361.8 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 76578 0 0 0 136074 106 0 0 25 0 1 0 108473975 225964032 52591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 55167 52591 312 324 0 54236 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 220668 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1332656/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=222368 CPUtime=1421.8 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 77000 0 0 0 142071 109 0 0 25 0 1 0 108473975 227704832 53013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 55592 53013 312 324 0 54661 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 222368 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1329200/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=225844 CPUtime=1481.78 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 77878 0 0 0 148065 113 0 0 25 0 1 0 108473975 231264256 53891 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 56461 53891 312 324 0 55530 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 225844 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1324080/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=231088 CPUtime=1541.75 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 79200 0 0 0 154059 116 0 0 25 0 1 0 108473975 236634112 55213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 57772 55213 312 324 0 56841 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 231088 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1321968/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=233340 CPUtime=1601.73 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 79734 0 0 0 160053 120 0 0 25 0 1 0 108473975 238940160 55747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 58335 55747 312 324 0 57404 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 233340 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1319792/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=235188 CPUtime=1661.72 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 80208 0 0 0 166048 124 0 0 25 0 1 0 108473975 240832512 56221 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 58797 56221 312 324 0 57866 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 235188 [startup+1722.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1318576/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=236356 CPUtime=1721.71 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 80503 0 0 0 172043 128 0 0 25 0 1 0 108473975 242028544 56516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 59089 56516 312 324 0 58158 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 236356 [startup+1782.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1314736/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=240328 CPUtime=1781.69 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81484 0 0 0 178039 130 0 0 25 0 1 0 108473975 246095872 57497 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60082 57497 312 324 0 59151 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 240328 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1314096/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=240864 CPUtime=1791.29 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81639 0 0 0 178999 130 0 0 25 0 1 0 108473975 246644736 57652 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60216 57652 312 324 0 59285 0 Current children cumulated CPU time (s) 1791.29 Current children cumulated vsize (KiB) 240864 [startup+1795.1 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1313840/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=241124 CPUtime=1794.49 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81702 0 0 0 179318 131 0 0 25 0 1 0 108473975 246910976 57715 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60281 57715 312 324 0 59350 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 241124 [startup+1798.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1313776/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=241256 CPUtime=1797.69 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81710 0 0 0 179638 131 0 0 25 0 1 0 108473975 247046144 57723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60314 57723 312 324 0 59383 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 241256 [startup+1799.9 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1313776/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=241256 CPUtime=1799.28 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81710 0 0 0 179797 131 0 0 25 0 1 0 108473975 247046144 57723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60314 57723 312 324 0 59383 0 Current children cumulated CPU time (s) 1799.28 Current children cumulated vsize (KiB) 241256 [startup+1800.3 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1313776/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=241256 CPUtime=1799.68 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81710 0 0 0 179837 131 0 0 25 0 1 0 108473975 247046144 57723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60314 57723 312 324 0 59383 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (KiB) 241256 [startup+1800.5 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1313776/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=241256 CPUtime=1799.88 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81713 0 0 0 179857 131 0 0 25 0 1 0 108473975 247046144 57726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60314 57726 312 324 0 59383 0 Current children cumulated CPU time (s) 1799.88 Current children cumulated vsize (KiB) 241256 [startup+1800.6 s] /proc/loadavg: 1.00 0.98 0.99 2/78 26504 /proc/meminfo: memFree=1313776/2055920 swapFree=4153028/4192956 [pid=26305] ppid=26303 vsize=241256 CPUtime=1799.99 /proc/26305/stat : 26305 (bsolo3.0.16) R 26303 26305 26245 0 -1 4194304 81713 0 0 0 179868 131 0 0 25 0 1 0 108473975 247046144 57726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26305/statm: 60314 57726 312 324 0 59383 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 241256 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.06 CPU user time (s): 1798.71 CPU system time (s): 1.35279 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 241256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.71 system time used= 1.35279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81714 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= 37517 runsolver used 2.10168 second user time and 4.21436 second system time The end
Begin job on node17 on Sun Apr 15 02:52:45 UTC 2007 IDJOB= 348891 IDBENCH= 1778 IDSOLVER= 163 FILE ID= node17/348891-1176605564 PBS_JOBID= 4556833 Free space on /tmp= 66530 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-dano3mip.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348891-1176605564/instance-348891-1176605564.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-348891-1176605564 -o ROOT/results/node17/solver-348891-1176605564 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348891-1176605564/instance-348891-1176605564.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 14e6c259fcfc7693ea81c905b2ebcb59 RANDOM SEED= 574289381 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1544192 kB Buffers: 62040 kB Cached: 370004 kB SwapCached: 2680 kB Active: 227284 kB Inactive: 227856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1544192 kB SwapTotal: 4192956 kB SwapFree: 4153028 kB Dirty: 28920 kB Writeback: 0 kB Mapped: 29908 kB Slab: 42052 kB Committed_AS: 5168060 kB PageTables: 1796 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= 66530 MiB End job on node17 on Sun Apr 15 03:22:45 UTC 2007