Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.2 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb |
MD5SUM | 652c15620b8183c9f7790ff4b2dde8e4 |
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 | 82500 |
Total number of constraints | 397 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 300 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 82500 |
Biggest coefficient in the objective function | 195 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 593086 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 48312 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 593086 |
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/432677-1177947499/instance-432677-1177947499.opb 0.00/0.00 c File size is 3564608 bytes. 0.69/0.78 c Highest Coefficient sum: 593086 0.69/0.78 c Parsing was ok!! 0.69/0.78 c Total parsing time: 0.777 s 0.79/0.80 c Var: 82500 Constr: 794 0/0/794 Lit: 515040 Watch. Lit: 18702 0.79/0.80 c Obj. Vars: 82500 (100 % of total variables) 35.38/35.43 c Pre-processing Time: 35.417 s 35.38/35.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.38/35.43 c 0 82500 794 515040 648 19338 500000 0 0 35.42 35.38/35.43 c Switching off LPR mode. 1800.05/1800.60 c 109 82500 903 573157 634 68482 550001 109 3 35.59 1800.05/1800.60 c 259 82500 1053 650654 617 68935 605002 259 7 35.91 1800.05/1800.60 c 491 82500 1285 773248 601 69553 665503 491 13 36.79 1800.05/1800.60 c 829 82500 1623 949046 584 70043 732054 829 22 37.49 1800.05/1800.60 c 1353 82500 2147 1225574 570 71246 805260 1353 34 39.59 1800.05/1800.60 c 2121 82500 2915 1632846 560 72795 885787 2121 49 42.53 1800.05/1800.60 c 3269 82500 4063 2241722 551 75069 974366 3269 69 47.19 1800.05/1800.60 c 5001 82500 5795 3163723 545 78530 500000 5001 91 54.59 1800.05/1800.60 c 7587 82500 8381 4541352 541 83689 550001 7587 112 67.31 1800.05/1800.60 c 11466 82500 12260 6608252 539 91425 605002 11466 144 79.36 1800.05/1800.60 c 17290 82500 18084 9720236 537 103089 665503 17290 154 111.81 1800.05/1800.60 c 26034 82500 26828 14369969 535 120580 732054 26034 142 182.23 1800.05/1800.60 c 39148 82500 39942 21367598 534 146817 805260 39148 136 286.05 1800.05/1800.60 c 58823 82500 59617 31851583 534 186144 885787 58823 106 553.71 1800.05/1800.61 c 88338 82500 89132 47631019 534 245218 974366 88338 86 1018.80 1800.05/1800.61 c Caught signal: 15 1800.05/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.05/1800.61 c 15 127027 3 150363 127821 68310305 127027 70 1800.06 1800.05/1800.61 s UNKNOWN 1800.05/1800.61 c Total time: 1800.06 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-432677-1177947499 -o ROOT/results/node70/solver-432677-1177947499 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432677-1177947499/instance-432677-1177947499.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: 1.00 1.01 0.91 3/64 16705 /proc/meminfo: memFree=1868720/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=15220 CPUtime=0 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 234287303 15585280 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 3805 332 279 324 0 2004 0 [startup+0.0574561 s] /proc/loadavg: 1.00 1.01 0.91 3/64 16705 /proc/meminfo: memFree=1868720/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=17164 CPUtime=0.05 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 921 0 0 0 5 0 0 0 18 0 1 0 234287303 17575936 851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 4291 851 343 324 0 2490 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 17164 [startup+0.101461 s] /proc/loadavg: 1.00 1.01 0.91 3/64 16705 /proc/meminfo: memFree=1868720/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=18616 CPUtime=0.09 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 1394 0 0 0 9 0 0 0 18 0 1 0 234287303 19062784 1245 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 4654 1246 397 324 0 2853 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18616 [startup+0.301479 s] /proc/loadavg: 1.00 1.01 0.91 3/64 16705 /proc/meminfo: memFree=1868720/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=16508 CPUtime=0.29 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 3168 0 0 0 29 0 0 0 19 0 1 0 234287303 16904192 2813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 4127 2813 622 324 0 2326 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16508 [startup+0.701519 s] /proc/loadavg: 1.00 1.01 0.91 3/64 16705 /proc/meminfo: memFree=1868720/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=20772 CPUtime=0.69 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 4675 0 0 0 68 1 0 0 22 0 1 0 234287303 21270528 4320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8739856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 5193 4320 1061 324 0 3392 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20772 [startup+1.5016 s] /proc/loadavg: 1.00 1.01 0.91 2/65 16706 /proc/meminfo: memFree=1839976/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=32516 CPUtime=1.49 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 9224 0 0 0 142 7 0 0 25 0 1 0 234287303 33296384 7190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 8129 7190 306 324 0 7199 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32516 [startup+3.10176 s] /proc/loadavg: 1.00 1.01 0.91 2/65 16706 /proc/meminfo: memFree=1840808/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=32516 CPUtime=3.09 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 9224 0 0 0 302 7 0 0 25 0 1 0 234287303 33296384 7190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 8129 7190 306 324 0 7199 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32516 [startup+6.30108 s] /proc/loadavg: 1.00 1.01 0.91 2/65 16706 /proc/meminfo: memFree=1840808/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=32516 CPUtime=6.29 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 9224 0 0 0 621 8 0 0 25 0 1 0 234287303 33296384 7190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 8129 7190 306 324 0 7199 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32516 [startup+12.7017 s] /proc/loadavg: 1.00 1.01 0.91 2/65 16706 /proc/meminfo: memFree=1840944/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=32516 CPUtime=12.68 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 9224 0 0 0 1260 8 0 0 25 0 1 0 234287303 33296384 7190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 8129 7190 306 324 0 7199 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32516 [startup+25.502 s] /proc/loadavg: 1.00 1.01 0.91 2/65 16706 /proc/meminfo: memFree=1841072/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=32516 CPUtime=25.49 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 9224 0 0 0 2539 10 0 0 25 0 1 0 234287303 33296384 7190 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 8129 7190 306 324 0 7199 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32516 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1819824/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=54452 CPUtime=51.07 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 16745 0 0 0 5092 15 0 0 25 0 1 0 234287303 55758848 12734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 13613 12734 310 324 0 12683 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 54452 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1739824/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=133576 CPUtime=102.27 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 36516 0 0 0 10202 25 0 0 25 0 1 0 234287303 136781824 32505 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 33394 32505 310 324 0 32464 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 133576 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1686704/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=186660 CPUtime=162.25 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 49797 0 0 0 16191 34 0 0 25 0 1 0 234287303 191139840 45786 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 46665 45786 310 324 0 45735 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 186660 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1638704/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=234644 CPUtime=222.24 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 61788 0 0 0 22181 43 0 0 25 0 1 0 234287303 240275456 57777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 58661 57777 310 324 0 57731 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 234644 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1581104/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=292200 CPUtime=282.21 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 76160 0 0 0 28170 51 0 0 25 0 1 0 234287303 299212800 72149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 73050 72149 310 324 0 72120 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 292200 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1544560/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=328480 CPUtime=342.2 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 85239 0 0 0 34163 57 0 0 25 0 1 0 234287303 336363520 81228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 82120 81228 310 324 0 81190 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 328480 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1515440/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=357724 CPUtime=402.18 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 92546 0 0 0 40157 61 0 0 25 0 1 0 234287303 366309376 88535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 89431 88535 310 324 0 88501 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 357724 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1490928/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=381928 CPUtime=462.17 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 98609 0 0 0 46151 66 0 0 25 0 1 0 234287303 391094272 94598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 95482 94598 310 324 0 94552 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 381928 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1459120/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=413916 CPUtime=522.15 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 106597 0 0 0 52143 72 0 0 25 0 1 0 234287303 423849984 102586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 103479 102586 310 324 0 102549 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 413916 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1433072/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=439500 CPUtime=582.14 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 113009 0 0 0 58137 77 0 0 25 0 1 0 234287303 450048000 108998 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 109875 108998 310 324 0 108945 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 439500 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1413360/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=459156 CPUtime=642.13 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 117896 0 0 0 64132 81 0 0 25 0 1 0 234287303 470175744 113885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 114789 113885 310 324 0 113859 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 459156 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1299696/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=572552 CPUtime=882.06 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 146260 0 0 0 88108 98 0 0 25 0 1 0 234287303 586293248 142249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 143138 142249 310 324 0 142208 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 572552 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1270256/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=602144 CPUtime=942.05 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 153670 0 0 0 94101 104 0 0 25 0 1 0 234287303 616595456 149659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 150536 149659 310 324 0 149606 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 602144 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1244720/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=627344 CPUtime=1002.04 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 159970 0 0 0 100097 107 0 0 25 0 1 0 234287303 642400256 155959 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 156836 155959 310 324 0 155906 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 627344 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16706 /proc/meminfo: memFree=1224176/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=648188 CPUtime=1062.02 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 165168 0 0 0 106091 111 0 0 25 0 1 0 234287303 663744512 161157 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 162047 161157 310 324 0 161117 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 648188 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16708 /proc/meminfo: memFree=1204656/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=667388 CPUtime=1122 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 169975 0 0 0 112086 114 0 0 25 0 1 0 234287303 683405312 165964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 166847 165964 310 324 0 165917 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 667388 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16708 /proc/meminfo: memFree=1182064/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=690192 CPUtime=1181.99 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 175675 0 0 0 118081 118 0 0 25 0 1 0 234287303 706756608 171664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 172548 171664 310 324 0 171618 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 690192 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16708 /proc/meminfo: memFree=1161648/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=710344 CPUtime=1241.97 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 180703 0 0 0 124075 122 0 0 25 0 1 0 234287303 727392256 176692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 177586 176692 310 324 0 176656 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 710344 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16708 /proc/meminfo: memFree=1144176/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=727488 CPUtime=1301.96 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 185003 0 0 0 130072 124 0 0 25 0 1 0 234287303 744947712 180992 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 181872 180992 310 324 0 180942 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 727488 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.91 2/71 16734 /proc/meminfo: memFree=1123200/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=747600 CPUtime=1361.93 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 190006 0 0 0 136065 128 0 0 25 0 1 0 234287303 765542400 185995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 186900 185995 310 324 0 185970 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 747600 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16906 /proc/meminfo: memFree=1106160/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=765144 CPUtime=1421.84 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 194406 0 0 0 142051 133 0 0 25 0 1 0 234287303 783507456 190395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 191286 190395 310 324 0 190356 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 765144 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16906 /proc/meminfo: memFree=1086256/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=785252 CPUtime=1481.82 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 199436 0 0 0 148046 136 0 0 25 0 1 0 234287303 804098048 195425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 196313 195425 310 324 0 195383 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 785252 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16906 /proc/meminfo: memFree=1064944/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=806488 CPUtime=1541.81 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 204732 0 0 0 154041 140 0 0 25 0 1 0 234287303 825843712 200721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 201622 200721 310 324 0 200692 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 806488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/65 16906 /proc/meminfo: memFree=1042224/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=829364 CPUtime=1601.79 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 210450 0 0 0 160035 144 0 0 25 0 1 0 234287303 849268736 206439 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 207341 206439 310 324 0 206411 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 829364 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 0.92 2/65 16906 /proc/meminfo: memFree=1018864/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=852484 CPUtime=1661.78 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 216252 0 0 0 166030 148 0 0 25 0 1 0 234287303 872943616 212241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 213121 212241 310 324 0 212191 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 852484 [startup+1722.3 s] /proc/loadavg: 1.08 1.03 0.93 2/65 16906 /proc/meminfo: memFree=998832/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=872668 CPUtime=1721.76 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 221282 0 0 0 172025 151 0 0 25 0 1 0 234287303 893612032 217271 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 218167 217271 310 324 0 217237 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 872668 [startup+1782.3 s] /proc/loadavg: 1.09 1.04 0.93 2/65 16906 /proc/meminfo: memFree=976432/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=894884 CPUtime=1781.75 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 226832 0 0 0 178020 155 0 0 25 0 1 0 234287303 916361216 222821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 223721 222821 310 324 0 222791 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 894884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.13 1.05 0.94 2/65 16906 /proc/meminfo: memFree=969968/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=901152 CPUtime=1800.05 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194304 228395 0 0 0 179849 156 0 0 25 0 1 0 234287303 922779648 224384 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 225288 224384 310 324 0 224358 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 901152 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.13 1.05 0.94 2/65 16906 /proc/meminfo: memFree=969968/2055920 swapFree=4183764/4192956 [pid=16705] ppid=16703 vsize=0 CPUtime=1800.15 /proc/16705/stat : 16705 (bsolo3.0.17) R 16703 16705 16104 0 -1 4194308 228399 0 0 0 179849 166 0 0 25 0 1 0 234287303 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/16705/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.75 CPU time (s): 1800.2 CPU user time (s): 1798.5 CPU system time (s): 1.70174 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 901152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.5 system time used= 1.70174 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 228399 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= 4243 runsolver used 1.45678 second user time and 3.51546 second system time The end
Begin job on node70 on Mon Apr 30 15:38:20 UTC 2007 IDJOB= 432677 IDBENCH= 1676 IDSOLVER= 199 FILE ID= node70/432677-1177947499 PBS_JOBID= 4727807 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scsd8.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432677-1177947499/instance-432677-1177947499.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-432677-1177947499 -o ROOT/results/node70/solver-432677-1177947499 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432677-1177947499/instance-432677-1177947499.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 652c15620b8183c9f7790ff4b2dde8e4 RANDOM SEED= 42346325 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1869256 kB Buffers: 6708 kB Cached: 112644 kB SwapCached: 2980 kB Active: 40508 kB Inactive: 88744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1869256 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 10060 kB Writeback: 0 kB Mapped: 15824 kB Slab: 43416 kB Committed_AS: 3583724 kB PageTables: 1400 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= 66555 MiB End job on node70 on Mon Apr 30 16:08:22 UTC 2007