Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.13 | 1800.77 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-bg512142.opb |
MD5SUM | 6816c7581e307ff85cc3550c4b71269a |
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 | 16800 |
Total number of constraints | 945 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 934 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 183 |
Number of terms in the objective function | 9600 |
Biggest coefficient in the objective function | 3638 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 533064 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 533064 |
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.01 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Time Limit set to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/348059-1176567643/instance-348059-1176567643.opb 0.00/0.01 c File size is 877645 bytes. 0.08/0.17 c Highest Coefficient sum: 533064 0.08/0.17 c Parsing was ok!! 0.08/0.17 c Total parsing time: 0.163 s 0.08/0.18 c Var: 16800 Constr: 1185 11/0/1174 Lit: 103310 Watch. Lit: 13510 0.08/0.18 c Obj. Vars: 9600 (57.1429 % of total variables) 0.59/0.60 c Pre-processing Time: 0.595 s 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 13541 1172 103172 88 68549 206344 0 0 0.59 0.59/0.60 c Switching off LPR mode. 1799.95/1800.64 c 100 13541 1272 108563 85 69002 226979 100 128 0.78 1799.95/1800.64 c 251 13541 1423 113081 79 69311 249677 251 269 0.93 1799.95/1800.64 c 476 13541 1648 120102 72 69761 274645 476 483 0.98 1799.95/1800.64 c 814 13541 1986 130665 65 70437 302110 814 773 1.05 1799.95/1800.64 c 1324 13541 2496 146868 58 71457 332322 1324 1129 1.17 1799.95/1800.64 c 2088 13541 3260 170695 52 72987 365555 2088 1593 1.31 1799.95/1800.64 c 3234 13541 4406 208497 47 75279 402111 3234 2145 1.51 1799.95/1800.64 c 4955 13541 6127 272039 44 78721 442323 4955 2706 1.83 1799.95/1800.64 c 7540 13541 8712 361654 41 83891 486556 7540 3088 2.44 1799.95/1800.64 c 11419 13541 12591 496023 39 91649 535212 11419 3413 3.35 1799.95/1800.64 c 17241 13541 18413 699031 37 103293 588734 17241 2757 6.25 1799.95/1800.64 c 25979 13541 27151 999065 36 120769 647608 25979 2266 11.46 1799.95/1800.64 c 39089 13541 40261 1428771 35 146989 712369 39089 1253 31.17 1799.95/1800.64 c 58759 13541 59931 2116446 35 186329 783606 58759 965 60.83 1799.95/1800.64 c 88269 13541 89441 4691381 52 258069 861967 88269 1022 86.31 1799.95/1800.64 c 132540 13541 133712 9362505 70 349144 948164 132540 777 170.51 1799.95/1800.64 c 198950 13540 200122 13759099 68 480965 500000 198950 784 253.70 1799.95/1800.64 c 298570 13540 299742 30503446 101 680103 550001 298570 387 771.03 1799.95/1800.64 c 448006 13540 449178 44634394 99 978425 605002 448006 386 1158.97 1799.95/1800.64 c Resources Exceeded 1799.95/1800.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.64 c 19 548414 56416 1218511 549586 52408831 548414 304 1800.00 1799.95/1800.64 s UNKNOWN 1799.95/1800.64 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node25/watcher-348059-1176567643 -o ROOT/results/node25/solver-348059-1176567643 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348059-1176567643/instance-348059-1176567643.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.92 0.98 1.10 3/64 27044 /proc/meminfo: memFree=1512840/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=3912 CPUtime=0 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 289 0 3 0 0 0 0 0 18 0 1 0 104681369 4005888 260 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134680758 0 0 4096 0 0 0 0 17 1 0 0 /proc/27044/statm: 4886 270 241 324 0 3955 0 [startup+0.0826271 s] /proc/loadavg: 0.92 0.98 1.10 3/64 27044 /proc/meminfo: memFree=1512840/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=6456 CPUtime=0.07 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 864 0 3 0 7 0 0 0 18 0 1 0 104681369 6610944 835 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 1614 835 374 324 0 468 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6456 [startup+0.10163 s] /proc/loadavg: 0.92 0.98 1.10 3/64 27044 /proc/meminfo: memFree=1512840/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=6728 CPUtime=0.08 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 965 0 3 0 8 0 0 0 18 0 1 0 104681369 6889472 936 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 1682 936 397 324 0 536 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6728 [startup+0.301664 s] /proc/loadavg: 0.92 0.98 1.10 3/64 27044 /proc/meminfo: memFree=1512840/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=9684 CPUtime=0.28 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 1975 0 3 0 27 1 0 0 19 0 1 0 104681369 9916416 1731 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 2421 1731 306 324 0 1490 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9684 [startup+0.701733 s] /proc/loadavg: 0.92 0.98 1.10 3/64 27044 /proc/meminfo: memFree=1512840/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=9836 CPUtime=0.69 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 2478 0 3 0 66 3 0 0 22 0 1 0 104681369 10072064 1788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 2459 1788 312 324 0 1528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9836 [startup+1.50187 s] /proc/loadavg: 0.92 0.98 1.10 2/65 27045 /proc/meminfo: memFree=1505856/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=11276 CPUtime=1.48 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 2838 0 3 0 143 5 0 0 25 0 1 0 104681369 11546624 2148 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 2819 2148 312 324 0 1888 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11276 [startup+3.10114 s] /proc/loadavg: 0.92 0.98 1.10 2/65 27045 /proc/meminfo: memFree=1502784/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=15424 CPUtime=3.08 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 3875 0 3 0 301 7 0 0 25 0 1 0 104681369 15794176 3185 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 3856 3185 312 324 0 2925 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15424 [startup+6.30269 s] /proc/loadavg: 0.93 0.98 1.10 2/65 27045 /proc/meminfo: memFree=1497344/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=19192 CPUtime=6.28 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 4810 0 3 0 620 8 0 0 25 0 1 0 104681369 19652608 4120 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 4798 4120 312 324 0 3867 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19192 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 1.10 2/65 27045 /proc/meminfo: memFree=1491776/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=24396 CPUtime=12.68 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 6128 0 3 0 1257 11 0 0 25 0 1 0 104681369 24981504 5438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 6099 5438 312 324 0 5168 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24396 [startup+25.502 s] /proc/loadavg: 0.95 0.98 1.10 2/65 27045 /proc/meminfo: memFree=1487488/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=28548 CPUtime=25.48 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 7165 0 3 0 2535 13 0 0 25 0 1 0 104681369 29233152 6475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 7137 6475 312 324 0 6206 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28548 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 1.09 2/65 27045 /proc/meminfo: memFree=1477568/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=38680 CPUtime=51.05 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 9682 0 3 0 5087 18 0 0 25 0 1 0 104681369 39608320 8992 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 9670 8992 312 324 0 8739 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 38680 [startup+102.305 s] /proc/loadavg: 0.98 0.98 1.09 2/65 27045 /proc/meminfo: memFree=1407232/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=108604 CPUtime=102.24 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 27180 0 3 0 10175 49 0 0 25 0 1 0 104681369 111210496 26490 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 27151 26490 312 324 0 26220 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 108604 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.08 2/65 27045 /proc/meminfo: memFree=1376000/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=139872 CPUtime=162.22 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 35006 0 3 0 16160 62 0 0 25 0 1 0 104681369 143228928 34316 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134571698 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 34968 34316 312 324 0 34037 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 139872 [startup+222.302 s] /proc/loadavg: 0.99 0.98 1.08 2/65 27045 /proc/meminfo: memFree=1341312/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=174348 CPUtime=222.2 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 43614 0 3 0 22144 76 0 0 25 0 1 0 104681369 178532352 42924 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 43587 42924 312 324 0 42656 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 174348 [startup+282.302 s] /proc/loadavg: 0.99 0.98 1.07 2/65 27045 /proc/meminfo: memFree=1265536/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=250912 CPUtime=282.18 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 62776 0 3 0 28115 103 0 0 25 0 1 0 104681369 256933888 62086 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 62728 62086 312 324 0 61797 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 250912 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.06 2/65 27045 /proc/meminfo: memFree=1223040/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=292456 CPUtime=342.16 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 73155 0 3 0 34100 116 0 0 25 0 1 0 104681369 299474944 72465 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 73114 72465 312 324 0 72183 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 292456 [startup+402.302 s] /proc/loadavg: 0.99 0.98 1.06 2/65 27045 /proc/meminfo: memFree=1187456/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=328420 CPUtime=402.14 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 82129 0 3 0 40086 128 0 0 25 0 1 0 104681369 336302080 81439 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10460916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 82105 81439 312 324 0 81174 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 328420 [startup+462.302 s] /proc/loadavg: 0.99 0.98 1.05 2/65 27045 /proc/meminfo: memFree=1164352/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=351072 CPUtime=462.11 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 87805 0 3 0 46074 137 0 0 25 0 1 0 104681369 359497728 87115 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 87768 87115 312 324 0 86837 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 351072 [startup+522.302 s] /proc/loadavg: 0.99 0.98 1.05 2/65 27045 /proc/meminfo: memFree=1145600/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=369936 CPUtime=522.1 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 92519 0 3 0 52065 145 0 0 25 0 1 0 104681369 378814464 91829 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 92484 91829 312 324 0 91553 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 369936 [startup+582.301 s] /proc/loadavg: 0.99 0.98 1.04 2/65 27045 /proc/meminfo: memFree=1126656/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=388608 CPUtime=582.08 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 97201 0 3 0 58057 151 0 0 25 0 1 0 104681369 397934592 96511 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 97152 96511 312 324 0 96221 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 388608 [startup+642.301 s] /proc/loadavg: 0.99 0.98 1.03 2/65 27045 /proc/meminfo: memFree=1109888/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=405344 CPUtime=642.05 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 101359 0 3 0 64049 156 0 0 25 0 1 0 104681369 415072256 100669 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 101336 100669 312 324 0 100405 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 405344 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 1.01 2/65 27045 /proc/meminfo: memFree=1015296/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=499828 CPUtime=881.97 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 124996 0 3 0 88000 197 0 0 25 0 1 0 104681369 511823872 124306 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 124957 124306 312 324 0 124026 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 499828 [startup+942.302 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27045 /proc/meminfo: memFree=998592/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=516604 CPUtime=941.95 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 129182 0 3 0 93990 205 0 0 25 0 1 0 104681369 529002496 128492 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 129151 128492 312 324 0 128220 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 516604 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=987072/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=527984 CPUtime=1001.93 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 132028 0 3 0 99982 211 0 0 25 0 1 0 104681369 540655616 131338 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 131996 131338 312 324 0 131065 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 527984 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=974656/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=540440 CPUtime=1061.91 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 135156 0 3 0 105974 217 0 0 25 0 1 0 104681369 553410560 134466 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 135110 134466 312 324 0 134179 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 540440 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=906048/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=609104 CPUtime=1121.89 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 152295 0 3 0 111950 239 0 0 25 0 1 0 104681369 623722496 151605 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134573416 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 152276 151605 312 324 0 151345 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 609104 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=868928/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=646208 CPUtime=1181.86 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 161583 0 3 0 117930 256 0 0 25 0 1 0 104681369 661716992 160893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 161552 160893 312 324 0 160621 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 646208 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=848640/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=666232 CPUtime=1241.85 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 166583 0 3 0 123919 266 0 0 25 0 1 0 104681369 682221568 165893 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 166558 165893 312 324 0 165627 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 666232 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=836672/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=678000 CPUtime=1301.83 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 169524 0 3 0 129910 273 0 0 25 0 1 0 104681369 694272000 168834 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 169500 168834 312 324 0 168569 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 678000 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=827968/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=686804 CPUtime=1361.8 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 171730 0 3 0 135903 277 0 0 25 0 1 0 104681369 703287296 171040 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 171701 171040 312 324 0 170770 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 686804 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=819328/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=695348 CPUtime=1421.79 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 173864 0 3 0 141896 283 0 0 25 0 1 0 104681369 712036352 173174 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 173837 173174 312 324 0 172906 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 695348 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=809664/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=705036 CPUtime=1481.76 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 176302 0 3 0 147889 287 0 0 25 0 1 0 104681369 721956864 175612 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 176259 175612 312 324 0 175328 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 705036 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=801536/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=713060 CPUtime=1541.74 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 178304 0 3 0 153883 291 0 0 25 0 1 0 104681369 730173440 177614 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 178265 177614 312 324 0 177334 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 713060 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=792512/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=722084 CPUtime=1601.72 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 180568 0 3 0 159875 297 0 0 25 0 1 0 104681369 739414016 179878 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 180521 179878 312 324 0 179590 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 722084 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=787712/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=726852 CPUtime=1661.69 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 181750 0 3 0 165870 299 0 0 25 0 1 0 104681369 744296448 181060 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 181713 181060 312 324 0 180782 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 726852 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=782976/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=731628 CPUtime=1721.68 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 182947 0 3 0 171865 303 0 0 25 0 1 0 104681369 749187072 182257 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 182907 182257 312 324 0 181976 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 731628 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=777920/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=736664 CPUtime=1781.65 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194304 184195 0 3 0 177859 306 0 0 25 0 1 0 104681369 754343936 183505 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 184166 183505 312 324 0 183235 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 736664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=1125532/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=0 CPUtime=1800.05 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194308 184554 0 3 0 179692 313 0 0 25 0 1 0 104681369 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 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: 0.99 0.98 1.00 2/65 27047 /proc/meminfo: memFree=1125532/2055920 swapFree=4192812/4192956 [pid=27044] ppid=27042 vsize=0 CPUtime=1800.05 /proc/27044/stat : 27044 (bsolo3.0.16) R 27042 27044 26724 0 -1 4194308 184554 0 3 0 179692 313 0 0 25 0 1 0 104681369 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27044/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.13 CPU user time (s): 1796.93 CPU system time (s): 3.19651 CPU usage (%): 99.9644 Max. virtual memory (cumulated for all children) (KiB): 738088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.93 system time used= 3.19651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 184554 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 3748 runsolver used 1.41179 second user time and 3.52846 second system time The end
Begin job on node25 on Sat Apr 14 16:20:43 UTC 2007 IDJOB= 348059 IDBENCH= 1612 IDSOLVER= 163 FILE ID= node25/348059-1176567643 PBS_JOBID= 4556879 Free space on /tmp= 66560 MiB SOLVER NAME= bsolo 3.0.16 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-bg512142.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348059-1176567643/instance-348059-1176567643.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node25/watcher-348059-1176567643 -o ROOT/results/node25/solver-348059-1176567643 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348059-1176567643/instance-348059-1176567643.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 6816c7581e307ff85cc3550c4b71269a RANDOM SEED= 567788905 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node25.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.261 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.261 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: 1513184 kB Buffers: 49148 kB Cached: 370548 kB SwapCached: 0 kB Active: 82076 kB Inactive: 354348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1513184 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 5240 kB Writeback: 0 kB Mapped: 26920 kB Slab: 92248 kB Committed_AS: 150180 kB PageTables: 1476 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= 66560 MiB End job on node25 on Sat Apr 14 16:50:46 UTC 2007