Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.17 | 1801.49 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb |
MD5SUM | 867ebc446ef1d12fd0b7d8d0b9e71a77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 161 |
Best CPU time to get the best result obtained on this benchmark | 1801.99 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 161 |
Optimality of the best value was proved | NO |
Number of variables | 48602 |
Total number of constraints | 686 |
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 | 686 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 29700 |
Biggest coefficient in the objective function | 7111 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 549494 |
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 | 549494 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/351304-1176594329/instance-351304-1176594329.opb 0.00/0.01 c File size is 1262480 bytes. 0.18/0.27 c Highest Coefficient sum: 549494 0.18/0.27 c Parsing was ok!! 0.18/0.27 c Total parsing time: 0.249 s 0.18/0.28 c Var: 48602 Constr: 1372 5/0/1367 Lit: 178324 Watch. Lit: 14992 0.18/0.28 c Obj. Vars: 29700 (61.1086 % of total variables) 1.37/1.40 c Pre-processing Time: 1.382 s 1.37/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.37/1.40 c 0 47405 1362 176224 129 67183 352448 0 0 1.38 1.37/1.40 c Switching off LPR mode. 1799.98/1801.33 c 100 47405 1462 253809 173 76956 387693 100 64 1.54 1799.98/1801.33 c 251 47405 1613 264318 163 132569 426463 251 145 1.72 1799.98/1801.33 c 476 47405 1838 279197 151 136136 469110 476 264 1.80 1799.98/1801.33 c 814 47405 2176 297234 136 136397 516022 814 443 1.84 1799.98/1801.33 c 1322 47405 2684 331699 123 137868 567625 1322 668 1.98 1799.98/1801.33 c 2085 47405 3447 367471 106 138023 624388 2085 1015 2.05 1799.98/1801.33 c 3232 47405 4594 495509 107 140251 686827 3232 1384 2.33 1799.98/1801.33 c 4953 47405 6315 628359 99 144469 755510 4953 1674 2.96 1799.98/1801.33 c 7537 47405 8899 805162 90 150631 831062 7537 2200 3.42 1799.98/1801.33 c 11417 47405 12779 1686013 131 159768 914169 11417 2096 5.45 1799.98/1801.33 c 17239 47405 18601 2061029 110 171190 500000 17239 2785 6.19 1799.98/1801.33 c 25976 47405 27338 3615461 132 187672 550001 25976 2533 10.25 1799.98/1801.33 c 39088 47405 40450 4981093 123 210901 605002 39088 1922 20.33 1799.98/1801.33 c 58758 47405 60120 7475837 124 248120 665503 58758 1571 37.38 1799.98/1801.33 c 88268 47405 89630 10220559 114 306746 732054 88268 1715 51.45 1799.98/1801.33 c 132538 47405 133900 18107995 135 396003 805260 132538 1216 108.95 1799.98/1801.33 c 198948 47405 200310 45056162 224 529187 885787 198948 350 567.50 1799.98/1801.33 c 298569 47405 299931 53597390 178 726203 974366 298569 380 785.63 1799.98/1801.33 c 448005 47405 449367 69695400 155 1025087 500000 448005 421 1063.53 1799.98/1801.33 c Resources Exceeded 1799.98/1801.33 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1801.33 c 19 657479 15635 1227881 145287 8137599 143925 365 1800.01 1799.98/1801.33 s UNKNOWN 1799.98/1801.33 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/node37/watcher-351304-1176594329 -o ROOT/results/node37/solver-351304-1176594329 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351304-1176594329/instance-351304-1176594329.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.03 0.99 0.99 3/78 24711 /proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=2560 CPUtime=0 /proc/24711/stat : 24711 (bsolo3.0.16) D 24709 24711 24562 0 -1 4194304 61 0 1 0 0 0 0 0 18 0 1 0 107345405 2621440 45 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3167140 0 0 4096 0 18446744071563608240 0 0 17 0 0 0 /proc/24711/statm: 640 45 35 324 0 8 0 [startup+0.0947991 s] /proc/loadavg: 1.03 0.99 0.99 3/78 24711 /proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=15920 CPUtime=0.06 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 1245 0 2 0 6 0 0 0 18 0 1 0 107345405 16302080 1175 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585200 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 3980 1175 375 324 0 2740 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15920 [startup+0.102798 s] /proc/loadavg: 1.03 0.99 0.99 3/78 24711 /proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=8380 CPUtime=0.07 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 1310 0 2 0 7 0 0 0 18 0 1 0 107345405 8581120 1240 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 2095 1240 384 324 0 855 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8380 [startup+0.302836 s] /proc/loadavg: 1.03 0.99 0.99 3/78 24711 /proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=14568 CPUtime=0.28 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 3315 0 2 0 26 2 0 0 19 0 1 0 107345405 14917632 2798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 3642 2798 306 324 0 2711 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 14568 [startup+0.701912 s] /proc/loadavg: 1.03 0.99 0.99 3/78 24711 /proc/meminfo: memFree=1879744/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=18308 CPUtime=0.67 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 4736 0 2 0 62 5 0 0 23 0 1 0 107345405 18747392 3744 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 4577 3744 308 324 0 3646 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 18308 [startup+1.50106 s] /proc/loadavg: 1.03 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1865592/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=16336 CPUtime=1.47 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 4888 0 2 0 140 7 0 0 25 0 1 0 107345405 16728064 3266 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 4084 3266 312 324 0 3153 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 16336 [startup+3.10136 s] /proc/loadavg: 1.02 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1863544/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=23980 CPUtime=3.07 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 6833 0 2 0 296 11 0 0 25 0 1 0 107345405 24555520 5211 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 5995 5211 312 324 0 5064 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 23980 [startup+6.30197 s] /proc/loadavg: 1.02 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1845816/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=43488 CPUtime=6.27 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 11707 0 2 0 611 16 0 0 25 0 1 0 107345405 44531712 10085 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 10872 10085 312 324 0 9941 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 43488 [startup+12.7012 s] /proc/loadavg: 1.02 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1811832/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=73452 CPUtime=12.66 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 19213 0 2 0 1240 26 0 0 25 0 1 0 107345405 75214848 17591 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 18363 17591 312 324 0 17432 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 73452 [startup+25.5026 s] /proc/loadavg: 1.02 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1786424/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=97896 CPUtime=25.47 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 25333 0 2 0 2513 34 0 0 25 0 1 0 107345405 100245504 23711 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 24474 23711 312 324 0 23543 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 97896 [startup+51.1024 s] /proc/loadavg: 1.01 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1730296/2055920 swapFree=4014372/4192956 [pid=24711] ppid=24709 vsize=154320 CPUtime=51.06 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 39435 0 2 0 5060 46 0 0 25 0 1 0 107345405 158023680 37813 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 38580 37813 312 324 0 37649 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 154320 [startup+102.305 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1627448/2055920 swapFree=4014420/4192956 [pid=24711] ppid=24709 vsize=256052 CPUtime=102.24 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 64859 0 2 0 10151 73 0 0 25 0 1 0 107345405 262197248 63237 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 64013 63237 312 324 0 63082 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 256052 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1509048/2055920 swapFree=4014420/4192956 [pid=24711] ppid=24709 vsize=374656 CPUtime=162.21 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 94520 0 2 0 16126 95 0 0 25 0 1 0 107345405 383647744 92898 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 93664 92898 312 324 0 92733 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 374656 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1447808/2055920 swapFree=4014468/4192956 [pid=24711] ppid=24709 vsize=435244 CPUtime=222.18 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 109658 0 2 0 22108 110 0 0 25 0 1 0 107345405 445689856 108036 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 108811 108036 312 324 0 107880 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 435244 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1408256/2055920 swapFree=4014468/4192956 [pid=24711] ppid=24709 vsize=474996 CPUtime=282.13 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 119580 0 2 0 28095 118 0 0 25 0 1 0 107345405 486395904 117958 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 118749 117958 312 324 0 117818 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 474996 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1372736/2055920 swapFree=4014468/4192956 [pid=24711] ppid=24709 vsize=509996 CPUtime=342.08 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 128346 0 2 0 34082 126 0 0 25 0 1 0 107345405 522235904 126724 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 127499 126724 312 324 0 126568 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 509996 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1347072/2055920 swapFree=4014516/4192956 [pid=24711] ppid=24709 vsize=535808 CPUtime=402.05 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 134783 0 2 0 40073 132 0 0 25 0 1 0 107345405 548667392 133161 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 133952 133161 312 324 0 133021 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 535808 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1323776/2055920 swapFree=4014516/4192956 [pid=24711] ppid=24709 vsize=558648 CPUtime=462 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 140509 0 2 0 46063 137 0 0 25 0 1 0 107345405 572055552 138887 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 139662 138887 312 324 0 138731 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 558648 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1293440/2055920 swapFree=4014580/4192956 [pid=24711] ppid=24709 vsize=589312 CPUtime=521.96 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 148178 0 2 0 52054 142 0 0 25 0 1 0 107345405 603455488 146556 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 147328 146556 312 324 0 146397 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 589312 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1209600/2055920 swapFree=4014580/4192956 [pid=24711] ppid=24709 vsize=672880 CPUtime=581.93 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 169071 0 2 0 58030 163 0 0 25 0 1 0 107345405 689029120 167449 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 168220 167449 312 324 0 167289 0 Current children cumulated CPU time (s) 581.93 Current children cumulated vsize (KiB) 672880 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/79 24712 /proc/meminfo: memFree=1187648/2055920 swapFree=4014580/4192956 [pid=24711] ppid=24709 vsize=694316 CPUtime=641.9 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 174413 0 2 0 64017 173 0 0 25 0 1 0 107345405 710979584 172791 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 173579 172791 312 324 0 172648 0 Current children cumulated CPU time (s) 641.9 Current children cumulated vsize (KiB) 694316 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24712 /proc/meminfo: memFree=1072832/2055920 swapFree=4014708/4192956 [pid=24711] ppid=24709 vsize=809136 CPUtime=821.72 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 203117 0 2 0 81965 207 0 0 25 0 1 0 107345405 828555264 201495 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 202284 201495 312 324 0 201353 0 Current children cumulated CPU time (s) 821.72 Current children cumulated vsize (KiB) 809136 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24712 /proc/meminfo: memFree=1018880/2055920 swapFree=4014708/4192956 [pid=24711] ppid=24709 vsize=862836 CPUtime=881.68 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 216538 0 2 0 87943 225 0 0 25 0 1 0 107345405 883544064 214916 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 215709 214916 312 324 0 214778 0 Current children cumulated CPU time (s) 881.68 Current children cumulated vsize (KiB) 862836 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/85 24786 /proc/meminfo: memFree=974800/2055920 swapFree=4014708/4192956 [pid=24711] ppid=24709 vsize=904840 CPUtime=941.65 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 227049 0 2 0 93922 243 0 0 25 0 1 0 107345405 926556160 225427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 226210 225427 312 324 0 225279 0 Current children cumulated CPU time (s) 941.65 Current children cumulated vsize (KiB) 904840 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=951040/2055920 swapFree=4014772/4192956 [pid=24711] ppid=24709 vsize=929308 CPUtime=1001.62 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 233167 0 2 0 99899 263 0 0 25 0 1 0 107345405 951611392 231545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 232327 231545 312 324 0 231396 0 Current children cumulated CPU time (s) 1001.62 Current children cumulated vsize (KiB) 929308 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=929408/2055920 swapFree=4014772/4192956 [pid=24711] ppid=24709 vsize=951092 CPUtime=1061.55 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 238602 0 2 0 105881 274 0 0 25 0 1 0 107345405 973918208 236980 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 237773 236980 312 324 0 236842 0 Current children cumulated CPU time (s) 1061.55 Current children cumulated vsize (KiB) 951092 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834816/2055920 swapFree=4014836/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1121.52 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 111846 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1121.52 Current children cumulated vsize (KiB) 1045128 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834688/2055920 swapFree=4014836/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1181.48 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 117842 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1181.48 Current children cumulated vsize (KiB) 1045128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834496/2055920 swapFree=4014900/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1241.42 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 123836 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1241.42 Current children cumulated vsize (KiB) 1045128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834560/2055920 swapFree=4014900/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1301.37 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 129831 306 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1301.37 Current children cumulated vsize (KiB) 1045128 [startup+1362.3 s] /proc/loadavg: 1.06 1.02 1.00 2/79 24910 /proc/meminfo: memFree=834560/2055920 swapFree=4014900/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1361.32 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 135821 311 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1361.32 Current children cumulated vsize (KiB) 1045128 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/79 24910 /proc/meminfo: memFree=834624/2055920 swapFree=4014964/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1421.28 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 141815 313 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1421.28 Current children cumulated vsize (KiB) 1045128 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834496/2055920 swapFree=4014964/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1481.24 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 147807 317 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 3598165 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1481.24 Current children cumulated vsize (KiB) 1045128 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834432/2055920 swapFree=4015028/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1541.18 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 153798 320 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1541.18 Current children cumulated vsize (KiB) 1045128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834432/2055920 swapFree=4015028/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1601.12 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 159790 322 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1601.12 Current children cumulated vsize (KiB) 1045128 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/79 24910 /proc/meminfo: memFree=834368/2055920 swapFree=4015028/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1661.08 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 165783 325 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1661.08 Current children cumulated vsize (KiB) 1045128 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 3/79 24910 /proc/meminfo: memFree=834304/2055920 swapFree=4015092/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1721.04 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 171776 328 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1721.04 Current children cumulated vsize (KiB) 1045128 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=834048/2055920 swapFree=4015092/4192956 [pid=24711] ppid=24709 vsize=1045128 CPUtime=1780.99 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194304 262632 0 2 0 177769 330 0 0 25 0 1 0 107345405 1070211072 260494 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 261282 260494 312 324 0 260351 0 Current children cumulated CPU time (s) 1780.99 Current children cumulated vsize (KiB) 1045128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/79 24910 /proc/meminfo: memFree=1279104/2055920 swapFree=4015092/4192956 [pid=24711] ppid=24709 vsize=0 CPUtime=1800.08 /proc/24711/stat : 24711 (bsolo3.0.16) R 24709 24711 24562 0 -1 4194308 262633 0 2 0 179670 338 0 0 25 0 1 0 107345405 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 0 0 0 /proc/24711/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 Child status: 0 Real time (s): 1801.49 CPU time (s): 1800.17 CPU user time (s): 1796.7 CPU system time (s): 3.47047 CPU usage (%): 99.927 Max. virtual memory (cumulated for all children) (KiB): 1047192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.7 system time used= 3.47047 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262633 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 33283 runsolver used 1.84172 second user time and 4.73928 second system time The end
Begin job on node37 on Sat Apr 14 23:45:29 UTC 2007 IDJOB= 351304 IDBENCH= 1717 IDSOLVER= 163 FILE ID= node37/351304-1176594329 PBS_JOBID= 4556985 Free space on /tmp= 66559 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-modszk1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351304-1176594329/instance-351304-1176594329.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-351304-1176594329 -o ROOT/results/node37/solver-351304-1176594329 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351304-1176594329/instance-351304-1176594329.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 867ebc446ef1d12fd0b7d8d0b9e71a77 RANDOM SEED= 486940824 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1880408 kB Buffers: 27156 kB Cached: 54176 kB SwapCached: 1016 kB Active: 14580 kB Inactive: 90676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1880408 kB SwapTotal: 4192956 kB SwapFree: 4014372 kB Dirty: 5708 kB Writeback: 0 kB Mapped: 32500 kB Slab: 55644 kB Committed_AS: 1122224 kB PageTables: 2000 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= 66559 MiB End job on node37 on Sun Apr 15 00:15:33 UTC 2007