Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.22 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb |
MD5SUM | ab5e35dff8e81ea7a1176a4145ab1bff |
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 | 13736 |
Total number of constraints | 597 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 592 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 390 |
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 | 524564 |
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/432586-1177945571/instance-432586-1177945571.opb 0.00/0.00 c File size is 547513 bytes. 0.09/0.10 c Highest Coefficient sum: 524564 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.105 s 0.09/0.11 c Var: 13736 Constr: 725 0/10/715 Lit: 88837 Watch. Lit: 18243 0.09/0.11 c Obj. Vars: 30 (0.218404 % of total variables) 2.29/2.33 c Pre-processing Time: 2.327 s 2.29/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.33 c 0 8048 725 88837 122 72978 177615 0 0 2.33 2.29/2.33 c Switching off LPR mode. 1800.04/1800.71 c 100 8048 825 101405 122 73184 195377 100 31 3.14 1800.04/1800.71 c 250 8048 975 128868 132 73372 214915 250 59 4.18 1800.04/1800.71 c 477 8048 1202 179332 149 73826 236407 477 104 4.55 1800.04/1800.71 c 815 8048 1540 254982 165 74502 260048 815 154 5.26 1800.04/1800.71 c 1324 8048 2049 376609 183 75516 286053 1324 217 6.08 1800.04/1800.71 c 2087 8048 2812 573629 203 78772 314659 2087 245 8.51 1800.04/1800.71 c 3233 8048 3958 777348 196 80725 346125 3233 321 10.05 1800.04/1800.71 c 4964 8048 5689 991997 174 84161 380738 4964 346 14.34 1800.04/1800.71 c 7556 8048 8281 1749872 211 89334 418812 7556 401 18.81 1800.04/1800.71 c 11435 8048 12160 2558171 210 97088 460694 11435 534 21.39 1800.04/1800.71 c 17263 8048 17988 3869060 215 108744 506764 17263 651 26.51 1800.04/1800.71 c 26002 8048 26727 5869230 219 126073 557441 26002 754 34.44 1800.04/1800.71 c 39113 8048 39838 9515194 238 152300 613186 39113 665 58.73 1800.04/1800.71 c 58784 8048 59509 16581360 278 191537 674505 58784 589 99.78 1800.04/1800.71 c 88295 8048 89020 27952690 314 250792 741956 88295 387 227.62 1800.04/1800.71 c 132565 8048 133290 38105215 285 339674 816152 132565 394 335.97 1800.04/1800.71 c 198978 8048 199703 64649581 323 472403 897768 198978 248 800.54 1800.04/1800.71 c Caught signal: 15 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 17 257336 23368 450987 258061 83433405 257336 142 1800.05 1800.04/1800.71 s UNKNOWN 1800.04/1800.71 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-432586-1177945571 -o ROOT/results/node42/solver-432586-1177945571 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432586-1177945571/instance-432586-1177945571.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.93 1.03 0.94 3/77 13922 /proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=12272 CPUtime=0 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 242468995 12566528 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 3068 337 281 324 0 2004 0 [startup+0.09945 s] /proc/loadavg: 0.93 1.03 0.94 3/77 13922 /proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=6500 CPUtime=0.09 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 975 0 0 0 9 0 0 0 18 0 1 0 242468995 6656000 945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 1625 945 400 324 0 561 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6500 [startup+0.10145 s] /proc/loadavg: 0.93 1.03 0.94 3/77 13922 /proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=6500 CPUtime=0.09 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 982 0 0 0 9 0 0 0 18 0 1 0 242468995 6656000 952 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 1625 952 403 324 0 561 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6500 [startup+0.301487 s] /proc/loadavg: 0.93 1.03 0.94 3/77 13922 /proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=9088 CPUtime=0.29 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 1740 0 0 0 28 1 0 0 19 0 1 0 242468995 9306112 1576 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 2272 1576 304 324 0 1342 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9088 [startup+0.701563 s] /proc/loadavg: 0.93 1.03 0.94 3/77 13922 /proc/meminfo: memFree=1861872/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=9892 CPUtime=0.69 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 2077 0 0 0 68 1 0 0 22 0 1 0 242468995 10129408 1805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 2473 1805 306 324 0 1543 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9892 [startup+1.50172 s] /proc/loadavg: 0.93 1.03 0.94 2/78 13923 /proc/meminfo: memFree=1855784/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=9892 CPUtime=1.49 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 2077 0 0 0 148 1 0 0 25 0 1 0 242468995 10129408 1805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 2473 1805 306 324 0 1543 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9892 [startup+3.10202 s] /proc/loadavg: 0.93 1.03 0.94 2/78 13923 /proc/meminfo: memFree=1855656/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=9496 CPUtime=3.1 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 2157 0 0 0 308 2 0 0 25 0 1 0 242468995 9723904 1693 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 2374 1693 310 324 0 1444 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 9496 [startup+6.30163 s] /proc/loadavg: 0.93 1.03 0.94 2/78 13923 /proc/meminfo: memFree=1854056/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=13160 CPUtime=6.29 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 3095 0 0 0 627 2 0 0 25 0 1 0 242468995 13475840 2631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 3290 2631 310 324 0 2360 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13160 [startup+12.7018 s] /proc/loadavg: 0.94 1.03 0.94 2/78 13923 /proc/meminfo: memFree=1846640/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=18856 CPUtime=12.69 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 4525 0 0 0 1266 3 0 0 25 0 1 0 242468995 19308544 4061 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 4714 4061 310 324 0 3784 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18856 [startup+25.5013 s] /proc/loadavg: 0.95 1.03 0.94 2/78 13923 /proc/meminfo: memFree=1810680/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=55696 CPUtime=25.48 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 13719 0 0 0 2541 7 0 0 25 0 1 0 242468995 57032704 13255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 13924 13255 310 324 0 12994 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55696 [startup+51.1011 s] /proc/loadavg: 1.05 1.04 0.94 2/78 13923 /proc/meminfo: memFree=1742328/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=123804 CPUtime=51.07 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 30741 0 0 0 5092 15 0 0 25 0 1 0 242468995 126775296 30277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 30951 30277 310 324 0 30021 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 123804 [startup+102.306 s] /proc/loadavg: 1.15 1.08 0.96 2/78 13923 /proc/meminfo: memFree=1634680/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=231220 CPUtime=102.26 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 57591 0 0 0 10192 34 0 0 25 0 1 0 242468995 236769280 57127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 57805 57127 310 324 0 56875 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 231220 [startup+162.301 s] /proc/loadavg: 1.16 1.09 0.97 2/78 13923 /proc/meminfo: memFree=1541816/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=323676 CPUtime=162.23 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 80712 0 0 0 16175 48 0 0 25 0 1 0 242468995 331444224 80248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 80919 80248 310 324 0 79989 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 323676 [startup+222.302 s] /proc/loadavg: 1.13 1.09 0.97 2/78 13923 /proc/meminfo: memFree=1494520/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=370344 CPUtime=222.21 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 92390 0 0 0 22165 56 0 0 25 0 1 0 242468995 379232256 91926 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 92586 91926 310 324 0 91656 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 370344 [startup+282.302 s] /proc/loadavg: 1.05 1.07 0.97 2/78 13923 /proc/meminfo: memFree=1405688/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=459752 CPUtime=282.19 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 114746 0 0 0 28145 74 0 0 25 0 1 0 242468995 470786048 114282 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 114938 114282 310 324 0 114008 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 459752 [startup+342.301 s] /proc/loadavg: 1.02 1.06 0.97 2/78 13923 /proc/meminfo: memFree=1336120/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=529148 CPUtime=342.16 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 132082 0 0 0 34131 85 0 0 25 0 1 0 242468995 541847552 131618 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 132287 131618 310 324 0 131357 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 529148 [startup+402.302 s] /proc/loadavg: 1.00 1.04 0.97 2/78 13923 /proc/meminfo: memFree=1251064/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=614168 CPUtime=402.14 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 153351 0 0 0 40113 101 0 0 25 0 1 0 242468995 628908032 152887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 153542 152887 310 324 0 152612 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 614168 [startup+462.301 s] /proc/loadavg: 1.00 1.03 0.97 2/78 13923 /proc/meminfo: memFree=1200120/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=664268 CPUtime=462.12 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 165865 0 0 0 46102 110 0 0 25 0 1 0 242468995 680210432 165401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 166067 165401 310 324 0 165137 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 664268 [startup+522.302 s] /proc/loadavg: 1.00 1.02 0.97 2/78 13923 /proc/meminfo: memFree=1161336/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=703588 CPUtime=522.1 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 175683 0 0 0 52091 119 0 0 25 0 1 0 242468995 720474112 175219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 175897 175219 310 324 0 174967 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 703588 [startup+582.302 s] /proc/loadavg: 1.00 1.02 0.97 2/78 13923 /proc/meminfo: memFree=1122104/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=742216 CPUtime=582.08 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 185345 0 0 0 58079 129 0 0 25 0 1 0 242468995 760029184 184881 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 185554 184881 310 324 0 184624 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 742216 [startup+642.301 s] /proc/loadavg: 1.00 1.01 0.97 2/78 13923 /proc/meminfo: memFree=1090168/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=773844 CPUtime=642.06 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 193264 0 0 0 64070 136 0 0 25 0 1 0 242468995 792416256 192800 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 193461 192800 310 324 0 192531 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 773844 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=985528/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=878184 CPUtime=881.97 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 219348 0 0 0 88038 159 0 0 25 0 1 0 242468995 899260416 218884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 219546 218884 310 324 0 218616 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 878184 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=968952/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=895052 CPUtime=941.94 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 223544 0 0 0 94031 163 0 0 25 0 1 0 242468995 916533248 223080 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 223763 223080 310 324 0 222833 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 895052 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=952440/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=911312 CPUtime=1001.92 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 227629 0 0 0 100024 168 0 0 25 0 1 0 242468995 933183488 227165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550979 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 227828 227165 310 324 0 226898 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 911312 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=935736/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=928324 CPUtime=1061.9 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 231866 0 0 0 106017 173 0 0 25 0 1 0 242468995 950603776 231402 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 232081 231402 310 324 0 231151 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 928324 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=919032/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=944668 CPUtime=1121.88 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 235971 0 0 0 112011 177 0 0 25 0 1 0 242468995 967340032 235507 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 236167 235507 310 324 0 235237 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 944668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=905336/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=958412 CPUtime=1181.85 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 239413 0 0 0 118005 180 0 0 25 0 1 0 242468995 981413888 238949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 239603 238949 310 324 0 238673 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 958412 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=891512/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=972160 CPUtime=1241.83 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 242828 0 0 0 123999 184 0 0 25 0 1 0 242468995 995491840 242364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 243040 242364 310 324 0 242110 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 972160 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=876920/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=986504 CPUtime=1301.82 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 246424 0 0 0 129994 188 0 0 25 0 1 0 242468995 1010180096 245960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 246626 245960 310 324 0 245696 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 986504 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=859128/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1004352 CPUtime=1361.79 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 250898 0 0 0 135986 193 0 0 25 0 1 0 242468995 1028456448 250434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 251088 250434 310 324 0 250158 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1004352 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=844216/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1019172 CPUtime=1421.78 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 254586 0 0 0 141981 197 0 0 25 0 1 0 242468995 1043632128 254122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 254793 254122 310 324 0 253863 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1019172 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=831096/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1032276 CPUtime=1481.75 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 257875 0 0 0 147974 201 0 0 25 0 1 0 242468995 1057050624 257411 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 258069 257411 310 324 0 257139 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1032276 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=817656/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1045604 CPUtime=1541.72 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 261196 0 0 0 153969 203 0 0 25 0 1 0 242468995 1070698496 260732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840801 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 261401 260732 310 324 0 260471 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1045604 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=806328/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1057056 CPUtime=1601.71 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 264053 0 0 0 159965 206 0 0 25 0 1 0 242468995 1082425344 263589 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 264264 263589 310 324 0 263334 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 1057056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=794360/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1068892 CPUtime=1661.68 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 267022 0 0 0 165959 209 0 0 25 0 1 0 242468995 1094545408 266558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 267223 266558 310 324 0 266293 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1068892 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=783032/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1080184 CPUtime=1721.66 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 269850 0 0 0 171953 213 0 0 25 0 1 0 242468995 1106108416 269386 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 270046 269386 310 324 0 269116 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1080184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=770744/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1092448 CPUtime=1781.64 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 272919 0 0 0 177948 216 0 0 25 0 1 0 242468995 1118666752 272455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 273112 272455 310 324 0 272182 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 1092448 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=765944/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=1097208 CPUtime=1800.04 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194304 274090 0 0 0 179788 216 0 0 25 0 1 0 242468995 1123540992 273626 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 274302 273626 310 324 0 273372 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1097208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.97 2/78 13923 /proc/meminfo: memFree=765944/2055920 swapFree=4147488/4192956 [pid=13922] ppid=13920 vsize=0 CPUtime=1800.14 /proc/13922/stat : 13922 (bsolo3.0.17) R 13920 13922 13465 0 -1 4194308 274094 0 0 0 179788 226 0 0 25 0 1 0 242468995 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/13922/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.88 CPU time (s): 1800.22 CPU user time (s): 1797.88 CPU system time (s): 2.33664 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (KiB): 1097208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.88 system time used= 2.33664 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274094 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= 2819 runsolver used 1.43578 second user time and 4.20436 second system time The end
Begin job on node42 on Mon Apr 30 15:06:11 UTC 2007 IDJOB= 432586 IDBENCH= 1583 IDSOLVER= 199 FILE ID= node42/432586-1177945571 PBS_JOBID= 4727674 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/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432586-1177945571/instance-432586-1177945571.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-432586-1177945571 -o ROOT/results/node42/solver-432586-1177945571 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432586-1177945571/instance-432586-1177945571.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ab5e35dff8e81ea7a1176a4145ab1bff RANDOM SEED= 732015912 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1862280 kB Buffers: 29992 kB Cached: 71312 kB SwapCached: 14500 kB Active: 51900 kB Inactive: 72920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862280 kB SwapTotal: 4192956 kB SwapFree: 4147488 kB Dirty: 7196 kB Writeback: 0 kB Mapped: 30656 kB Slab: 54196 kB Committed_AS: 3715756 kB PageTables: 1912 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 node42 on Mon Apr 30 15:36:14 UTC 2007