Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.18 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-ship12s.opb |
MD5SUM | bde0c0fbe1d85bc08e3fa72426bea662 |
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 | 82890 |
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 | 1470 |
Number of terms in the objective function | 82890 |
Biggest coefficient in the objective function | 3868 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 594441 |
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 | 594441 |
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/348293-1176575722/instance-348293-1176575722.opb 0.00/0.00 c File size is 3428378 bytes. 0.69/0.73 c Highest Coefficient sum: 594441 0.69/0.73 c Parsing was ok!! 0.69/0.73 c Total parsing time: 0.728 s 0.69/0.76 c Var: 82890 Constr: 1973 801/0/1172 Lit: 402450 Watch. Lit: 89366 0.69/0.76 c Obj. Vars: 82890 (100 % of total variables) 38.77/38.87 c Pre-processing Time: 38.859 s 38.77/38.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 38.77/38.87 c 0 43593 1412 374610 265 137153 656993 0 0 38.86 38.77/38.87 c Switching off LPR mode. 1799.98/1800.64 c 102 43593 1514 378104 249 272595 722693 102 2 43.45 1799.98/1800.64 c 252 43593 1664 383576 230 272939 794963 252 5 43.96 1799.98/1800.64 c 478 43593 1890 393653 208 273760 874460 478 10 45.28 1799.98/1800.64 c 817 43593 2229 406880 182 274910 961907 817 17 46.69 1799.98/1800.64 c 1325 43593 2737 429832 157 275927 500000 1325 26 49.09 1799.98/1800.64 c 2088 43593 3500 467459 133 277411 550001 2088 41 49.93 1799.98/1800.64 c 3235 43593 4647 522847 112 279670 605002 3235 63 51.23 1799.98/1800.64 c 4956 43593 6368 606442 95 283129 665503 4956 93 53.23 1799.98/1800.64 c 7541 43593 8953 731147 81 288096 732054 7541 128 58.74 1799.98/1800.64 c 11420 43593 12832 918104 71 295775 805260 11420 179 63.55 1799.98/1800.64 c 17242 43593 18654 1199443 64 307369 885787 17242 245 70.27 1799.98/1800.64 c 25979 43593 27391 1627503 59 324801 974366 25979 312 83.25 1799.98/1800.64 c 39089 43593 40501 2258590 55 351059 500000 39089 375 104.22 1799.98/1800.64 c 58760 43593 60172 3223236 53 390363 550001 58760 409 143.48 1799.98/1800.64 c 88270 43593 89682 16257519 181 441866 605002 88270 353 249.94 1799.98/1800.64 c 132540 43593 133952 25291946 188 528472 665503 132540 336 393.34 1799.98/1800.64 c 198950 43593 200362 40907274 204 657870 732054 198950 274 726.02 1799.98/1800.64 c 298571 43593 299983 59573296 198 856909 805260 298571 256 1163.43 1799.98/1800.64 c Resources Exceeded 1799.98/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.64 c 18 384501 201023 1606564 385913 75504079 384501 213 1800.02 1799.98/1800.64 s UNKNOWN 1799.98/1800.64 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-348293-1176575722 -o ROOT/results/node5/solver-348293-1176575722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348293-1176575722/instance-348293-1176575722.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.96 1.02 1.00 3/77 28190 /proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=15088 CPUtime=0 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 133609850 15450112 336 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 3772 337 281 324 0 2003 0 [startup+0.030094 s] /proc/loadavg: 0.96 1.02 1.00 3/77 28190 /proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=16100 CPUtime=0.02 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 632 0 0 0 2 0 0 0 18 0 1 0 133609850 16486400 600 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 4025 600 313 324 0 2256 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16100 [startup+0.101102 s] /proc/loadavg: 0.96 1.02 1.00 3/77 28190 /proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=18488 CPUtime=0.09 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 1401 0 0 0 9 0 0 0 18 0 1 0 133609850 18931712 1250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134541250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 4719 1256 399 324 0 2950 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18488 [startup+0.301124 s] /proc/loadavg: 0.96 1.02 1.00 3/77 28190 /proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=16248 CPUtime=0.29 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 3149 0 0 0 28 1 0 0 19 0 1 0 133609850 16637952 2792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525046 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 4062 2792 630 324 0 2293 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16248 [startup+0.70117 s] /proc/loadavg: 0.96 1.02 1.00 3/77 28190 /proc/meminfo: memFree=1793016/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=19748 CPUtime=0.69 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 4469 0 0 0 67 2 0 0 23 0 1 0 133609850 20221952 4112 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 4937 4112 1083 324 0 3168 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19748 [startup+1.50126 s] /proc/loadavg: 0.96 1.02 1.00 2/78 28191 /proc/meminfo: memFree=1772976/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=25836 CPUtime=1.49 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 6730 0 0 0 143 6 0 0 25 0 1 0 133609850 26456064 5535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 6459 5535 306 324 0 5528 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25836 [startup+3.10144 s] /proc/loadavg: 0.96 1.02 1.00 2/78 28191 /proc/meminfo: memFree=1768560/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=29352 CPUtime=3.09 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 301 8 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 7338 6403 308 324 0 6407 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29352 [startup+6.30181 s] /proc/loadavg: 0.96 1.02 1.00 2/78 28191 /proc/meminfo: memFree=1768312/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=29352 CPUtime=6.28 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 620 8 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 7338 6403 308 324 0 6407 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 29352 [startup+12.7015 s] /proc/loadavg: 0.96 1.02 1.00 2/78 28191 /proc/meminfo: memFree=1768568/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=29352 CPUtime=12.69 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 1260 9 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540884 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 7338 6403 308 324 0 6407 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29352 [startup+25.502 s] /proc/loadavg: 0.97 1.02 1.00 2/78 28191 /proc/meminfo: memFree=1768760/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=29352 CPUtime=25.48 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 8408 0 0 0 2538 10 0 0 25 0 1 0 133609850 30056448 6403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 7338 6403 308 324 0 6407 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29352 [startup+51.1019 s] /proc/loadavg: 0.98 1.02 1.00 2/78 28191 /proc/meminfo: memFree=1767672/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=30880 CPUtime=51.07 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 9549 0 0 0 5091 16 0 0 25 0 1 0 133609850 31621120 6801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 7720 6801 312 324 0 6789 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30880 [startup+102.306 s] /proc/loadavg: 0.99 1.01 1.00 2/78 28191 /proc/meminfo: memFree=1741560/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=56588 CPUtime=102.26 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 15982 0 0 0 10197 29 0 0 25 0 1 0 133609850 57946112 13234 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 14147 13234 312 324 0 13216 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 56588 [startup+162.301 s] /proc/loadavg: 0.99 1.01 1.00 2/78 28191 /proc/meminfo: memFree=1694136/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=106316 CPUtime=162.24 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 28407 0 0 0 16178 46 0 0 25 0 1 0 133609850 108867584 25659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 26579 25659 312 324 0 25648 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106316 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1588088/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=209872 CPUtime=222.22 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 54314 0 0 0 22158 64 0 0 25 0 1 0 133609850 214908928 51566 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 52468 51566 312 324 0 51537 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 209872 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1531320/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=266684 CPUtime=282.2 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 68500 0 0 0 28143 77 0 0 25 0 1 0 133609850 273084416 65752 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 66671 65752 312 324 0 65740 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 266684 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1475832/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=321900 CPUtime=342.19 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 82329 0 0 0 34126 93 0 0 25 0 1 0 133609850 329625600 79581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 80475 79581 312 324 0 79544 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 321900 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1434296/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=363760 CPUtime=402.17 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 92798 0 0 0 40108 109 0 0 25 0 1 0 133609850 372490240 90050 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 90940 90050 312 324 0 90009 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 363760 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1397368/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=400044 CPUtime=462.16 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 101853 0 0 0 46098 118 0 0 25 0 1 0 133609850 409645056 99105 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 100011 99105 312 324 0 99080 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 400044 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1375352/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=422180 CPUtime=522.13 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 107400 0 0 0 52087 126 0 0 25 0 1 0 133609850 432312320 104652 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 105545 104652 312 324 0 104614 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 422180 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1354552/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=442620 CPUtime=582.11 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 112505 0 0 0 58078 133 0 0 25 0 1 0 133609850 453242880 109757 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 110655 109757 312 324 0 109724 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 442620 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1314360/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=482468 CPUtime=642.11 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 122479 0 0 0 64063 148 0 0 25 0 1 0 133609850 494047232 119731 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 120617 119731 312 324 0 119686 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 482468 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1135672/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=660776 CPUtime=882.03 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 167041 0 0 0 88001 202 0 0 25 0 1 0 133609850 676634624 164293 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 165194 164293 312 324 0 164263 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 660776 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 28191 /proc/meminfo: memFree=1095160/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=701452 CPUtime=942.02 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 177211 0 0 0 93990 212 0 0 25 0 1 0 133609850 718286848 174463 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8326576 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 175363 174463 312 324 0 174432 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 701452 [startup+1002.3 s] /proc/loadavg: 1.07 1.03 1.00 2/78 28191 /proc/meminfo: memFree=1061048/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=735168 CPUtime=1001.99 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 185650 0 0 0 99976 223 0 0 25 0 1 0 133609850 752812032 182902 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 183792 182902 312 324 0 182861 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 735168 [startup+1062.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 28191 /proc/meminfo: memFree=1028216/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=768232 CPUtime=1061.98 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 193919 0 0 0 105964 234 0 0 25 0 1 0 133609850 786669568 191171 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 192058 191171 312 324 0 191127 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 768232 [startup+1122.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 28191 /proc/meminfo: memFree=999160/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=796928 CPUtime=1121.96 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 201097 0 0 0 111951 245 0 0 25 0 1 0 133609850 816054272 198349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 199232 198349 312 324 0 198301 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 796928 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28191 /proc/meminfo: memFree=975096/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=821000 CPUtime=1181.94 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 207121 0 0 0 117938 256 0 0 25 0 1 0 133609850 840704000 204373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 205250 204373 312 324 0 204319 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 821000 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28191 /proc/meminfo: memFree=954296/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=841588 CPUtime=1241.92 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 212258 0 0 0 123927 265 0 0 25 0 1 0 133609850 861786112 209510 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 210397 209510 312 324 0 209466 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 841588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28191 /proc/meminfo: memFree=933240/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=862340 CPUtime=1301.91 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 217451 0 0 0 129918 273 0 0 25 0 1 0 133609850 883036160 214703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8328827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 215585 214703 312 324 0 214654 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 862340 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28191 /proc/meminfo: memFree=914040/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=881668 CPUtime=1361.89 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 222264 0 0 0 135908 281 0 0 25 0 1 0 133609850 902828032 219516 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 220417 219516 312 324 0 219486 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 881668 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28191 /proc/meminfo: memFree=893432/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=902032 CPUtime=1421.88 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 227365 0 0 0 141898 290 0 0 25 0 1 0 133609850 923680768 224617 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 225508 224617 312 324 0 224577 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 902032 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28191 /proc/meminfo: memFree=870200/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=925460 CPUtime=1481.85 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 233227 0 0 0 147878 307 0 0 25 0 1 0 133609850 947671040 230479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 231365 230479 312 324 0 230434 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 925460 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 28217 /proc/meminfo: memFree=847368/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=946696 CPUtime=1541.83 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 238522 0 0 0 153868 315 0 0 25 0 1 0 133609850 969416704 235774 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 236674 235774 312 324 0 235743 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 946696 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28389 /proc/meminfo: memFree=827448/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=967668 CPUtime=1601.73 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 243778 0 0 0 159850 323 0 0 25 0 1 0 133609850 990892032 241030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 241917 241030 312 324 0 240986 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 967668 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28389 /proc/meminfo: memFree=807992/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=986964 CPUtime=1661.72 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 248590 0 0 0 165840 332 0 0 25 0 1 0 133609850 1010651136 245842 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 246741 245842 312 324 0 245810 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 986964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28389 /proc/meminfo: memFree=789112/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=1005852 CPUtime=1721.69 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 253322 0 0 0 171829 340 0 0 25 0 1 0 133609850 1029992448 250574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 251463 250574 312 324 0 250532 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 1005852 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28389 /proc/meminfo: memFree=772856/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=1021936 CPUtime=1781.68 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194304 257339 0 0 0 177822 346 0 0 25 0 1 0 133609850 1046462464 254591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 255484 254591 312 324 0 254553 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1021936 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28389 /proc/meminfo: memFree=1141968/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=0 CPUtime=1800.08 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194308 258468 0 0 0 179654 354 0 0 25 0 1 0 133609850 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/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 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28389 /proc/meminfo: memFree=1141968/2055920 swapFree=4191880/4192956 [pid=28190] ppid=28188 vsize=0 CPUtime=1800.08 /proc/28190/stat : 28190 (bsolo3.0.16) R 28188 28190 28130 0 -1 4194308 258468 0 0 0 179654 354 0 0 25 0 1 0 133609850 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28190/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.18 CPU user time (s): 1796.54 CPU system time (s): 3.63845 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 1026420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.54 system time used= 3.63845 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258468 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= 36646 runsolver used 2.33364 second user time and 4.14037 second system time The end
Begin job on node5 on Sat Apr 14 18:35:22 UTC 2007 IDJOB= 348293 IDBENCH= 1648 IDSOLVER= 163 FILE ID= node5/348293-1176575722 PBS_JOBID= 4556782 Free space on /tmp= 66550 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-ship12s.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348293-1176575722/instance-348293-1176575722.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-348293-1176575722 -o ROOT/results/node5/solver-348293-1176575722 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348293-1176575722/instance-348293-1176575722.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= bde0c0fbe1d85bc08e3fa72426bea662 RANDOM SEED= 266074558 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1793616 kB Buffers: 32644 kB Cached: 125116 kB SwapCached: 408 kB Active: 164416 kB Inactive: 47696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1793616 kB SwapTotal: 4192956 kB SwapFree: 4191880 kB Dirty: 7908 kB Writeback: 0 kB Mapped: 70904 kB Slab: 35812 kB Committed_AS: 5517024 kB PageTables: 1720 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= 66550 MiB End job on node5 on Sat Apr 14 19:05:25 UTC 2007