Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.24 | 1800.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-bnl1.opb |
MD5SUM | 6c2572528741ab95a20df4da6c9423f7 |
Bench Category | OPT-BIGINT (optimisation, big 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 | 35250 |
Total number of constraints | 624 |
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 | 624 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2280 |
Number of terms in the objective function | 29490 |
Biggest coefficient in the objective function | 12938266856652800 |
Number of bits for the biggest coefficient in the objective function | 54 |
Sum of the numbers in the objective function | 1063579760735919966 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 12938266856652800 |
Number of bits of the biggest number in a constraint | 54 |
Biggest sum of numbers in a constraint | 1063579760735919966 |
Number of bits of the biggest sum of numbers | 60 |
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/433267-1177957201/instance-433267-1177957201.opb 0.00/0.00 c File size is 2992093 bytes. 0.04/0.07 c Coefficients are big enough for not using lower bounding. 0.38/0.46 c Highest Coefficient sum: 1.06358e+18 0.38/0.46 c Parsing was ok!! 0.38/0.46 c Total parsing time: 0.456 s 0.38/0.48 c Var: 35250 Constr: 855 0/0/855 Lit: 230310 Watch. Lit: 73243 0.38/0.48 c Obj. Vars: 29490 (83.6596 % of total variables) 2.49/2.57 c Pre-processing Time: 2.568 s 1800.08/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.61 c 0 13913 827 199261 240 146671 398522 0 0 2.57 1800.08/1800.61 c 105 13913 932 209546 224 152549 438375 105 36 2.86 1800.08/1800.61 c 256 13913 1083 222195 205 153232 482213 256 84 3.02 1800.08/1800.61 c 482 13913 1309 233292 178 153683 530435 482 156 3.08 1800.08/1800.61 c 820 13913 1647 250432 152 154358 583479 820 257 3.18 1800.08/1800.61 c 1329 13913 2156 276271 128 155372 641827 1329 397 3.34 1800.08/1800.61 c 2092 13913 2919 315013 107 156904 706010 2092 579 3.61 1800.08/1800.61 c 3238 13913 4065 372986 91 159193 776612 3238 813 3.98 1800.08/1800.61 c 4960 13913 5787 458464 79 162642 854274 4960 1074 4.62 1800.08/1800.61 c 7544 13913 8371 585301 69 167802 939702 7544 1280 5.89 1800.08/1800.61 c 11423 13913 12250 782270 63 175676 500000 11423 1348 8.47 1800.08/1800.61 c 17246 13911 18073 1248783 69 188039 550001 17246 1109 15.54 1800.08/1800.61 c 25984 13911 26811 2442983 91 206238 605002 25984 879 29.55 1800.08/1800.61 c 39094 13911 39921 5010629 125 232250 665503 39094 664 58.81 1800.08/1800.61 c 58766 13911 59593 9226608 154 272888 732054 58766 602 97.53 1800.08/1800.61 c 88276 13911 89103 16455466 184 332361 805260 88276 520 169.69 1800.08/1800.61 c 132546 13911 133373 23365633 175 420877 885787 132546 490 270.32 1800.08/1800.61 c 198956 13911 199783 30854097 154 553628 974366 198956 315 630.95 1800.08/1800.61 c 298577 13911 299404 40728960 136 752912 500000 298577 225 1325.50 1800.08/1800.61 c 448012 13911 448839 59219137 131 1051483 550001 448012 269 1659.76 1800.08/1800.61 c Caught signal: 15 1800.08/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.61 c 19 495418 17468 738361 496245 65064857 495418 275 1800.10 1800.08/1800.61 s UNKNOWN 1800.08/1800.61 c Total time: 1800.1 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node18/watcher-433267-1177957201 -o ROOT/results/node18/solver-433267-1177957201 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433267-1177957201/instance-433267-1177957201.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.79 0.92 0.89 3/77 4561 /proc/meminfo: memFree=1823024/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=2632 CPUtime=0 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 65 0 0 0 0 0 0 0 18 0 1 0 243637514 2695168 48 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7861028 0 0 4096 0 0 0 0 17 1 0 0 /proc/4561/statm: 658 50 38 324 0 11 0 [startup+0.052131 s] /proc/loadavg: 0.79 0.92 0.89 3/77 4561 /proc/meminfo: memFree=1823024/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=16116 CPUtime=0.04 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 835 0 0 0 4 0 0 0 18 0 1 0 243637514 16502784 765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 4029 765 374 324 0 2368 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 16116 [startup+0.101134 s] /proc/loadavg: 0.79 0.92 0.89 3/77 4561 /proc/meminfo: memFree=1823024/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=17452 CPUtime=0.09 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 1272 0 0 0 9 0 0 0 18 0 1 0 243637514 17870848 1202 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 4363 1202 463 324 0 2702 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17452 [startup+0.301154 s] /proc/loadavg: 0.79 0.92 0.89 3/77 4561 /proc/meminfo: memFree=1823024/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=11308 CPUtime=0.28 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 2002 0 0 0 28 0 0 0 19 0 1 0 243637514 11579392 1932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 2827 1932 779 324 0 1166 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 11308 [startup+0.701192 s] /proc/loadavg: 0.79 0.92 0.89 3/77 4561 /proc/meminfo: memFree=1823024/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=17072 CPUtime=0.68 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 4413 0 0 0 67 1 0 0 23 0 1 0 243637514 17481728 3554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 4268 3554 304 324 0 3338 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17072 [startup+1.50127 s] /proc/loadavg: 0.81 0.92 0.89 2/78 4562 /proc/meminfo: memFree=1809896/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=17140 CPUtime=1.48 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 4422 0 0 0 146 2 0 0 25 0 1 0 243637514 17551360 3563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 4285 3563 304 324 0 3355 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 17140 [startup+3.10142 s] /proc/loadavg: 0.81 0.92 0.89 2/78 4562 /proc/meminfo: memFree=1809704/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=17176 CPUtime=3.08 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 4927 0 0 0 303 5 0 0 25 0 1 0 243637514 17588224 3585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 4294 3585 310 324 0 3364 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17176 [startup+6.30173 s] /proc/loadavg: 0.81 0.92 0.89 2/78 4562 /proc/meminfo: memFree=1805672/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=22216 CPUtime=6.28 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 6178 0 0 0 621 7 0 0 25 0 1 0 243637514 22749184 4836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 5554 4836 310 324 0 4624 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22216 [startup+12.7014 s] /proc/loadavg: 0.84 0.93 0.90 2/78 4562 /proc/meminfo: memFree=1799016/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=28300 CPUtime=12.67 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 7709 0 0 0 1259 8 0 0 25 0 1 0 243637514 28979200 6367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 7075 6367 310 324 0 6145 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 28300 [startup+25.5016 s] /proc/loadavg: 0.86 0.93 0.90 2/78 4562 /proc/meminfo: memFree=1788464/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=38724 CPUtime=25.47 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 10302 0 0 0 2538 9 0 0 25 0 1 0 243637514 39653376 8960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 9681 8960 310 324 0 8751 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 38724 [startup+51.1011 s] /proc/loadavg: 0.91 0.93 0.90 2/78 4562 /proc/meminfo: memFree=1753968/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=73548 CPUtime=51.05 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 19033 0 0 0 5092 13 0 0 25 0 1 0 243637514 75313152 17691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 18387 17691 310 324 0 17457 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 73548 [startup+102.306 s] /proc/loadavg: 0.96 0.94 0.90 2/78 4562 /proc/meminfo: memFree=1681840/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=145092 CPUtime=102.25 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 36921 0 0 0 10200 25 0 0 25 0 1 0 243637514 148574208 35579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 36273 35579 310 324 0 35343 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 145092 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.91 2/78 4562 /proc/meminfo: memFree=1606960/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=221008 CPUtime=162.23 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 55891 0 0 0 16187 36 0 0 25 0 1 0 243637514 226312192 54549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 55252 54549 310 324 0 54322 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 221008 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.91 2/78 4562 /proc/meminfo: memFree=1546672/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=279924 CPUtime=222.21 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 70632 0 0 0 22175 46 0 0 25 0 1 0 243637514 286642176 69290 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 69981 69290 310 324 0 69051 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 279924 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.91 2/78 4562 /proc/meminfo: memFree=1496752/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=330156 CPUtime=282.2 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 83171 0 0 0 28163 57 0 0 25 0 1 0 243637514 338079744 81829 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 82539 81829 310 324 0 81609 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 330156 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4562 /proc/meminfo: memFree=1467568/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=358984 CPUtime=342.17 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 90395 0 0 0 34153 64 0 0 25 0 1 0 243637514 367599616 89053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 89746 89053 310 324 0 88816 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 358984 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4562 /proc/meminfo: memFree=1449392/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=377264 CPUtime=402.16 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 94939 0 0 0 40146 70 0 0 25 0 1 0 243637514 386318336 93597 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 94316 93597 310 324 0 93386 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 377264 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4562 /proc/meminfo: memFree=1432496/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=393996 CPUtime=462.14 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 99125 0 0 0 46139 75 0 0 25 0 1 0 243637514 403451904 97783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 98499 97783 310 324 0 97569 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 393996 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4562 /proc/meminfo: memFree=1420080/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=406384 CPUtime=522.13 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 102239 0 0 0 52134 79 0 0 25 0 1 0 243637514 416137216 100897 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 101596 100897 310 324 0 100666 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 406384 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4562 /proc/meminfo: memFree=1407728/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=418656 CPUtime=582.11 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 105303 0 0 0 58129 82 0 0 25 0 1 0 243637514 428703744 103961 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 104664 103961 310 324 0 103734 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 418656 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 4562 /proc/meminfo: memFree=1394800/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=431584 CPUtime=642.1 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 108544 0 0 0 64125 85 0 0 25 0 1 0 243637514 441942016 107202 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 107896 107202 310 324 0 106966 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 431584 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.14 1.04 0.94 2/78 4562 /proc/meminfo: memFree=1327408/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=498752 CPUtime=882.03 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 125317 0 0 0 88100 103 0 0 25 0 1 0 243637514 510722048 123975 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 124688 123975 310 324 0 123758 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 498752 [startup+942.302 s] /proc/loadavg: 1.05 1.03 0.94 2/78 4562 /proc/meminfo: memFree=1316656/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=509608 CPUtime=942.01 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 128047 0 0 0 94094 107 0 0 25 0 1 0 243637514 521838592 126705 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 127402 126705 310 324 0 126472 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 509608 [startup+1002.3 s] /proc/loadavg: 1.02 1.02 0.94 2/78 4562 /proc/meminfo: memFree=1306672/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=519584 CPUtime=1002 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 130545 0 0 0 100090 110 0 0 25 0 1 0 243637514 532054016 129203 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 129896 129203 310 324 0 128966 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 519584 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 0.94 2/78 4562 /proc/meminfo: memFree=1297072/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=529296 CPUtime=1061.98 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 132954 0 0 0 106085 113 0 0 25 0 1 0 243637514 541999104 131612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 132324 131612 310 324 0 131394 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 529296 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.94 2/78 4562 /proc/meminfo: memFree=1287920/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=538248 CPUtime=1121.96 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 135216 0 0 0 112081 115 0 0 25 0 1 0 243637514 551165952 133874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 134562 133874 310 324 0 133632 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 538248 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 0.94 2/78 4562 /proc/meminfo: memFree=1279600/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=546668 CPUtime=1181.95 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 137312 0 0 0 118076 119 0 0 25 0 1 0 243637514 559788032 135970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 136667 135970 310 324 0 135737 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 546668 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1270512/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=555604 CPUtime=1241.94 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 139527 0 0 0 124072 122 0 0 25 0 1 0 243637514 568938496 138185 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 138901 138185 310 324 0 137971 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 555604 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1263792/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=562176 CPUtime=1301.92 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 141184 0 0 0 130068 124 0 0 25 0 1 0 243637514 575668224 139842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8294125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 140544 139842 310 324 0 139614 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 562176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1209712/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=616588 CPUtime=1361.9 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 154774 0 0 0 136053 137 0 0 25 0 1 0 243637514 631386112 153432 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 154147 153432 310 324 0 153217 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 616588 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1179504/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=646328 CPUtime=1421.89 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 162214 0 0 0 142043 146 0 0 25 0 1 0 243637514 661839872 160872 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 161582 160872 310 324 0 160652 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 646328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1133296/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=694776 CPUtime=1481.86 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 174347 0 0 0 148033 153 0 0 25 0 1 0 243637514 711450624 173005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 173694 173005 310 324 0 172764 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 694776 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1062832/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=762900 CPUtime=1541.85 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 191359 0 0 0 154019 166 0 0 25 0 1 0 243637514 781209600 190017 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 190725 190017 310 324 0 189795 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 762900 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1031408/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=794484 CPUtime=1601.83 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 199267 0 0 0 160009 174 0 0 25 0 1 0 243637514 813551616 197925 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 198621 197925 310 324 0 197691 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 794484 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=1005872/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=819752 CPUtime=1661.82 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 205583 0 0 0 166002 180 0 0 25 0 1 0 243637514 839426048 204241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 204938 204241 310 324 0 204008 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 819752 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=962160/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=863736 CPUtime=1721.8 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 216564 0 0 0 171990 190 0 0 25 0 1 0 243637514 884465664 215222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 215934 215222 310 324 0 215004 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 863736 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=934576/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=890844 CPUtime=1781.78 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 223364 0 0 0 177980 198 0 0 25 0 1 0 243637514 912224256 222022 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 222711 222022 310 324 0 221781 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 890844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=927728/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=897676 CPUtime=1800.08 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194304 225044 0 0 0 179808 200 0 0 25 0 1 0 243637514 919220224 223702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 224419 223702 310 324 0 223489 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 897676 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.00 1.00 0.94 2/78 4564 /proc/meminfo: memFree=927728/2055920 swapFree=4147196/4192956 [pid=4561] ppid=4559 vsize=0 CPUtime=1800.18 /proc/4561/stat : 4561 (bsolo3.0.17) R 4559 4561 4402 0 -1 4194308 225048 0 0 0 179808 210 0 0 25 0 1 0 243637514 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/4561/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.76 CPU time (s): 1800.24 CPU user time (s): 1798.09 CPU system time (s): 2.14867 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 897676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.09 system time used= 2.14867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 225048 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= 11 involuntary context switches= 37827 runsolver used 1.46378 second user time and 3.72843 second system time The end
Begin job on node18 on Mon Apr 30 18:20:01 UTC 2007 IDJOB= 433267 IDBENCH= 2421 IDSOLVER= 199 FILE ID= node18/433267-1177957201 PBS_JOBID= 4727745 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433267-1177957201/instance-433267-1177957201.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-433267-1177957201 -o ROOT/results/node18/solver-433267-1177957201 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433267-1177957201/instance-433267-1177957201.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 6c2572528741ab95a20df4da6c9423f7 RANDOM SEED= 870913930 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node18.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.234 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.234 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: 1823432 kB Buffers: 36604 kB Cached: 106192 kB SwapCached: 14420 kB Active: 62856 kB Inactive: 102844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823432 kB SwapTotal: 4192956 kB SwapFree: 4147196 kB Dirty: 9796 kB Writeback: 0 kB Mapped: 29992 kB Slab: 52356 kB Committed_AS: 5537372 kB PageTables: 1776 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 node18 on Mon Apr 30 18:50:04 UTC 2007