Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.15 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb |
MD5SUM | 8e9a545df4abbe3f7a2b003048b42200 |
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 | 103872 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 1116 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 555552 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 555552 |
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.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/432622-1177946414/instance-432622-1177946414.opb 0.00/0.00 c File size is 3389239 bytes. 1.19/1.22 c Highest Coefficient sum: 555552 1.19/1.22 c Parsing was ok!! 1.19/1.22 c Total parsing time: 1.222 s 1.19/1.27 c Var: 103872 Constr: 4560 0/0/4560 Lit: 416936 Watch. Lit: 89462 1.19/1.27 c Obj. Vars: 37632 (36.2292 % of total variables) 3.98/4.09 c Pre-processing Time: 4.092 s 3.98/4.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.10 c 0 64560 4560 416936 91 374974 833872 0 0 4.09 3.98/4.10 c Switching off LPR mode. 1800.04/1800.71 c 100 64560 4660 422305 90 375174 917260 100 22 4.47 1800.04/1800.71 c 255 64560 4815 427914 88 375484 500000 255 56 4.52 1800.04/1800.71 c 481 64560 5041 432070 85 375936 550001 481 102 4.69 1800.04/1800.71 c 821 64560 5381 457279 84 376616 605002 821 163 5.01 1800.04/1800.71 c 1331 64560 5891 472567 80 377636 665503 1331 260 5.11 1800.04/1800.71 c 2096 64560 6656 510654 76 379166 732054 2096 367 5.71 1800.04/1800.71 c 3242 64558 7802 581561 74 381457 805260 3242 533 6.08 1800.04/1800.71 c 4963 64558 9523 720990 75 384899 885787 4963 742 6.68 1800.04/1800.71 c 7547 64558 12107 832312 68 390067 974366 7547 1028 7.34 1800.04/1800.71 c 11427 64557 15987 964459 60 397826 500000 11427 1338 8.54 1800.04/1800.71 c 17249 64557 21809 1113369 51 409470 550001 17249 1652 10.44 1800.04/1800.71 c 25992 64557 30552 1705308 55 426956 605002 25992 1692 15.36 1800.04/1800.71 c 39102 64555 43662 2651494 60 453175 665503 39102 1713 22.82 1800.04/1800.71 c 58773 64554 63333 3349649 52 492516 732054 58773 1705 34.47 1800.04/1800.71 c 88284 64554 92844 6834220 73 551538 805260 88284 1387 63.61 1800.04/1800.71 c 132556 64554 137116 9989322 72 640082 885787 132556 1361 97.38 1800.04/1800.71 c 198967 64554 203527 16014768 78 772904 974366 198967 969 205.17 1800.04/1800.71 c 298588 64554 303148 23216637 76 972146 500000 298588 596 500.35 1800.04/1800.71 c Caught signal: 15 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 18 439577 41546 1306319 444137 42106382 439577 244 1800.05 1800.04/1800.71 s UNKNOWN 1800.04/1800.71 c Total time: 1800.05 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-432622-1177946414 -o ROOT/results/node13/solver-432622-1177946414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432622-1177946414/instance-432622-1177946414.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.94 0.97 0.91 3/77 10726 /proc/meminfo: memFree=1450448/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=15048 CPUtime=0 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242559258 15409152 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 3762 332 279 324 0 2004 0 [startup+0.072791 s] /proc/loadavg: 0.94 0.97 0.91 3/77 10726 /proc/meminfo: memFree=1450448/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=16212 CPUtime=0.06 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 703 0 0 0 6 0 0 0 18 0 1 0 242559258 16601088 673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 4053 673 323 324 0 2295 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 16212 [startup+0.101797 s] /proc/loadavg: 0.94 0.97 0.91 3/77 10726 /proc/meminfo: memFree=1450448/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=16988 CPUtime=0.09 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 912 0 0 0 9 0 0 0 18 0 1 0 242559258 17395712 842 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 4247 842 341 324 0 2489 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16988 [startup+0.30184 s] /proc/loadavg: 0.94 0.97 0.91 3/77 10726 /proc/meminfo: memFree=1450448/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=13212 CPUtime=0.29 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 2206 0 0 0 29 0 0 0 19 0 1 0 242559258 13529088 2008 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 3303 2009 469 324 0 1545 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13212 [startup+0.701924 s] /proc/loadavg: 0.94 0.97 0.91 3/77 10726 /proc/meminfo: memFree=1450448/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=15948 CPUtime=0.69 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 3156 0 0 0 68 1 0 0 23 0 1 0 242559258 16330752 2958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 3987 2958 745 324 0 2229 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15948 [startup+1.50109 s] /proc/loadavg: 0.94 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1437832/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=34132 CPUtime=1.49 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 8852 0 0 0 145 4 0 0 25 0 1 0 242559258 34951168 7498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 8533 7499 303 324 0 7603 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34132 [startup+3.10143 s] /proc/loadavg: 0.95 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1419848/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=41076 CPUtime=3.09 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 10794 0 0 0 298 11 0 0 25 0 1 0 242559258 42061824 9237 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 10269 9238 304 324 0 9339 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41076 [startup+6.30111 s] /proc/loadavg: 0.95 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1417800/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=39008 CPUtime=6.29 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 12294 0 0 0 613 16 0 0 25 0 1 0 242559258 39944192 8753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11996273 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 9752 8753 310 324 0 8822 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39008 [startup+12.7015 s] /proc/loadavg: 0.95 0.97 0.91 3/78 10727 /proc/meminfo: memFree=1404552/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=51792 CPUtime=12.69 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 15519 0 0 0 1251 18 0 0 25 0 1 0 242559258 53035008 11978 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 12948 11978 310 324 0 12018 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51792 [startup+25.5012 s] /proc/loadavg: 0.96 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1382664/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=72824 CPUtime=25.48 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 20776 0 0 0 2527 21 0 0 25 0 1 0 242559258 74571776 17235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 18206 17235 310 324 0 17276 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 72824 [startup+51.1016 s] /proc/loadavg: 0.97 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1348872/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=107440 CPUtime=51.07 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 29417 0 0 0 5080 27 0 0 25 0 1 0 242559258 110018560 25876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 26860 25876 310 324 0 25930 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 107440 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1268616/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=186700 CPUtime=102.26 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 49232 0 0 0 10186 40 0 0 25 0 1 0 242559258 191180800 45691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 46675 45691 310 324 0 45745 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 186700 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1243656/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=211608 CPUtime=162.23 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 55461 0 0 0 16174 49 0 0 25 0 1 0 242559258 216686592 51920 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 52902 51920 310 324 0 51972 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 211608 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1182024/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=272968 CPUtime=222.21 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 70818 0 0 0 22157 64 0 0 25 0 1 0 242559258 279519232 67277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 68242 67277 310 324 0 67312 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 272968 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1159048/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=296152 CPUtime=282.19 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 76619 0 0 0 28148 71 0 0 25 0 1 0 242559258 303259648 73078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 74038 73078 310 324 0 73108 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 296152 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1135880/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=318964 CPUtime=342.17 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 82312 0 0 0 34139 78 0 0 25 0 1 0 242559258 326619136 78771 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 79741 78771 310 324 0 78811 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 318964 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1115912/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=339124 CPUtime=402.14 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 87352 0 0 0 40130 84 0 0 25 0 1 0 242559258 347262976 83811 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 84781 83811 310 324 0 83851 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 339124 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1101896/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=352852 CPUtime=462.12 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 90796 0 0 0 46124 88 0 0 25 0 1 0 242559258 361320448 87255 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 88213 87255 310 324 0 87283 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 352852 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1065480/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=389828 CPUtime=522.1 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 100022 0 0 0 52113 97 0 0 25 0 1 0 242559258 399183872 96481 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 97457 96481 310 324 0 96527 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 389828 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1035080/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=419672 CPUtime=582.08 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 107478 0 0 0 58103 105 0 0 25 0 1 0 242559258 429744128 103937 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 104918 103937 310 324 0 103988 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 419672 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=1019080/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=435440 CPUtime=642.06 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 111433 0 0 0 64097 109 0 0 25 0 1 0 242559258 445890560 107892 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 108860 107892 310 324 0 107930 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 435440 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=968072/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=486364 CPUtime=881.97 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 124176 0 0 0 88073 124 0 0 25 0 1 0 242559258 498036736 120635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12310357 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 121591 120635 310 324 0 120661 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 486364 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=957192/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=497344 CPUtime=941.94 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 126914 0 0 0 94067 127 0 0 25 0 1 0 242559258 509280256 123373 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 124336 123373 310 324 0 123406 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 497344 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=947848/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=506504 CPUtime=1001.93 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 129204 0 0 0 100062 131 0 0 25 0 1 0 242559258 518660096 125663 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 126626 125663 310 324 0 125696 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 506504 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=936968/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=517484 CPUtime=1061.9 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 131957 0 0 0 106056 134 0 0 25 0 1 0 242559258 529903616 128416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 129371 128416 310 324 0 128441 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 517484 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=925512/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=528836 CPUtime=1121.88 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 134788 0 0 0 112049 139 0 0 25 0 1 0 242559258 541528064 131247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 132209 131247 310 324 0 131279 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 528836 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=915976/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=538496 CPUtime=1181.85 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 137192 0 0 0 118043 142 0 0 25 0 1 0 242559258 551419904 133651 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12310418 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 134624 133651 310 324 0 133694 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 538496 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10727 /proc/meminfo: memFree=907976/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=546356 CPUtime=1241.84 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 139172 0 0 0 124039 145 0 0 25 0 1 0 242559258 559468544 135631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 136589 135631 310 324 0 135659 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 546356 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=899400/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=554852 CPUtime=1301.82 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 141284 0 0 0 130034 148 0 0 25 0 1 0 242559258 568168448 137743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 138713 137743 310 324 0 137783 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 554852 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=892232/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=562072 CPUtime=1361.79 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 143103 0 0 0 136029 150 0 0 25 0 1 0 242559258 575561728 139562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 140518 139562 310 324 0 139588 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 562072 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=884424/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=569940 CPUtime=1421.77 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 145045 0 0 0 142025 152 0 0 25 0 1 0 242559258 583618560 141504 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 142485 141504 310 324 0 141555 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 569940 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=875464/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=578968 CPUtime=1481.75 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 147317 0 0 0 148020 155 0 0 25 0 1 0 242559258 592863232 143776 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 144742 143776 310 324 0 143812 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 578968 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=865672/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=588652 CPUtime=1541.73 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 149727 0 0 0 154015 158 0 0 25 0 1 0 242559258 602779648 146186 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 147163 146186 310 324 0 146233 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 588652 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=859208/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=595208 CPUtime=1601.7 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 151363 0 0 0 160011 159 0 0 25 0 1 0 242559258 609492992 147822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 148802 147822 310 324 0 147872 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 595208 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=850888/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=603472 CPUtime=1661.69 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 153428 0 0 0 166007 162 0 0 25 0 1 0 242559258 617955328 149887 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 150868 149887 310 324 0 149938 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 603472 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=843656/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=610696 CPUtime=1721.66 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 155250 0 0 0 172002 164 0 0 25 0 1 0 242559258 625352704 151709 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 152674 151709 310 324 0 151744 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 610696 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=837384/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=616904 CPUtime=1781.65 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 156789 0 0 0 177998 167 0 0 25 0 1 0 242559258 631709696 153248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 154226 153248 310 324 0 153296 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 616904 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=836168/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=618064 CPUtime=1800.04 /proc/10726/stat : 10726 (bsolo3.0.17) R 10724 10726 10317 0 -1 4194304 157091 0 0 0 179837 167 0 0 25 0 1 0 242559258 632897536 153550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10726/statm: 154516 153550 310 324 0 153586 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 618064 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.91 2/78 10729 /proc/meminfo: memFree=836168/2055920 swapFree=4159412/4192956 [pid=10726] ppid=10724 vsize=0 CPUtime=1800.13 /proc/10726/stat : 10726 (bsolo3.0.17) D 10724 10726 10317 0 -1 4194308 157095 0 0 0 179837 176 0 0 24 0 1 0 242559258 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 0 0 0 /proc/10726/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.81 CPU time (s): 1800.15 CPU user time (s): 1798.38 CPU system time (s): 1.76973 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 618064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.38 system time used= 1.76973 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157095 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= 37159 runsolver used 1.37579 second user time and 3.9124 second system time The end
Begin job on node13 on Mon Apr 30 15:20:14 UTC 2007 IDJOB= 432622 IDBENCH= 1620 IDSOLVER= 199 FILE ID= node13/432622-1177946414 PBS_JOBID= 4727829 Free space on /tmp= 66555 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432622-1177946414/instance-432622-1177946414.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-432622-1177946414 -o ROOT/results/node13/solver-432622-1177946414 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432622-1177946414/instance-432622-1177946414.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8e9a545df4abbe3f7a2b003048b42200 RANDOM SEED= 723881161 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1450856 kB Buffers: 45976 kB Cached: 468988 kB SwapCached: 12852 kB Active: 368824 kB Inactive: 170272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1450856 kB SwapTotal: 4192956 kB SwapFree: 4159412 kB Dirty: 9916 kB Writeback: 0 kB Mapped: 31028 kB Slab: 51408 kB Committed_AS: 6962340 kB PageTables: 1876 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 node13 on Mon Apr 30 15:50:17 UTC 2007