Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.11 | 1800.81 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb |
MD5SUM | bb02029eb777c2a6ae8e192b29bcb9de |
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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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/433189-1177956088/instance-433189-1177956088.opb 0.00/0.00 c File size is 4779190 bytes. 0.00/0.09 c Coefficients are big enough for not using lower bounding. 0.79/0.82 c Highest Coefficient sum: 2.99075e+14 0.79/0.82 c Parsing was ok!! 0.79/0.82 c Total parsing time: 0.82 s 0.79/0.87 c Var: 107808 Constr: 5184 0/0/5184 Lit: 434720 Watch. Lit: 103488 0.79/0.87 c Obj. Vars: 38688 (35.886 % of total variables) 2.69/2.76 c Pre-processing Time: 2.752 s 1800.00/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.00/1800.71 c 0 63376 5184 430832 83 379302 861664 0 0 2.75 1800.00/1800.71 c 101 63376 5285 443684 83 381932 947831 101 34 2.90 1800.00/1800.71 c 252 63376 5436 451662 83 382176 500000 252 83 3.02 1800.00/1800.71 c 477 63376 5661 475203 83 382559 550001 477 152 3.12 1800.00/1800.71 c 817 63376 6001 501239 83 383249 605002 817 255 3.19 1800.00/1800.71 c 1325 63376 6509 555337 85 384387 665503 1325 401 3.30 1800.00/1800.71 c 2090 63375 7274 602986 82 386462 732054 2090 592 3.53 1800.00/1800.71 c 3236 63375 8420 661542 78 388777 805260 3236 867 3.73 1800.00/1800.71 c 4958 63375 10142 765146 75 392253 885787 4958 1219 4.07 1800.00/1800.71 c 7543 63374 12727 909766 71 397322 974366 7543 1521 4.96 1800.00/1800.71 c 11422 63373 16606 1110580 66 404457 500000 11422 1779 6.42 1800.00/1800.71 c 17244 63373 22428 1623734 72 416231 550001 17244 1649 10.46 1800.00/1800.71 c 25982 63373 31166 2396390 76 434182 605002 25982 1978 13.13 1800.00/1800.71 c 39093 63373 44277 3318408 74 460003 665503 39093 1931 20.24 1800.00/1800.71 c 58763 63373 63947 4558352 71 499749 732054 58763 1917 30.65 1800.00/1800.71 c 88275 63373 93459 6141816 65 558723 805260 88275 1912 46.15 1800.00/1800.71 c 132545 63373 137729 10101458 73 647406 885787 132545 1329 99.73 1800.00/1800.71 c 198955 63373 204139 14465021 70 780911 974366 198955 1467 135.56 1800.00/1800.71 c 298575 63373 303759 21323957 70 980321 500000 298575 367 813.07 1800.00/1800.71 c Caught signal: 15 1800.00/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.00/1800.71 c 18 428584 30392 2421301 433768 41708422 428584 238 1800.01 1800.00/1800.71 s UNKNOWN 1800.00/1800.71 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-433189-1177956088 -o ROOT/results/node40/solver-433189-1177956088 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433189-1177956088/instance-433189-1177956088.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.72 0.92 0.92 3/83 10812 /proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=16404 CPUtime=0 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 124488464 16797696 336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 4101 336 280 324 0 2004 0 [startup+0.102236 s] /proc/loadavg: 0.72 0.92 0.92 3/83 10812 /proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=20140 CPUtime=0.09 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 1525 0 0 0 9 0 0 0 18 0 1 0 124488464 20623360 1376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 5035 1376 442 324 0 2938 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20140 [startup+0.201257 s] /proc/loadavg: 0.72 0.92 0.92 3/83 10812 /proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=14868 CPUtime=0.19 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 2382 0 0 0 18 1 0 0 18 0 1 0 124488464 15224832 2184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 3717 2185 580 324 0 1620 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14868 [startup+0.301276 s] /proc/loadavg: 0.72 0.92 0.92 3/83 10812 /proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=15912 CPUtime=0.29 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 2776 0 0 0 28 1 0 0 19 0 1 0 124488464 16293888 2578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 3978 2578 712 324 0 1881 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15912 [startup+0.701361 s] /proc/loadavg: 0.72 0.92 0.92 3/83 10812 /proc/meminfo: memFree=1826416/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=22020 CPUtime=0.69 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 4998 0 0 0 68 1 0 0 23 0 1 0 124488464 22548480 4546 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 5505 4546 1255 324 0 3408 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 22020 [startup+1.50253 s] /proc/loadavg: 0.74 0.92 0.92 3/84 10813 /proc/meminfo: memFree=1795432/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=36696 CPUtime=1.49 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 9828 0 0 0 143 6 0 0 25 0 1 0 124488464 37576704 8133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 9174 8133 304 324 0 8244 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36696 [startup+3.10186 s] /proc/loadavg: 0.74 0.92 0.92 2/84 10813 /proc/meminfo: memFree=1788456/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=41424 CPUtime=3.08 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 12066 0 0 0 294 14 0 0 25 0 1 0 124488464 42418176 9316 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 10356 9316 310 324 0 9426 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 41424 [startup+6.30253 s] /proc/loadavg: 0.76 0.92 0.92 2/84 10821 /proc/meminfo: memFree=1786664/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=46544 CPUtime=6.28 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 13351 0 0 0 613 15 0 0 25 0 1 0 124488464 47661056 10601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 11636 10601 310 324 0 10706 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 46544 [startup+12.7019 s] /proc/loadavg: 0.78 0.93 0.92 2/84 10827 /proc/meminfo: memFree=1770920/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=63168 CPUtime=12.68 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 17530 0 0 0 1251 17 0 0 25 0 1 0 124488464 64684032 14780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551189 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 15792 14780 310 324 0 14862 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 63168 [startup+25.5015 s] /proc/loadavg: 0.81 0.93 0.92 2/84 10835 /proc/meminfo: memFree=1742760/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=89144 CPUtime=25.47 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 24004 0 0 0 2527 20 0 0 25 0 1 0 124488464 91283456 21254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 22286 21254 310 324 0 21356 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 89144 [startup+51.1019 s] /proc/loadavg: 0.88 0.93 0.92 2/78 10855 /proc/meminfo: memFree=1706024/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=128104 CPUtime=51.03 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 33755 0 0 0 5078 25 0 0 25 0 1 0 124488464 131178496 31005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 32026 31005 310 324 0 31096 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 128104 [startup+102.302 s] /proc/loadavg: 0.95 0.94 0.92 2/78 10855 /proc/meminfo: memFree=1655528/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=177008 CPUtime=102.22 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 45978 0 0 0 10188 34 0 0 25 0 1 0 124488464 181256192 43228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 44252 43228 310 324 0 43322 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 177008 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.92 2/78 10855 /proc/meminfo: memFree=1568744/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=263624 CPUtime=162.19 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 67667 0 0 0 16171 48 0 0 25 0 1 0 124488464 269950976 64917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 65906 64917 310 324 0 64976 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 263624 [startup+222.306 s] /proc/loadavg: 0.99 0.95 0.92 2/78 10855 /proc/meminfo: memFree=1551272/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=280924 CPUtime=222.17 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 71984 0 0 0 22164 53 0 0 25 0 1 0 124488464 287666176 69234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 70231 69234 310 324 0 69301 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 280924 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.92 2/78 10855 /proc/meminfo: memFree=1537384/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=294876 CPUtime=282.14 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 75473 0 0 0 28155 59 0 0 25 0 1 0 124488464 301953024 72723 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 73719 72723 310 324 0 72789 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 294876 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1527144/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=304936 CPUtime=342.12 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 77997 0 0 0 34149 63 0 0 25 0 1 0 124488464 312254464 75247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551424 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 76234 75247 310 324 0 75304 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 304936 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1519464/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=312688 CPUtime=402.1 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 79922 0 0 0 40144 66 0 0 25 0 1 0 124488464 320192512 77172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 78172 77172 310 324 0 77242 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 312688 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1513896/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=318248 CPUtime=462.08 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 81314 0 0 0 46140 68 0 0 25 0 1 0 124488464 325885952 78564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 79562 78564 310 324 0 78632 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 318248 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1510248/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=322008 CPUtime=522.06 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 82242 0 0 0 52136 70 0 0 25 0 1 0 124488464 329736192 79492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 80502 79492 310 324 0 79572 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 322008 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1506664/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=325500 CPUtime=582.03 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 83124 0 0 0 58132 71 0 0 25 0 1 0 124488464 333312000 80374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 81375 80374 310 324 0 80445 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 325500 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1503464/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=328720 CPUtime=642.02 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 83942 0 0 0 64129 73 0 0 25 0 1 0 124488464 336609280 81192 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 82180 81192 310 324 0 81250 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 328720 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1478248/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=355292 CPUtime=821.95 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 90577 0 0 0 82117 78 0 0 25 0 1 0 124488464 363819008 87827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 88823 87827 310 324 0 87893 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 355292 [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1433704/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=398280 CPUtime=881.93 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 101321 0 0 0 88103 90 0 0 25 0 1 0 124488464 407838720 98571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343847 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 99570 98571 310 324 0 98640 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 398280 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10855 /proc/meminfo: memFree=1406248/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=425904 CPUtime=941.91 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 108224 0 0 0 94093 98 0 0 25 0 1 0 124488464 436125696 105474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 106476 105474 310 324 0 105546 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 425904 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1382120/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=449780 CPUtime=1001.89 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 114188 0 0 0 100085 104 0 0 25 0 1 0 124488464 460574720 111438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 112445 111438 310 324 0 111515 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 449780 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1362792/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=469140 CPUtime=1061.86 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 119033 0 0 0 106077 109 0 0 25 0 1 0 124488464 480399360 116283 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 117285 116283 310 324 0 116355 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 469140 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1345320/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=486428 CPUtime=1121.84 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 123365 0 0 0 112070 114 0 0 25 0 1 0 124488464 498102272 120615 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 121607 120615 310 324 0 120677 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 486428 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1330024/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=501752 CPUtime=1181.82 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 127203 0 0 0 118064 118 0 0 25 0 1 0 124488464 513794048 124453 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 125438 124453 310 324 0 124508 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 501752 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1317096/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=514640 CPUtime=1241.8 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 130404 0 0 0 124059 121 0 0 25 0 1 0 124488464 526991360 127654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 128660 127654 310 324 0 127730 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 514640 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1301800/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=530016 CPUtime=1301.77 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 134256 0 0 0 130052 125 0 0 25 0 1 0 124488464 542736384 131506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7343853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 132504 131506 310 324 0 131574 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 530016 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1289832/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=541784 CPUtime=1361.76 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 137207 0 0 0 136047 129 0 0 25 0 1 0 124488464 554786816 134457 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 135446 134457 310 324 0 134516 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 541784 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1278184/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=553268 CPUtime=1421.74 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 140079 0 0 0 142042 132 0 0 25 0 1 0 124488464 566546432 137329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 138317 137329 310 324 0 137387 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 553268 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1265256/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=566292 CPUtime=1481.71 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 143334 0 0 0 148036 135 0 0 25 0 1 0 124488464 579883008 140584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 141573 140584 310 324 0 140643 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 566292 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1255720/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=575836 CPUtime=1541.69 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 145707 0 0 0 154032 137 0 0 25 0 1 0 124488464 589656064 142957 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 143959 142957 310 324 0 143029 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 575836 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1247144/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=584356 CPUtime=1601.66 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 147846 0 0 0 160027 139 0 0 25 0 1 0 124488464 598380544 145096 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 146089 145096 310 324 0 145159 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 584356 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1238696/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=592864 CPUtime=1661.65 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 149957 0 0 0 166022 143 0 0 25 0 1 0 124488464 607092736 147207 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 148216 147207 310 324 0 147286 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 592864 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1230632/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=600856 CPUtime=1721.63 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 151979 0 0 0 172017 146 0 0 25 0 1 0 124488464 615276544 149229 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 150214 149229 310 324 0 149284 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 600856 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1222824/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=608616 CPUtime=1781.61 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 153899 0 0 0 178013 148 0 0 25 0 1 0 124488464 623222784 151149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 152154 151149 310 324 0 151224 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 608616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 0.99 0.97 0.92 2/78 10857 /proc/meminfo: memFree=1220584/2055920 swapFree=4157456/4192956 [pid=10812] ppid=10810 vsize=610676 CPUtime=1800 /proc/10812/stat : 10812 (bsolo3.0.17) R 10810 10812 10661 0 -1 4194304 154438 0 0 0 179852 148 0 0 25 0 1 0 124488464 625332224 151688 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10812/statm: 152669 151688 310 324 0 151739 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 610676 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.81 CPU time (s): 1800.11 CPU user time (s): 1798.53 CPU system time (s): 1.58276 CPU usage (%): 99.9614 Max. virtual memory (cumulated for all children) (KiB): 610676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.53 system time used= 1.58276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154442 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= 39007 runsolver used 1.40878 second user time and 3.83542 second system time The end
Begin job on node40 on Mon Apr 30 18:01:29 UTC 2007 IDJOB= 433189 IDBENCH= 2342 IDSOLVER= 199 FILE ID= node40/433189-1177956088 PBS_JOBID= 4727734 Free space on /tmp= 66533 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433189-1177956088/instance-433189-1177956088.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-433189-1177956088 -o ROOT/results/node40/solver-433189-1177956088 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433189-1177956088/instance-433189-1177956088.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= bb02029eb777c2a6ae8e192b29bcb9de RANDOM SEED= 581387554 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1826824 kB Buffers: 36708 kB Cached: 103912 kB SwapCached: 15168 kB Active: 69228 kB Inactive: 94892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826824 kB SwapTotal: 4192956 kB SwapFree: 4157456 kB Dirty: 11552 kB Writeback: 0 kB Mapped: 31060 kB Slab: 49980 kB Committed_AS: 1150268 kB PageTables: 2168 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= 66533 MiB End job on node40 on Mon Apr 30 18:31:32 UTC 2007