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/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb |
MD5SUM | 08c9d2f9c7022678189ff579f66c642f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.89841 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2976 |
Total number of constraints | 116 |
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 | 116 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 360 |
Number of terms in the objective function | 2976 |
Biggest coefficient in the objective function | 6132 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 526551 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526551 |
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/432570-1177945464/instance-432570-1177945464.opb 0.00/0.00 c File size is 113062 bytes. 0.00/0.02 c Highest Coefficient sum: 526551 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.021 s 0.00/0.02 c Var: 2976 Constr: 136 9/0/127 Lit: 14496 Watch. Lit: 8776 0.00/0.02 c Obj. Vars: 2976 (100 % of total variables) 0.19/0.30 c Pre-processing Time: 0.295 s 0.34/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.34/0.52 c 0 1483 136 14496 106 8798 23954 0 0 0.29 0.34/0.52 c Initial Lower Bound: 9223372036854775807 0.34/0.52 c Initial Path Cost: 0 1800.04/1800.71 c 100 1483 236 27798 117 9000 26350 100 261 0.38 1800.04/1800.71 c 259 1483 395 49139 124 9318 28986 259 628 0.41 1800.04/1800.71 c 484 1483 620 80155 129 9768 31885 484 995 0.49 1800.04/1800.71 c 822 1483 958 118669 123 10444 35074 822 1332 0.62 1800.04/1800.71 c 1330 1483 1466 188559 128 11458 38582 1330 1572 0.85 1800.04/1800.71 c 2093 1483 2229 288865 129 12984 42441 2093 1827 1.15 1800.04/1800.71 c 3239 1483 3375 603273 178 15276 46686 3239 1888 1.72 1800.04/1800.71 c 4961 1483 5097 1001268 196 18722 51355 4961 1727 2.87 1800.04/1800.71 c 7545 1483 7681 1480825 192 23890 56491 7545 1496 5.04 1800.04/1800.71 c 11424 1483 11560 2368705 204 31648 62141 11424 1328 8.60 1800.04/1800.71 c 17248 1483 17384 4723646 271 43296 68356 17248 838 20.57 1800.04/1800.71 c 25985 1483 26121 7674937 293 60770 75192 25985 624 41.63 1800.04/1800.71 c 39095 1483 39231 11719996 298 86990 82712 39095 426 91.69 1800.04/1800.71 c 58765 1483 58901 17625651 299 126330 90984 58765 394 148.85 1800.04/1800.71 c 88275 1483 88411 27616364 312 185350 100083 88275 302 291.87 1800.04/1800.71 c 132546 1483 46913 16461753 350 102354 110092 46777 230 575.98 1800.04/1800.71 c 198956 1483 17706 5668719 320 43940 121102 17570 181 1098.82 1800.04/1800.71 c 298576 1483 117326 40421302 344 243180 133213 117190 194 1536.32 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 319239 150128 2060170 19296 5907537 19160 177 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/node54/watcher-432570-1177945464 -o ROOT/results/node54/solver-432570-1177945464 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432570-1177945464/instance-432570-1177945464.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.84 0.94 0.90 3/66 27485 /proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=11848 CPUtime=0 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 241920925 12132352 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 2962 336 279 324 0 2004 0 [startup+0.0604949 s] /proc/loadavg: 0.84 0.94 0.90 3/66 27485 /proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=4756 CPUtime=0.05 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 623 0 0 0 5 0 0 0 18 0 1 0 241920925 4870144 565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 1189 565 303 324 0 259 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4756 [startup+0.101499 s] /proc/loadavg: 0.84 0.94 0.90 3/66 27485 /proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=4756 CPUtime=0.09 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 623 0 0 0 9 0 0 0 18 0 1 0 241920925 4870144 565 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 1189 565 303 324 0 259 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4756 [startup+0.301524 s] /proc/loadavg: 0.84 0.94 0.90 3/66 27485 /proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=4872 CPUtime=0.29 /proc/27485/stat : 27485 (bsolo3.0.17) D 27483 27485 26829 0 -1 4194304 667 0 0 0 29 0 0 0 19 0 1 0 241920925 4988928 605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160369710 0 0 4096 16384 18446744071563479169 0 0 17 1 0 0 /proc/27485/statm: 1218 605 310 324 0 288 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4872 [startup+0.701575 s] /proc/loadavg: 0.84 0.94 0.90 3/66 27485 /proc/meminfo: memFree=1707648/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=6716 CPUtime=0.53 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 6367 0 2 0 52 1 0 0 19 0 1 0 241920925 6877184 1125 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 1679 1126 393 324 0 749 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 6716 [startup+1.50168 s] /proc/loadavg: 0.85 0.94 0.90 2/67 27486 /proc/meminfo: memFree=1702968/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=10572 CPUtime=1.34 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 7343 0 2 0 132 2 0 0 25 0 1 0 241920925 10825728 2101 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2254459 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 2643 2101 393 324 0 1713 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 10572 [startup+3.10188 s] /proc/loadavg: 0.85 0.94 0.90 2/67 27486 /proc/meminfo: memFree=1696056/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=18668 CPUtime=2.94 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 9377 0 2 0 291 3 0 0 25 0 1 0 241920925 19116032 4135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 4667 4135 393 324 0 3737 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 18668 [startup+6.30128 s] /proc/loadavg: 0.85 0.94 0.90 2/67 27486 /proc/meminfo: memFree=1684792/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=28912 CPUtime=6.14 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 11913 0 2 0 609 5 0 0 25 0 1 0 241920925 29605888 6671 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 7228 6671 393 324 0 6298 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 28912 [startup+12.7011 s] /proc/loadavg: 0.88 0.94 0.90 2/67 27486 /proc/meminfo: memFree=1661176/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=52988 CPUtime=12.53 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 17933 0 2 0 1245 8 0 0 25 0 1 0 241920925 54259712 12691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 13247 12691 393 324 0 12317 0 Current children cumulated CPU time (s) 12.53 Current children cumulated vsize (KiB) 52988 [startup+25.5017 s] /proc/loadavg: 0.89 0.94 0.90 2/67 27486 /proc/meminfo: memFree=1632632/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=78060 CPUtime=25.33 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 24222 0 2 0 2521 12 0 0 25 0 1 0 241920925 79933440 18980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 19515 18980 393 324 0 18585 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 78060 [startup+51.102 s] /proc/loadavg: 0.93 0.94 0.90 2/67 27486 /proc/meminfo: memFree=1591992/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=120048 CPUtime=50.92 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 34705 0 2 0 5073 19 0 0 25 0 1 0 241920925 122929152 29463 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 30012 29463 393 324 0 29082 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (KiB) 120048 [startup+102.305 s] /proc/loadavg: 0.97 0.95 0.91 2/67 27486 /proc/meminfo: memFree=1536952/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=173644 CPUtime=102.11 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 48113 0 2 0 10183 28 0 0 25 0 1 0 241920925 177811456 42871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 43411 42871 393 324 0 42481 0 Current children cumulated CPU time (s) 102.11 Current children cumulated vsize (KiB) 173644 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.91 2/67 27486 /proc/meminfo: memFree=1456376/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=255184 CPUtime=162.09 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 68495 0 2 0 16168 41 0 0 25 0 1 0 241920925 261308416 63253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 63796 63253 393 324 0 62866 0 Current children cumulated CPU time (s) 162.09 Current children cumulated vsize (KiB) 255184 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.91 2/67 27486 /proc/meminfo: memFree=1399096/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=311208 CPUtime=222.07 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 82496 0 2 0 22156 51 0 0 25 0 1 0 241920925 318676992 77254 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 77802 77254 393 324 0 76872 0 Current children cumulated CPU time (s) 222.07 Current children cumulated vsize (KiB) 311208 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27486 /proc/meminfo: memFree=1351544/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=359080 CPUtime=282.05 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 94463 0 2 0 28146 59 0 0 25 0 1 0 241920925 367697920 89221 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 89770 89221 393 324 0 88840 0 Current children cumulated CPU time (s) 282.05 Current children cumulated vsize (KiB) 359080 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27486 /proc/meminfo: memFree=1298936/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=411196 CPUtime=342.03 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 107501 0 2 0 34137 66 0 0 25 0 1 0 241920925 421064704 102259 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 102799 102259 393 324 0 101869 0 Current children cumulated CPU time (s) 342.03 Current children cumulated vsize (KiB) 411196 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27486 /proc/meminfo: memFree=1263736/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=446360 CPUtime=402.02 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 116282 0 2 0 40129 73 0 0 25 0 1 0 241920925 457072640 111040 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 111590 111040 393 324 0 110660 0 Current children cumulated CPU time (s) 402.02 Current children cumulated vsize (KiB) 446360 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1257784/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=451904 CPUtime=462 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 46126 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 112976 112419 393 324 0 112046 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 451904 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=451904 CPUtime=521.99 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 52125 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 112976 112419 393 324 0 112046 0 Current children cumulated CPU time (s) 521.99 Current children cumulated vsize (KiB) 451904 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=451904 CPUtime=581.97 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 58123 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 112976 112419 393 324 0 112046 0 Current children cumulated CPU time (s) 581.97 Current children cumulated vsize (KiB) 451904 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=451904 CPUtime=641.95 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 64121 74 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 112976 112419 393 324 0 112046 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 451904 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1257784/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=451904 CPUtime=881.89 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 88114 75 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 112976 112419 393 324 0 112046 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 451904 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=451904 CPUtime=941.87 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117761 0 2 0 94112 75 0 0 25 0 1 0 241920925 462749696 112419 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 112976 112419 393 324 0 112046 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 451904 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1257848/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=451916 CPUtime=1001.85 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 117764 0 2 0 100110 75 0 0 25 0 1 0 241920925 462761984 112422 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 112979 112422 393 324 0 112049 0 Current children cumulated CPU time (s) 1001.85 Current children cumulated vsize (KiB) 451916 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1236536/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=473648 CPUtime=1061.84 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 123192 0 2 0 106104 80 0 0 25 0 1 0 241920925 485015552 117850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 118412 117850 393 324 0 117482 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 473648 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1223736/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=485672 CPUtime=1121.82 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 112099 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 121418 120885 393 324 0 120488 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 485672 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1223800/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=485672 CPUtime=1181.8 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 118097 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 121418 120885 393 324 0 120488 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 485672 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1223864/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=485672 CPUtime=1241.79 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 124096 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2253715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 121418 120885 393 324 0 120488 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 485672 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1223928/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=485672 CPUtime=1301.78 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 130095 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 121418 120885 393 324 0 120488 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 485672 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1223928/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=485672 CPUtime=1361.75 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 136092 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 121418 120885 393 324 0 120488 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 485672 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1223864/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=485672 CPUtime=1421.74 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 142091 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 121418 120885 393 324 0 120488 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 485672 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1223864/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=485672 CPUtime=1481.72 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 126338 0 2 0 148089 83 0 0 25 0 1 0 241920925 497328128 120885 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 121418 120885 393 324 0 120488 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 485672 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1172664/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=536992 CPUtime=1541.7 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 139167 0 2 0 154080 90 0 0 25 0 1 0 241920925 549879808 133714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 134248 133714 393 324 0 133318 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 536992 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1153336/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=556408 CPUtime=1601.68 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 144007 0 2 0 160074 94 0 0 25 0 1 0 241920925 569761792 138554 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 139102 138554 393 324 0 138172 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 556408 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1133496/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=575912 CPUtime=1661.67 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 148898 0 2 0 166068 99 0 0 25 0 1 0 241920925 589733888 143445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 143978 143445 393 324 0 143048 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 575912 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1117304/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=592316 CPUtime=1721.66 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 152969 0 2 0 172063 103 0 0 25 0 1 0 241920925 606531584 147516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 148079 147516 393 324 0 147149 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 592316 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1099256/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=609500 CPUtime=1781.63 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 157416 0 2 0 178057 106 0 0 25 0 1 0 241920925 624128000 151830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 152375 151830 393 324 0 151445 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 609500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.91 2/67 27488 /proc/meminfo: memFree=1099640/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=609500 CPUtime=1800.04 /proc/27485/stat : 27485 (bsolo3.0.17) R 27483 27485 26829 0 -1 4194304 157416 0 2 0 179898 106 0 0 25 0 1 0 241920925 624128000 151830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27485/statm: 152375 151830 393 324 0 151445 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 609500 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/67 27488 /proc/meminfo: memFree=1099640/2055920 swapFree=4182164/4192956 [pid=27485] ppid=27483 vsize=0 CPUtime=1800.14 /proc/27485/stat : 27485 (bsolo3.0.17) D 27483 27485 26829 0 -1 4194308 157419 0 2 0 179898 116 0 0 24 0 1 0 241920925 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 16384 18446744072099863542 0 0 17 0 0 0 /proc/27485/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.81 CPU time (s): 1800.15 CPU user time (s): 1798.98 CPU system time (s): 1.16482 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 610032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.98 system time used= 1.16482 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157419 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 4159 runsolver used 1.68274 second user time and 4.87726 second system time The end
Begin job on node54 on Mon Apr 30 15:04:24 UTC 2007 IDJOB= 432570 IDBENCH= 1567 IDSOLVER= 199 FILE ID= node54/432570-1177945464 PBS_JOBID= 4727543 Free space on /tmp= 66558 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/fctp/normalized-reduced-mps-v2-20-10-bal8x12.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432570-1177945464/instance-432570-1177945464.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-432570-1177945464 -o ROOT/results/node54/solver-432570-1177945464 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432570-1177945464/instance-432570-1177945464.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 08c9d2f9c7022678189ff579f66c642f RANDOM SEED= 66397736 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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: 1707992 kB Buffers: 29564 kB Cached: 237968 kB SwapCached: 3992 kB Active: 142724 kB Inactive: 135044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1707992 kB SwapTotal: 4192956 kB SwapFree: 4182164 kB Dirty: 6820 kB Writeback: 0 kB Mapped: 16184 kB Slab: 56020 kB Committed_AS: 2413832 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node54 on Mon Apr 30 15:34:27 UTC 2007