Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.26 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb |
MD5SUM | ea0578ce3fa6d7f101be81096fa267e7 |
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 | 12.977 |
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 | 8060 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 8060 |
Biggest coefficient in the objective function | 1760 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530127 |
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 | 530127 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/362393-1177011759/instance-362393-1177011759.opb 0.00/0.00 c File size is 310794 bytes. 0.05/0.06 c Highest Coefficient sum: 530127 0.05/0.06 c Parsing was ok!! 0.05/0.06 c Total parsing time: 0.058 s 0.05/0.06 c Var: 8060 Constr: 332 27/0/305 Lit: 39260 Watch. Lit: 23732 0.05/0.06 c Obj. Vars: 8060 (100 % of total variables) 1.99/2.09 c Pre-processing Time: 2.088 s 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 0 3862 332 39260 118 23747 55608 0 0 2.09 1.99/2.09 c Switching off LPR mode. 1800.02/1800.60 c 100 3862 432 65860 152 23951 61169 100 46 2.15 1800.02/1800.60 c 250 3862 582 92955 159 24252 67286 250 113 2.21 1800.02/1800.60 c 475 3862 807 124471 154 24701 74015 475 199 2.38 1800.02/1800.60 c 813 3862 1145 174477 152 25378 81417 813 298 2.72 1800.02/1800.60 c 1321 3862 1653 254068 153 26394 89559 1321 436 3.03 1800.02/1800.60 c 2084 3862 2416 432583 179 27920 98515 2084 549 3.79 1800.02/1800.60 c 3230 3862 3562 808294 226 30212 108367 3230 642 5.03 1800.02/1800.60 c 4951 3862 5283 1317300 249 33654 119204 4951 723 6.84 1800.02/1800.60 c 7536 3862 7868 2037549 258 38824 131125 7536 804 9.36 1800.02/1800.60 c 11416 3862 11748 4313835 367 46584 144238 11416 751 15.19 1800.02/1800.60 c 17238 3862 17570 7081928 403 58228 158662 17238 555 31.04 1800.02/1800.60 c 25976 3862 26308 10783508 409 75704 174529 25976 511 50.75 1800.02/1800.60 c 39086 3862 39418 17504073 444 101924 191982 39086 359 108.80 1800.02/1800.60 c 58756 3862 59088 28654462 484 141264 211181 58756 271 216.71 1800.02/1800.61 c 88268 3862 88600 38112693 430 200288 232300 88268 254 346.31 1800.02/1800.61 c 132538 3862 132870 69262869 521 288828 255531 132538 165 799.90 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 16 188692 115692 3290358 189024 116059004 188692 104 1800.03 1800.02/1800.61 s UNKNOWN 1800.02/1800.61 c Total time: 1800.03 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-362393-1177011759 -o ROOT/results/node12/solver-362393-1177011759 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362393-1177011759/instance-362393-1177011759.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: 1.00 1.00 1.00 3/77 13366 /proc/meminfo: memFree=1683632/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=12040 CPUtime=0 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 177213249 12328960 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 3010 335 281 324 0 2003 0 [startup+0.0591319 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13366 /proc/meminfo: memFree=1683632/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=5388 CPUtime=0.05 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 708 0 0 0 5 0 0 0 18 0 1 0 177213249 5517312 676 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 1347 676 352 324 0 340 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5388 [startup+0.101137 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13366 /proc/meminfo: memFree=1683632/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=6240 CPUtime=0.09 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 1040 0 0 0 9 0 0 0 18 0 1 0 177213249 6389760 932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 1560 932 305 324 0 629 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6240 [startup+0.301156 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13366 /proc/meminfo: memFree=1683632/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=6240 CPUtime=0.29 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 1040 0 0 0 29 0 0 0 19 0 1 0 177213249 6389760 932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 1560 932 305 324 0 629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6240 [startup+0.701196 s] /proc/loadavg: 1.00 1.00 1.00 3/77 13366 /proc/meminfo: memFree=1683632/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=6504 CPUtime=0.68 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 1174 0 0 0 68 0 0 0 22 0 1 0 177213249 6660096 1001 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 1626 1001 307 324 0 695 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6504 [startup+1.50128 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1680744/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=6504 CPUtime=1.49 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 1174 0 0 0 148 1 0 0 25 0 1 0 177213249 6660096 1001 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 1626 1001 307 324 0 695 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6504 [startup+3.10144 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1680488/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=9204 CPUtime=3.08 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 1864 0 0 0 296 12 0 0 25 0 1 0 177213249 9424896 1658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 2301 1658 311 324 0 1370 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9204 [startup+6.30176 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1669544/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=19928 CPUtime=6.29 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 4549 0 0 0 602 27 0 0 25 0 1 0 177213249 20406272 4343 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 4982 4343 311 324 0 4051 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19928 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1643944/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=50276 CPUtime=12.69 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 12157 0 0 0 1230 39 0 0 25 0 1 0 177213249 51482624 11951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 12569 11951 311 324 0 11638 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50276 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1603304/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=84024 CPUtime=25.48 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 20591 0 0 0 2498 50 0 0 25 0 1 0 177213249 86040576 20385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 21006 20385 311 324 0 20075 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 84024 [startup+51.1012 s] /proc/loadavg: 1.08 1.02 1.01 2/78 13367 /proc/meminfo: memFree=1541608/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=146360 CPUtime=51.07 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 36154 0 0 0 5028 79 0 0 25 0 1 0 177213249 149872640 35948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134548359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 36590 35948 311 324 0 35659 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 146360 [startup+102.305 s] /proc/loadavg: 1.07 1.03 1.01 2/78 13367 /proc/meminfo: memFree=1463080/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=223688 CPUtime=102.26 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 55501 0 0 0 10114 112 0 0 25 0 1 0 177213249 229056512 55295 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129110 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 55922 55295 311 324 0 54991 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 223688 [startup+162.301 s] /proc/loadavg: 1.02 1.02 1.00 2/78 13367 /proc/meminfo: memFree=1370408/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=316728 CPUtime=162.25 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 78741 0 0 0 16087 138 0 0 25 0 1 0 177213249 324329472 78535 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 79182 78535 311 324 0 78251 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 316728 [startup+222.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 13367 /proc/meminfo: memFree=1303464/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=383608 CPUtime=222.22 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 95459 0 0 0 22064 158 0 0 25 0 1 0 177213249 392814592 95253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 95902 95253 311 324 0 94971 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 383608 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13367 /proc/meminfo: memFree=1230312/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=456604 CPUtime=282.21 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 113711 0 0 0 28030 191 0 0 25 0 1 0 177213249 467562496 113505 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10125464 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 114151 113505 311 324 0 113220 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 456604 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1190376/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=495972 CPUtime=342.19 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 123554 0 0 0 33992 227 0 0 25 0 1 0 177213249 507875328 123348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 123993 123348 311 324 0 123062 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 495972 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1136744/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=550016 CPUtime=402.18 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 137070 0 0 0 39976 242 0 0 25 0 1 0 177213249 563216384 136864 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 137504 136864 311 324 0 136573 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 550016 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=1083240/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=602680 CPUtime=462.16 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 150249 0 0 0 45961 255 0 0 25 0 1 0 177213249 617144320 150043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 150670 150043 311 324 0 149739 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 602680 [startup+522.301 s] /proc/loadavg: 1.07 1.02 1.00 2/78 13367 /proc/meminfo: memFree=1020840/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=666220 CPUtime=522.15 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 166137 0 0 0 51946 269 0 0 25 0 1 0 177213249 682209280 165931 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 166555 165931 311 324 0 165624 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 666220 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/78 13367 /proc/meminfo: memFree=949544/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=736268 CPUtime=582.13 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 183627 0 0 0 57934 279 0 0 25 0 1 0 177213249 753938432 183421 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 184067 183421 311 324 0 183136 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 736268 [startup+642.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 13367 /proc/meminfo: memFree=904872/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=780508 CPUtime=642.11 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 194708 0 0 0 63921 290 0 0 25 0 1 0 177213249 799240192 194502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 195127 194502 311 324 0 194196 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 780508 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=730344/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=955008 CPUtime=882.04 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 238336 0 0 0 87875 329 0 0 25 0 1 0 177213249 977928192 238130 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 238752 238130 311 324 0 237821 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 955008 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=678248/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1007344 CPUtime=942.03 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 251402 0 0 0 93863 340 0 0 25 0 1 0 177213249 1031520256 251196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 251836 251196 311 324 0 250905 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1007344 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=643112/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1041904 CPUtime=1002.01 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 260062 0 0 0 99854 347 0 0 25 0 1 0 177213249 1066909696 259856 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 260476 259856 311 324 0 259545 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1041904 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13367 /proc/meminfo: memFree=619112/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1066000 CPUtime=1061.99 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 266086 0 0 0 105848 351 0 0 25 0 1 0 177213249 1091584000 265880 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 266500 265880 311 324 0 265569 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1066000 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 13483 /proc/meminfo: memFree=583224/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1100336 CPUtime=1121.93 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 274656 0 0 0 111836 357 0 0 25 0 1 0 177213249 1126744064 274450 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10137310 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 275084 274450 311 324 0 274153 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1100336 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=543592/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1141428 CPUtime=1181.88 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 284940 0 0 0 117819 369 0 0 25 0 1 0 177213249 1168822272 284734 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 285357 284734 311 324 0 284426 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1141428 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=502696/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1181872 CPUtime=1241.86 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 295052 0 0 0 123809 377 0 0 25 0 1 0 177213249 1210236928 294846 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 295468 294846 311 324 0 294537 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1181872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=472360/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1211948 CPUtime=1301.86 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 302560 0 0 0 129801 385 0 0 25 0 1 0 177213249 1241034752 302354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 302987 302354 311 324 0 302056 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1211948 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=439848/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1244864 CPUtime=1361.83 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 310799 0 0 0 135792 391 0 0 25 0 1 0 177213249 1274740736 310593 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 311216 310593 311 324 0 310285 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1244864 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=400616/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1283772 CPUtime=1421.82 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 320503 0 0 0 141783 399 0 0 25 0 1 0 177213249 1314582528 320297 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 320943 320297 311 324 0 320012 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1283772 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=362472/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1322132 CPUtime=1481.8 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 330101 0 0 0 147775 405 0 0 25 0 1 0 177213249 1353863168 329895 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 330533 329895 311 324 0 329602 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1322132 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=322280/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1361908 CPUtime=1541.79 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 340055 0 0 0 153765 414 0 0 25 0 1 0 177213249 1394593792 339849 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10127262 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 340477 339849 311 324 0 339546 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1361908 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=285928/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1398512 CPUtime=1601.76 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 349199 0 0 0 159755 421 0 0 25 0 1 0 177213249 1432076288 348993 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 349628 348993 311 324 0 348697 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1398512 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=250152/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1434008 CPUtime=1661.75 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 358078 0 0 0 165747 428 0 0 25 0 1 0 177213249 1468424192 357872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 358502 357872 311 324 0 357571 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1434008 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=217832/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1466348 CPUtime=1721.74 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 366160 0 0 0 171739 435 0 0 25 0 1 0 177213249 1501540352 365954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 366587 365954 311 324 0 365656 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1466348 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=190248/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1493932 CPUtime=1781.72 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 373042 0 0 0 177731 441 0 0 25 0 1 0 177213249 1529786368 372836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 373483 372836 311 324 0 372552 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1493932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=182504/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=1501232 CPUtime=1800.02 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194304 374886 0 0 0 179560 442 0 0 25 0 1 0 177213249 1537261568 374680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 375308 374680 311 324 0 374377 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1501232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13565 /proc/meminfo: memFree=182504/2055920 swapFree=4160068/4192956 [pid=13366] ppid=13364 vsize=0 CPUtime=1800.21 /proc/13366/stat : 13366 (bsolo3.0.16) R 13364 13366 11789 0 -1 4194308 374887 0 0 0 179560 461 0 0 25 0 1 0 177213249 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/13366/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.85 CPU time (s): 1800.26 CPU user time (s): 1795.6 CPU system time (s): 4.66029 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 1501232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.6 system time used= 4.66029 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 374887 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= 1651 runsolver used 2.22866 second user time and 4.23735 second system time The end
Begin job on node12 on Thu Apr 19 19:42:39 UTC 2007 IDJOB= 362393 IDBENCH= 1556 IDSOLVER= 163 FILE ID= node12/362393-1177011759 PBS_JOBID= 4630502 Free space on /tmp= 66252 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/fctp/normalized-reduced-mps-v2-20-10-ran10x26.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362393-1177011759/instance-362393-1177011759.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-362393-1177011759 -o ROOT/results/node12/solver-362393-1177011759 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362393-1177011759/instance-362393-1177011759.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= ea0578ce3fa6d7f101be81096fa267e7 RANDOM SEED= 474362635 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1684040 kB Buffers: 28372 kB Cached: 265224 kB SwapCached: 11520 kB Active: 85016 kB Inactive: 232888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1684040 kB SwapTotal: 4192956 kB SwapFree: 4160068 kB Dirty: 4760 kB Writeback: 0 kB Mapped: 31400 kB Slab: 39472 kB Committed_AS: 4379896 kB PageTables: 1796 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= 66252 MiB End job on node12 on Thu Apr 19 20:12:41 UTC 2007