Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.09 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-cycle.opb |
MD5SUM | 761eaefb829e7d3bf060fd5b86600997 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -1 |
Best CPU time to get the best result obtained on this benchmark | 1782.84 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 84737 |
Total number of constraints | 1802 |
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 | 1802 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 1470 |
Number of terms in the objective function | 9240 |
Biggest coefficient in the objective function | 16197 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 531823 |
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 | 531823 |
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/351200-1176587903/instance-351200-1176587903.opb 0.00/0.00 c File size is 5174391 bytes. 1.10/1.11 c Highest Coefficient sum: 531823 1.10/1.11 c Parsing was ok!! 1.10/1.11 c Total parsing time: 1.114 s 1.10/1.18 c Var: 84737 Constr: 3176 179/0/2997 Lit: 797261 Watch. Lit: 229786 1.10/1.18 c Obj. Vars: 9240 (10.9043 % of total variables) 23.58/23.62 c Formula reductions applied at preprocessing 23.58/23.62 c Pre-processing Time: 23.614 s 58.46/58.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 58.46/58.52 c 0 43224 2525 734594 290 620186 500000 0 0 23.61 58.46/58.52 c Initial Lower Bound: -142 58.46/58.52 c Initial Path Cost: -3112 1800.01/1800.61 c 100 43224 2625 739950 281 622283 550001 100 1 59.72 1800.01/1800.61 c 250 43224 2775 747150 269 622529 605002 250 4 60.15 1800.01/1800.61 c 475 43224 3000 761759 253 622289 665503 475 7 61.62 1800.01/1800.61 c 813 43223 3338 782137 234 623056 732054 813 8 94.00 1800.01/1800.61 c 1321 43223 3846 820781 213 624053 805260 1321 13 98.77 1800.01/1800.61 c 2086 43223 4611 880075 190 625697 885787 2086 18 112.33 1800.01/1800.61 c 3235 43223 5760 980957 170 627485 974366 3235 28 114.36 1800.01/1800.61 c 4958 43223 7483 1619203 216 631079 500000 4958 41 119.17 1800.01/1800.61 c 7542 43223 10067 1756919 174 636095 550001 7542 51 145.63 1800.01/1800.61 c 11422 43223 13947 3584452 257 643490 605002 11422 74 153.65 1800.01/1800.61 c 17246 43223 19771 4132307 209 654489 665503 17246 88 194.39 1800.01/1800.61 c 25984 43222 28509 5036311 176 672057 732054 25984 126 205.72 1800.01/1800.61 c 39098 43221 41623 6109734 146 698076 805260 39098 154 253.64 1800.01/1800.61 c 58768 43221 61293 7810894 127 737220 885787 58768 205 285.82 1800.01/1800.61 c 88278 43221 90803 12946873 142 796212 974366 88278 210 418.59 1800.01/1800.61 c 132556 43221 135081 19605800 145 884701 500000 132556 225 587.20 1800.01/1800.61 c 198966 43220 201491 24137605 119 1017306 550001 198966 245 809.53 1800.01/1800.61 c 298586 43220 301111 27680673 91 1216132 605002 298586 209 1428.42 1800.01/1800.61 c Caught signal: 15 1800.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 18 367970 47441 1235275 370495 31557198 367970 204 1800.01 1800.01/1800.61 s UNKNOWN 1800.01/1800.61 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/node14/watcher-351200-1176587903 -o ROOT/results/node14/solver-351200-1176587903 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351200-1176587903/instance-351200-1176587903.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.08 1.02 1.01 3/77 2550 /proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=16792 CPUtime=0 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 106708094 17195008 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 4198 336 281 324 0 2003 0 [startup+0.0444559 s] /proc/loadavg: 1.08 1.02 1.01 3/77 2550 /proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=10496 CPUtime=0.04 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 778 0 0 0 4 0 0 0 18 0 1 0 106708094 10747904 746 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 2624 746 334 324 0 429 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10496 [startup+0.101461 s] /proc/loadavg: 1.08 1.02 1.01 3/77 2550 /proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=12216 CPUtime=0.09 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1322 0 0 0 9 0 0 0 18 0 1 0 106708094 12509184 1250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 3054 1250 402 324 0 859 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12216 [startup+0.301479 s] /proc/loadavg: 1.08 1.02 1.01 3/77 2550 /proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=16160 CPUtime=0.29 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 2649 0 0 0 29 0 0 0 19 0 1 0 106708094 16547840 2449 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 4040 2449 634 324 0 1845 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16160 [startup+0.701517 s] /proc/loadavg: 1.08 1.02 1.01 3/77 2550 /proc/meminfo: memFree=1633528/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=22356 CPUtime=0.69 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 4680 0 0 0 67 2 0 0 22 0 1 0 106708094 22892544 4323 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 5589 4323 1073 324 0 3394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22356 [startup+1.50159 s] /proc/loadavg: 1.08 1.02 1.01 2/78 2551 /proc/meminfo: memFree=1618032/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=42376 CPUtime=1.49 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 11293 0 0 0 144 5 0 0 25 0 1 0 106708094 43393024 9672 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 10594 9672 305 324 0 9663 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42376 [startup+3.10175 s] /proc/loadavg: 1.08 1.02 1.01 2/78 2551 /proc/meminfo: memFree=1594096/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=44716 CPUtime=3.09 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 11749 0 0 0 303 6 0 0 25 0 1 0 106708094 45789184 10128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2550/statm: 11179 10128 305 324 0 10248 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 44716 [startup+6.30105 s] /proc/loadavg: 1.07 1.02 1.00 2/78 2551 /proc/meminfo: memFree=1593008/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=50204 CPUtime=6.28 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 13930 0 0 0 617 11 0 0 25 0 1 0 106708094 51408896 11479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 12551 11479 307 324 0 11620 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50204 [startup+12.7027 s] /proc/loadavg: 1.07 1.02 1.00 2/78 2551 /proc/meminfo: memFree=1588656/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=50204 CPUtime=12.68 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 13930 0 0 0 1256 12 0 0 25 0 1 0 106708094 51408896 11479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 12551 11479 307 324 0 11620 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 50204 [startup+25.5019 s] /proc/loadavg: 1.05 1.01 1.00 2/78 2551 /proc/meminfo: memFree=1583792/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=57856 CPUtime=25.48 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 182749 0 0 0 2466 82 0 0 25 0 1 0 106708094 59244544 13085 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135468346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 14464 13091 332 324 0 13533 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57856 [startup+51.1013 s] /proc/loadavg: 1.03 1.01 1.00 2/78 2551 /proc/meminfo: memFree=1556016/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=86520 CPUtime=51.06 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1888786 0 0 0 4314 792 0 0 25 0 1 0 106708094 88596480 19780 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134700672 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 21630 19780 390 324 0 20699 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 86520 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/78 2551 /proc/meminfo: memFree=1575024/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=64036 CPUtime=102.25 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1891163 0 0 0 9430 795 0 0 25 0 1 0 106708094 65572864 14988 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 16009 14988 393 324 0 15078 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 64036 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/84 2617 /proc/meminfo: memFree=1533240/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=104264 CPUtime=162.21 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1901225 0 0 0 15409 812 0 0 25 0 1 0 106708094 106766336 25050 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 26066 25050 393 324 0 25135 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 104264 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1516720/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=121944 CPUtime=222.13 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1905646 0 0 0 21384 829 0 0 25 0 1 0 106708094 124870656 29471 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 30486 29471 393 324 0 29555 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 121944 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1486576/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=153356 CPUtime=282.11 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1913490 0 0 0 27365 846 0 0 25 0 1 0 106708094 157036544 37315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 38339 37315 393 324 0 37408 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 153356 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1448112/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=190480 CPUtime=342.09 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1922788 0 0 0 33354 855 0 0 25 0 1 0 106708094 195051520 46613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 47620 46613 393 324 0 46689 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 190480 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1419120/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=219644 CPUtime=402.08 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1930077 0 0 0 39344 864 0 0 25 0 1 0 106708094 224915456 53902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 54911 53902 393 324 0 53980 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 219644 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1410352/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=227960 CPUtime=462.06 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1932171 0 0 0 45338 868 0 0 25 0 1 0 106708094 233431040 55996 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 56990 55996 393 324 0 56059 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 227960 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1371504/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=267716 CPUtime=522.04 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1942105 0 0 0 51322 882 0 0 25 0 1 0 106708094 274141184 65930 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 66929 65930 393 324 0 65998 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 267716 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1323248/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=315232 CPUtime=582.03 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1953963 0 0 0 57307 896 0 0 25 0 1 0 106708094 322797568 77788 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 78808 77788 393 324 0 77877 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 315232 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1300592/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=337636 CPUtime=642.02 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1959567 0 0 0 63295 907 0 0 25 0 1 0 106708094 345739264 83392 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 84409 83392 393 324 0 83478 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 337636 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1253808/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=384256 CPUtime=821.96 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1971231 0 0 0 81261 935 0 0 25 0 1 0 106708094 393478144 95056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 96064 95056 393 324 0 95133 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 384256 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1243952/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=394200 CPUtime=881.95 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1973704 0 0 0 87250 945 0 0 25 0 1 0 106708094 403660800 97529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 98550 97529 393 324 0 97619 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 394200 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1237232/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=400840 CPUtime=941.94 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1975384 0 0 0 93243 951 0 0 25 0 1 0 106708094 410460160 99209 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 100210 99209 393 324 0 99279 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 400840 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1230384/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=407736 CPUtime=1001.92 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1977102 0 0 0 99235 957 0 0 25 0 1 0 106708094 417521664 100927 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 101934 100927 393 324 0 101003 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 407736 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1225392/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=412700 CPUtime=1061.9 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1978349 0 0 0 105229 961 0 0 25 0 1 0 106708094 422604800 102174 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 103175 102174 393 324 0 102244 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 412700 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1220592/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=417516 CPUtime=1121.88 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1979534 0 0 0 111224 964 0 0 25 0 1 0 106708094 427536384 103359 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 104379 103359 393 324 0 103448 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 417516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1216240/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=421944 CPUtime=1181.86 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1980657 0 0 0 117219 967 0 0 25 0 1 0 106708094 432070656 104482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 105486 104482 393 324 0 104555 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 421944 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1211312/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=426760 CPUtime=1241.85 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1981856 0 0 0 123213 972 0 0 25 0 1 0 106708094 437002240 105681 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 106690 105681 393 324 0 105759 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 426760 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1206768/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=431180 CPUtime=1301.84 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1982975 0 0 0 129208 976 0 0 25 0 1 0 106708094 441528320 106800 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 107795 106800 393 324 0 106864 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 431180 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1204016/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=434200 CPUtime=1361.82 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1983700 0 0 0 135203 979 0 0 25 0 1 0 106708094 444620800 107525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 108550 107525 393 324 0 107619 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 434200 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1200752/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=437324 CPUtime=1421.8 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1984509 0 0 0 141199 981 0 0 25 0 1 0 106708094 447819776 108334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 109331 108334 393 324 0 108400 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 437324 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1186928/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=451360 CPUtime=1481.79 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1987999 0 0 0 147190 989 0 0 25 0 1 0 106708094 462192640 111824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 112840 111824 393 324 0 111909 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 451360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1174768/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=463396 CPUtime=1541.77 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1991016 0 0 0 153182 995 0 0 25 0 1 0 106708094 474517504 114841 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 115849 114841 393 324 0 114918 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 463396 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1165040/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=473072 CPUtime=1601.76 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1993433 0 0 0 159176 1000 0 0 25 0 1 0 106708094 484425728 117258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 118268 117258 393 324 0 117337 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 473072 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1158192/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=479832 CPUtime=1661.74 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1995132 0 0 0 165170 1004 0 0 25 0 1 0 106708094 491347968 118957 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 119958 118957 393 324 0 119027 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 479832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1151664/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=486480 CPUtime=1721.72 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1996771 0 0 0 171164 1008 0 0 25 0 1 0 106708094 498155520 120596 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 121620 120596 393 324 0 120689 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 486480 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1145072/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=493020 CPUtime=1781.71 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1998420 0 0 0 177160 1011 0 0 25 0 1 0 106708094 504852480 122245 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 123255 122245 393 324 0 122324 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 493020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2749 /proc/meminfo: memFree=1142704/2055920 swapFree=4149088/4192956 [pid=2550] ppid=2548 vsize=495240 CPUtime=1800.01 /proc/2550/stat : 2550 (bsolo3.0.16) R 2548 2550 20368 0 -1 4194304 1998982 0 0 0 178989 1012 0 0 25 0 1 0 106708094 507125760 122807 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2550/statm: 123810 122807 393 324 0 122879 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 495240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.69 CPU time (s): 1800.09 CPU user time (s): 1789.89 CPU system time (s): 10.1994 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (KiB): 495240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.89 system time used= 10.1994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1998983 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= 34645 runsolver used 2.07668 second user time and 4.26235 second system time The end
Begin job on node14 on Sat Apr 14 21:58:23 UTC 2007 IDJOB= 351200 IDBENCH= 1695 IDSOLVER= 163 FILE ID= node14/351200-1176587903 PBS_JOBID= 4556797 Free space on /tmp= 66552 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-cycle.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351200-1176587903/instance-351200-1176587903.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-351200-1176587903 -o ROOT/results/node14/solver-351200-1176587903 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351200-1176587903/instance-351200-1176587903.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 761eaefb829e7d3bf060fd5b86600997 RANDOM SEED= 594378896 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1633936 kB Buffers: 73104 kB Cached: 280912 kB SwapCached: 11892 kB Active: 154948 kB Inactive: 228056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1633936 kB SwapTotal: 4192956 kB SwapFree: 4149088 kB Dirty: 9464 kB Writeback: 0 kB Mapped: 33088 kB Slab: 24544 kB Committed_AS: 5202948 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= 66552 MiB End job on node14 on Sat Apr 14 22:28:26 UTC 2007