Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.09 | 1800.6 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb |
MD5SUM | f3194c704d6cb84122c01530d022722f |
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 | 0.875865 |
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 | 35070 |
Total number of constraints | 488 |
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 | 488 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1110 |
Number of terms in the objective function | 24750 |
Biggest coefficient in the objective function | 20760 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 545888 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 545888 |
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/362925-1177020312/instance-362925-1177020312.opb 0.00/0.00 c File size is 1263058 bytes. 0.19/0.27 c Highest Coefficient sum: 545888 0.19/0.27 c Parsing was ok!! 0.19/0.27 c Total parsing time: 0.27 s 0.19/0.29 c Var: 35070 Constr: 872 20/0/852 Lit: 172590 Watch. Lit: 67591 0.19/0.29 c Obj. Vars: 24750 (70.5731 % of total variables) 97.36/97.41 c Pre-processing Time: 97.384 s 97.36/97.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 97.36/97.41 c 0 24376 807 168240 208 115724 306004 0 0 97.38 97.36/97.41 c Switching off LPR mode. 1799.98/1800.51 c 111 24376 918 173648 189 117570 336605 111 1 97.44 1799.98/1800.51 c 266 24369 1073 178649 166 117862 370266 266 2 97.49 1799.98/1800.51 c 496 24369 1303 189926 145 118325 407293 496 5 97.55 1799.98/1800.51 c 844 24369 1651 201492 122 119013 448023 844 8 97.62 1799.98/1800.51 c 1354 24369 2161 234092 108 120033 492826 1354 13 97.72 1799.98/1800.51 c 2117 24369 2924 279310 95 121559 542109 2117 21 97.82 1799.98/1800.51 c 3263 24363 4070 331415 81 123850 596320 3263 33 98.17 1799.98/1800.51 c 4987 24363 5794 458290 79 127298 655953 4987 50 98.69 1799.98/1800.51 c 7574 24363 8381 701705 83 132472 721549 7574 75 100.63 1799.98/1800.51 c 11458 24345 12265 1086222 88 148705 793704 11458 105 108.33 1799.98/1800.51 c 17280 24329 18087 2569993 142 161106 873075 17280 153 112.77 1799.98/1800.51 c 26018 24329 26825 3385314 126 180574 960383 26018 213 122.12 1799.98/1800.51 c 39128 24329 39935 4101021 102 206351 500000 39128 304 128.43 1799.98/1800.51 c 58801 24329 59608 6266410 105 245428 550001 58801 384 152.86 1799.98/1800.51 c 88311 24329 89118 10327554 115 304783 605002 88311 349 252.98 1799.98/1800.51 c 132582 24329 133389 12691788 95 393008 665503 132582 408 324.44 1799.98/1800.51 c 198992 24329 199799 18630548 93 525858 732054 198992 269 738.33 1799.98/1800.51 c 298613 24312 299420 28198064 94 724536 805260 298613 298 1000.72 1799.98/1800.51 c Resources Exceeded 1799.98/1800.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.51 c 18 378075 96970 1151093 378882 39289799 378075 210 1800.00 1799.98/1800.51 s UNKNOWN 1799.98/1800.51 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/node44/watcher-362925-1177020312 -o ROOT/results/node44/solver-362925-1177020312 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362925-1177020312/instance-362925-1177020312.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.91 0.97 0.99 3/77 6997 /proc/meminfo: memFree=1631112/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=12972 CPUtime=0 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 371 0 0 0 0 0 0 0 18 0 1 0 149942919 13283328 339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3243 339 282 324 0 2003 0 [startup+0.0386561 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6997 /proc/meminfo: memFree=1631112/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14132 CPUtime=0.03 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 695 0 0 0 3 0 0 0 18 0 1 0 149942919 14471168 663 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3533 663 324 324 0 2293 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14132 [startup+0.102663 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6997 /proc/meminfo: memFree=1631112/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=8248 CPUtime=0.09 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 1285 0 0 0 9 0 0 0 18 0 1 0 149942919 8445952 1213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 2062 1213 400 324 0 822 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8248 [startup+0.301683 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6997 /proc/meminfo: memFree=1631112/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=13416 CPUtime=0.29 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3095 0 0 0 28 1 0 0 19 0 1 0 149942919 13737984 2665 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3354 2665 306 324 0 2423 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13416 [startup+0.702723 s] /proc/loadavg: 0.91 0.97 0.99 3/77 6997 /proc/meminfo: memFree=1631112/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14328 CPUtime=0.69 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3302 0 0 0 68 1 0 0 23 0 1 0 149942919 14671872 2872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3582 2872 306 324 0 2651 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14328 [startup+1.50181 s] /proc/loadavg: 0.91 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1620736/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14328 CPUtime=1.49 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3302 0 0 0 148 1 0 0 25 0 1 0 149942919 14671872 2872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3582 2872 306 324 0 2651 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14328 [startup+3.10197 s] /proc/loadavg: 0.91 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1620608/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14328 CPUtime=3.09 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3302 0 0 0 308 1 0 0 25 0 1 0 149942919 14671872 2872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3582 2872 306 324 0 2651 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14328 [startup+6.3013 s] /proc/loadavg: 0.92 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1620416/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14328 CPUtime=6.29 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3302 0 0 0 627 2 0 0 25 0 1 0 149942919 14671872 2872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3582 2872 306 324 0 2651 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14328 [startup+12.702 s] /proc/loadavg: 0.93 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1620352/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14460 CPUtime=12.69 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3309 0 0 0 1267 2 0 0 25 0 1 0 149942919 14807040 2879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11710616 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3615 2879 306 324 0 2684 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14460 [startup+25.5013 s] /proc/loadavg: 0.94 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1620480/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14460 CPUtime=25.48 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3313 0 0 0 2546 2 0 0 25 0 1 0 149942919 14807040 2883 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3615 2883 306 324 0 2684 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14460 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1620480/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=14460 CPUtime=51.08 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 3325 0 0 0 5105 3 0 0 25 0 1 0 149942919 14807040 2895 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 3615 2895 306 324 0 2684 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14460 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1611712/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=23264 CPUtime=102.26 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 6292 0 0 0 10217 9 0 0 25 0 1 0 149942919 23822336 5094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 5816 5094 312 324 0 4885 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23264 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1522944/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=112488 CPUtime=162.24 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 28604 0 0 0 16186 38 0 0 25 0 1 0 149942919 115187712 27406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 28122 27406 312 324 0 27191 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 112488 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1489600/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=145008 CPUtime=222.22 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 36746 0 0 0 22173 49 0 0 25 0 1 0 149942919 148488192 35548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 36252 35548 312 324 0 35321 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 145008 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1458560/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=176424 CPUtime=282.21 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 44600 0 0 0 28158 63 0 0 25 0 1 0 149942919 180658176 43402 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 44106 43402 312 324 0 43175 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 176424 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1433216/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=201524 CPUtime=342.19 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 50866 0 0 0 34143 76 0 0 25 0 1 0 149942919 206360576 49668 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 50381 49668 312 324 0 49450 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 201524 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1416960/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=217744 CPUtime=402.18 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 54943 0 0 0 40128 90 0 0 25 0 1 0 149942919 222969856 53745 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 54436 53745 312 324 0 53505 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 217744 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1406336/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=228224 CPUtime=462.16 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 57546 0 0 0 46116 100 0 0 25 0 1 0 149942919 233701376 56348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 57056 56348 312 324 0 56125 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 228224 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1396352/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=238332 CPUtime=522.14 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 60072 0 0 0 52105 109 0 0 25 0 1 0 149942919 244051968 58874 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 59583 58874 312 324 0 58652 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 238332 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1386880/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=247572 CPUtime=582.12 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 62398 0 0 0 58097 115 0 0 25 0 1 0 149942919 253513728 61200 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 61893 61200 312 324 0 60962 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 247572 [startup+642.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6998 /proc/meminfo: memFree=1377024/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=257536 CPUtime=642.11 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 64871 0 0 0 64090 121 0 0 25 0 1 0 149942919 263716864 63673 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 64384 63673 312 324 0 63453 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 257536 ################ # More data... # ################ /proc/meminfo: memFree=1205440/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=428900 CPUtime=1061.99 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 107725 0 0 0 105997 202 0 0 25 0 1 0 149942919 439193600 106527 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 107225 106528 312 324 0 106294 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 428900 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6998 /proc/meminfo: memFree=1189632/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=444592 CPUtime=1121.98 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 111647 0 0 0 111989 209 0 0 25 0 1 0 149942919 455262208 110449 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 111148 110449 312 324 0 110217 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 444592 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 6998 /proc/meminfo: memFree=1180992/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=453256 CPUtime=1181.95 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 113818 0 0 0 117983 212 0 0 25 0 1 0 149942919 464134144 112620 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 113314 112620 312 324 0 112383 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 453256 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6998 /proc/meminfo: memFree=1168320/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=465776 CPUtime=1241.94 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 116946 0 0 0 123977 217 0 0 25 0 1 0 149942919 476954624 115748 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 116444 115748 312 324 0 115513 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 465776 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 6998 /proc/meminfo: memFree=1156032/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=477976 CPUtime=1301.93 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 119979 0 0 0 129970 223 0 0 25 0 1 0 149942919 489447424 118781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 119494 118781 312 324 0 118563 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 477976 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1144512/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=489492 CPUtime=1361.91 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 122878 0 0 0 135964 227 0 0 25 0 1 0 149942919 501239808 121680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 122373 121680 312 324 0 121442 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 489492 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1135104/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=498824 CPUtime=1421.9 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 125203 0 0 0 141959 231 0 0 25 0 1 0 149942919 510795776 124005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 124706 124005 312 324 0 123775 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 498824 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1126272/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=507616 CPUtime=1481.87 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 127412 0 0 0 147953 234 0 0 25 0 1 0 149942919 519798784 126214 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 126904 126214 312 324 0 125973 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 507616 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1117184/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=516784 CPUtime=1541.86 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 129690 0 0 0 153947 239 0 0 25 0 1 0 149942919 529186816 128492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 129196 128492 312 324 0 128265 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 516784 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1108800/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=525200 CPUtime=1601.84 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 131787 0 0 0 159941 243 0 0 25 0 1 0 149942919 537804800 130589 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 131300 130589 312 324 0 130369 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 525200 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1101440/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=532428 CPUtime=1661.83 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 133603 0 0 0 165937 246 0 0 25 0 1 0 149942919 545206272 132405 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 133107 132405 312 324 0 132176 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 532428 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1092160/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=541848 CPUtime=1721.8 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 135945 0 0 0 171931 249 0 0 25 0 1 0 149942919 554852352 134747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 135462 134747 312 324 0 134531 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 541848 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1081856/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=551936 CPUtime=1781.79 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 138494 0 0 0 177924 255 0 0 25 0 1 0 149942919 565182464 137296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 137984 137296 312 324 0 137053 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 551936 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1080064/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=553740 CPUtime=1791.39 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 138945 0 0 0 178883 256 0 0 25 0 1 0 149942919 567029760 137747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 138435 137747 312 324 0 137504 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 553740 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1079424/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=554388 CPUtime=1794.59 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 139095 0 0 0 179203 256 0 0 25 0 1 0 149942919 567693312 137897 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 138597 137897 312 324 0 137666 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 554388 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1078912/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=555160 CPUtime=1797.78 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 139272 0 0 0 179522 256 0 0 25 0 1 0 149942919 568483840 138074 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 138790 138074 312 324 0 137859 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 555160 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1078464/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=555424 CPUtime=1799.38 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 139359 0 0 0 179682 256 0 0 25 0 1 0 149942919 568754176 138161 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 138856 138161 312 324 0 137925 0 Current children cumulated CPU time (s) 1799.38 Current children cumulated vsize (KiB) 555424 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1078464/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=555552 CPUtime=1799.78 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 139379 0 0 0 179722 256 0 0 25 0 1 0 149942919 568885248 138181 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 138888 138181 312 324 0 137957 0 Current children cumulated CPU time (s) 1799.78 Current children cumulated vsize (KiB) 555552 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 6998 /proc/meminfo: memFree=1078464/2055920 swapFree=4150992/4192956 [pid=6997] ppid=6995 vsize=555552 CPUtime=1799.98 /proc/6997/stat : 6997 (bsolo3.0.16) R 6995 6997 6362 0 -1 4194304 139391 0 0 0 179742 256 0 0 25 0 1 0 149942919 568885248 138193 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6997/statm: 138888 138193 312 324 0 137957 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 555552 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.09 CPU user time (s): 1797.44 CPU system time (s): 2.6546 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 555552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.44 system time used= 2.6546 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 139392 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= 18377 runsolver used 2.15567 second user time and 4.37233 second system time The end
Begin job on node44 on Thu Apr 19 22:05:12 UTC 2007 IDJOB= 362925 IDBENCH= 1686 IDSOLVER= 163 FILE ID= node44/362925-1177020312 PBS_JOBID= 4630576 Free space on /tmp= 66409 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-scrs8.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362925-1177020312/instance-362925-1177020312.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-362925-1177020312 -o ROOT/results/node44/solver-362925-1177020312 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362925-1177020312/instance-362925-1177020312.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= f3194c704d6cb84122c01530d022722f RANDOM SEED= 150857548 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.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: 1631520 kB Buffers: 41316 kB Cached: 289576 kB SwapCached: 18832 kB Active: 96748 kB Inactive: 263808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1631520 kB SwapTotal: 4192956 kB SwapFree: 4150992 kB Dirty: 5640 kB Writeback: 0 kB Mapped: 32744 kB Slab: 49364 kB Committed_AS: 516552 kB PageTables: 1736 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= 66409 MiB End job on node44 on Thu Apr 19 22:35:13 UTC 2007