Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.15 | 1800.92 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship12l.opb |
MD5SUM | f3b03e873dc4df8efe5ac51669e9a176 |
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 | 162810 |
Total number of constraints | 1037 |
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 | 1037 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2250 |
Number of terms in the objective function | 162810 |
Biggest coefficient in the objective function | 1857 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 664362 |
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 | 664362 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.03 c Time Limit set to 1800 0.00/0.03 c Memory Limit set to 1800 MB 0.00/0.03 c Instance file /tmp/evaluation/348202-1176573437/instance-348202-1176573437.opb 0.00/0.03 c File size is 7026492 bytes. 1.36/1.41 c Highest Coefficient sum: 664362 1.36/1.41 c Parsing was ok!! 1.36/1.41 c Total parsing time: 1.377 s 1.36/1.49 c Var: 162810 Constr: 1973 840/0/1133 Lit: 802050 Watch. Lit: 203256 1.36/1.49 c Obj. Vars: 162810 (100 % of total variables) 118.00/118.13 c Pre-processing Time: 118.047 s 118.00/118.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 118.00/118.14 c 0 68983 1412 719130 509 275770 500000 0 0 118.05 118.00/118.14 c Switching off LPR mode. 1799.93/1800.77 c 100 68983 1512 722128 477 491232 550001 100 0 123.34 1799.93/1800.77 c 250 68983 1662 726791 437 493088 605002 250 1 198.51 1799.93/1800.77 c 475 68983 1887 765222 405 492889 665503 475 2 233.25 1799.93/1800.77 c 814 68983 2226 775951 348 493550 732054 814 2 277.21 1799.93/1800.77 c 1322 68983 2734 792979 290 494478 805260 1322 4 315.04 1799.93/1800.77 c 2085 68983 3497 818231 233 495969 885787 2085 6 327.30 1799.93/1800.77 c 3231 68983 4643 919191 197 498493 974366 3231 6 473.26 1799.93/1800.77 c 4953 68983 6365 1028083 161 501145 500000 4953 10 492.41 1799.93/1800.77 c 7537 68983 8949 1132869 126 506271 550001 7537 14 516.65 1799.93/1800.77 c 11417 68983 12829 1444704 112 516485 605002 11417 11 1010.79 1799.93/1800.77 c 17239 68983 18651 2761602 148 527837 665503 17239 14 1170.34 1799.93/1800.77 c 25976 68983 27388 3888230 141 545165 732054 25976 21 1199.06 1799.93/1800.77 c 39087 68983 40499 7554996 186 565882 805260 39087 30 1293.01 1799.93/1800.77 c 58758 68983 60170 27065818 449 604668 885787 58758 42 1395.06 1799.93/1800.77 c Resources Exceeded 1799.93/1800.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.77 c 14 82232 10506 7930064 83644 68404783 82232 45 1800.00 1799.93/1800.77 s UNKNOWN 1799.93/1800.77 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node76/watcher-348202-1176573437 -o ROOT/results/node76/solver-348202-1176573437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348202-1176573437/instance-348202-1176573437.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.91 0.97 0.99 3/69 22998 /proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=3784 CPUtime=0 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 182 0 1 0 0 0 0 0 18 0 1 0 105258300 3874816 152 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160041328 0 0 4096 0 0 0 0 17 1 0 0 /proc/22998/statm: 946 152 126 324 0 14 0 [startup+0.086354 s] /proc/loadavg: 0.91 0.97 0.99 3/69 22998 /proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=20548 CPUtime=0.04 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 910 0 6 0 4 0 0 0 18 0 1 0 105258300 21041152 845 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524189 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22998/statm: 5137 845 341 324 0 2489 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 20548 [startup+0.10135 s] /proc/loadavg: 0.91 0.97 0.99 3/69 22998 /proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=20976 CPUtime=0.06 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 1064 0 6 0 6 0 0 0 18 0 1 0 105258300 21479424 999 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524183 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22998/statm: 5244 999 362 324 0 2596 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 20976 [startup+0.301397 s] /proc/loadavg: 0.91 0.97 0.99 3/69 22998 /proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=27888 CPUtime=0.26 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 3385 0 6 0 25 1 0 0 19 0 1 0 105258300 28557312 2938 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134524124 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22998/statm: 6972 2938 612 324 0 4324 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 27888 [startup+0.701474 s] /proc/loadavg: 0.91 0.97 0.99 3/69 22998 /proc/meminfo: memFree=1650976/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=29812 CPUtime=0.66 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 6378 0 6 0 64 2 0 0 23 0 1 0 105258300 30527488 5618 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5240467 0 0 4096 16384 0 0 0 17 0 0 0 /proc/22998/statm: 7453 5618 1097 324 0 4805 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 29812 [startup+1.50162 s] /proc/loadavg: 0.91 0.97 0.99 2/70 22999 /proc/meminfo: memFree=1628696/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=46220 CPUtime=1.45 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 12792 0 6 0 141 4 0 0 25 0 1 0 105258300 47329280 10316 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5251331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 11555 10316 303 324 0 10623 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 46220 [startup+3.10193 s] /proc/loadavg: 0.91 0.97 0.99 2/70 22999 /proc/meminfo: memFree=1609752/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=47540 CPUtime=3.05 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 13130 0 6 0 295 10 0 0 25 0 1 0 105258300 48680960 10654 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 11885 10654 303 324 0 10953 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 47540 [startup+6.30155 s] /proc/loadavg: 1.00 0.98 0.99 2/70 22999 /proc/meminfo: memFree=1602968/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52884 CPUtime=6.26 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 612 14 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13221 11985 305 324 0 12289 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 52884 [startup+12.7018 s] /proc/loadavg: 1.00 0.98 0.99 2/70 22999 /proc/meminfo: memFree=1603104/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52884 CPUtime=12.65 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 1251 14 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13221 11985 305 324 0 12289 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 52884 [startup+25.5013 s] /proc/loadavg: 1.00 0.98 0.99 2/70 22999 /proc/meminfo: memFree=1603232/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52884 CPUtime=25.45 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 2530 15 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13221 11985 305 324 0 12289 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 52884 [startup+51.1013 s] /proc/loadavg: 1.00 0.98 0.99 2/70 22999 /proc/meminfo: memFree=1603232/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52884 CPUtime=51.03 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 5087 16 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13221 11985 305 324 0 12289 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 52884 [startup+102.305 s] /proc/loadavg: 1.00 0.98 0.99 2/70 22999 /proc/meminfo: memFree=1603360/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52884 CPUtime=102.22 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16051 0 6 0 10204 18 0 0 25 0 1 0 105258300 54153216 11985 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134540877 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13221 11985 305 324 0 12289 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 52884 [startup+162.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 22999 /proc/meminfo: memFree=1604064/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52056 CPUtime=162.19 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16500 0 6 0 16190 29 0 0 25 0 1 0 105258300 53305344 11798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13014 11798 309 324 0 12082 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 52056 [startup+222.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 22999 /proc/meminfo: memFree=1604000/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52056 CPUtime=222.16 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16501 0 6 0 22173 43 0 0 25 0 1 0 105258300 53305344 11799 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13014 11799 309 324 0 12082 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 52056 [startup+282.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1602976/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=52848 CPUtime=282.09 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16676 0 6 0 28150 59 0 0 25 0 1 0 105258300 54116352 11974 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13212 11974 309 324 0 12280 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 52848 [startup+342.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1602080/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=53764 CPUtime=342.07 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16929 0 6 0 34135 72 0 0 25 0 1 0 105258300 55054336 12227 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13441 12227 309 324 0 12509 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 53764 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1602016/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=53896 CPUtime=402.05 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16942 0 6 0 40110 95 0 0 25 0 1 0 105258300 55189504 12240 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13474 12240 309 324 0 12542 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 53896 [startup+462.301 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1601952/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=53896 CPUtime=462.02 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 16952 0 6 0 46084 118 0 0 25 0 1 0 105258300 55189504 12250 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 13474 12250 309 324 0 12542 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 53896 [startup+522.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1598240/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=57792 CPUtime=522 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 17921 0 6 0 52074 126 0 0 25 0 1 0 105258300 59179008 13219 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 14448 13219 309 324 0 13516 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 57792 [startup+582.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1596320/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=59596 CPUtime=581.97 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18390 0 6 0 58054 143 0 0 25 0 1 0 105258300 61026304 13688 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 14899 13688 309 324 0 13967 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 59596 [startup+642.301 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1596064/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=59860 CPUtime=641.96 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18456 0 6 0 64026 170 0 0 25 0 1 0 105258300 61296640 13754 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 14965 13754 309 324 0 14033 0 Current children cumulated CPU time (s) 641.96 Current children cumulated vsize (KiB) 59860 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1594848/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=61288 CPUtime=881.87 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18793 0 6 0 87889 298 0 0 25 0 1 0 105258300 62758912 14091 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5247832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 15322 14091 309 324 0 14390 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 61288 [startup+942.301 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1594784/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=61288 CPUtime=941.84 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18802 0 6 0 93848 336 0 0 25 0 1 0 105258300 62758912 14100 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 15322 14100 309 324 0 14390 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 61288 [startup+1002.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1594656/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=61420 CPUtime=1001.82 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 18840 0 6 0 99812 370 0 0 25 0 1 0 105258300 62894080 14138 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 15355 14138 309 324 0 14423 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 61420 [startup+1062.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1584160/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=71968 CPUtime=1061.8 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 21490 0 6 0 105804 376 0 0 25 0 1 0 105258300 73695232 16788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 17992 16788 309 324 0 17060 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 71968 [startup+1122.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1580320/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=75808 CPUtime=1121.78 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 22444 0 6 0 111801 377 0 0 25 0 1 0 105258300 77627392 17742 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572883 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 18952 17742 309 324 0 18020 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 75808 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1574944/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=81212 CPUtime=1181.75 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 23798 0 6 0 117796 379 0 0 25 0 1 0 105258300 83161088 19096 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 20303 19096 309 324 0 19371 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 81212 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1560352/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=95624 CPUtime=1241.74 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 27392 0 6 0 123757 417 0 0 25 0 1 0 105258300 97918976 22690 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 23906 22690 309 324 0 22974 0 Current children cumulated CPU time (s) 1241.74 Current children cumulated vsize (KiB) 95624 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1487264/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=168556 CPUtime=1301.72 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 45623 0 6 0 129720 452 0 0 25 0 1 0 105258300 172601344 40921 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 42139 40921 309 324 0 41207 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 168556 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1343648/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=313152 CPUtime=1361.69 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 81795 0 6 0 135698 471 0 0 25 0 1 0 105258300 320667648 77093 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 78288 77093 309 324 0 77356 0 Current children cumulated CPU time (s) 1361.69 Current children cumulated vsize (KiB) 313152 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1161184/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=493988 CPUtime=1421.67 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 127032 0 6 0 141666 501 0 0 25 0 1 0 105258300 505843712 122330 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 123497 122330 309 324 0 122565 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 493988 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=1029600/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=627032 CPUtime=1481.65 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 160283 0 6 0 147651 514 0 0 25 0 1 0 105258300 642080768 155581 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 156758 155581 309 324 0 155826 0 Current children cumulated CPU time (s) 1481.65 Current children cumulated vsize (KiB) 627032 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=967264/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=687556 CPUtime=1541.63 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 175419 0 6 0 153643 520 0 0 25 0 1 0 105258300 704057344 170717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 171889 170717 309 324 0 170957 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 687556 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=919200/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=735904 CPUtime=1601.6 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 187505 0 6 0 159635 525 0 0 25 0 1 0 105258300 753565696 182803 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 183976 182803 309 324 0 183044 0 Current children cumulated CPU time (s) 1601.6 Current children cumulated vsize (KiB) 735904 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=874720/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=779920 CPUtime=1661.57 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 198510 0 6 0 165628 529 0 0 25 0 1 0 105258300 798638080 193808 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 194980 193808 309 324 0 194048 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 779920 [startup+1722.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=834720/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=820200 CPUtime=1721.56 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 208597 0 6 0 171623 533 0 0 25 0 1 0 105258300 839884800 203895 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 205050 203895 309 324 0 204118 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 820200 [startup+1782.3 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=755040/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=899684 CPUtime=1781.53 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194304 228464 0 6 0 177612 541 0 0 25 0 1 0 105258300 921276416 223762 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 224921 223762 309 324 0 223989 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 899684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=909728/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=0 CPUtime=1800.03 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194308 233736 0 6 0 179456 547 0 0 25 0 1 0 105258300 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 0.98 0.99 2/70 23197 /proc/meminfo: memFree=909728/2055888 swapFree=4095388/4096564 [pid=22998] ppid=22996 vsize=0 CPUtime=1800.13 /proc/22998/stat : 22998 (bsolo3.0.16) R 22996 22998 9231 0 -1 4194308 233736 0 6 0 179456 557 0 0 25 0 1 0 105258300 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22998/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.15 CPU user time (s): 1794.57 CPU system time (s): 5.58015 CPU usage (%): 99.9574 Max. virtual memory (cumulated for all children) (KiB): 920592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.57 system time used= 5.58015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233736 page faults= 6 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18 involuntary context switches= 3860 runsolver used 1.37779 second user time and 3.59645 second system time The end
Begin job on node76 on Sat Apr 14 17:57:18 UTC 2007 IDJOB= 348202 IDBENCH= 1639 IDSOLVER= 163 FILE ID= node76/348202-1176573437 PBS_JOBID= 4556878 Free space on /tmp= 66641 MiB SOLVER NAME= bsolo 3.0.16 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-ship12l.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348202-1176573437/instance-348202-1176573437.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-348202-1176573437 -o ROOT/results/node76/solver-348202-1176573437 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348202-1176573437/instance-348202-1176573437.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f3b03e873dc4df8efe5ac51669e9a176 RANDOM SEED= 464059290 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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 : 6006.17 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1651384 kB Buffers: 53864 kB Cached: 247988 kB SwapCached: 476 kB Active: 50180 kB Inactive: 273524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1651384 kB SwapTotal: 4096564 kB SwapFree: 4095388 kB Dirty: 11240 kB Writeback: 0 kB Mapped: 28044 kB Slab: 67232 kB Committed_AS: 2032108 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66641 MiB End job on node76 on Sat Apr 14 18:27:20 UTC 2007