Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.12 | 1800.9 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A1C1S1.opb |
MD5SUM | 8e9a545df4abbe3f7a2b003048b42200 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 103872 |
Total number of constraints | 3312 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 1116 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 555552 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 555552 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.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/348137-1176569866/instance-348137-1176569866.opb 0.00/0.01 c File size is 3389239 bytes. 0.68/0.72 c Highest Coefficient sum: 555552 0.68/0.72 c Parsing was ok!! 0.68/0.72 c Total parsing time: 0.712 s 0.68/0.76 c Var: 103872 Constr: 4560 0/0/4560 Lit: 416936 Watch. Lit: 89462 0.68/0.76 c Obj. Vars: 37632 (36.2292 % of total variables) 3.58/3.62 c Pre-processing Time: 3.61 s 3.58/3.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.58/3.62 c 0 64560 4560 416936 91 374974 833872 0 0 3.61 3.58/3.62 c Switching off LPR mode. 1800.01/1800.80 c 100 64560 4660 422305 90 375174 917260 100 24 4.00 1800.01/1800.80 c 255 64560 4815 427914 88 375484 500000 255 62 4.05 1800.01/1800.80 c 481 64560 5041 432070 85 375936 550001 481 113 4.23 1800.01/1800.80 c 821 64560 5381 457279 84 376616 605002 821 179 4.57 1800.01/1800.80 c 1331 64560 5891 472567 80 377636 665503 1331 285 4.66 1800.01/1800.80 c 2096 64560 6656 510654 76 379166 732054 2096 396 5.29 1800.01/1800.80 c 3242 64558 7802 581561 74 381457 805260 3242 572 5.67 1800.01/1800.80 c 4963 64558 9523 720990 75 384899 885787 4963 788 6.29 1800.01/1800.80 c 7547 64558 12107 832312 68 390067 974366 7547 1085 6.95 1800.01/1800.80 c 11427 64557 15987 964459 60 397826 500000 11427 1398 8.17 1800.01/1800.80 c 17249 64557 21809 1113369 51 409470 550001 17249 1709 10.09 1800.01/1800.80 c 25992 64557 30552 1705308 55 426956 605002 25992 1733 14.99 1800.01/1800.80 c 39102 64555 43662 2651494 60 453175 665503 39102 1739 22.48 1800.01/1800.80 c 58773 64554 63333 3349649 52 492516 732054 58773 1719 34.17 1800.01/1800.80 c 88284 64554 92844 6834220 73 551538 805260 88284 1389 63.53 1800.01/1800.80 c 132556 64554 137116 9989322 72 640082 885787 132556 1357 97.67 1800.01/1800.80 c 198967 64554 203527 16014768 78 772904 974366 198967 965 206.04 1800.01/1800.80 c 298588 64554 303148 23216637 76 972146 500000 298588 595 501.59 1800.01/1800.80 c Caught signal: 15 1800.01/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.80 c 18 439502 41546 1306247 444062 42094091 439502 244 1800.02 1800.01/1800.80 s UNKNOWN 1800.01/1800.80 c Total time: 1800.02 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-348137-1176569866 -o ROOT/results/node38/solver-348137-1176569866 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348137-1176569866/instance-348137-1176569866.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.95 0.99 3/77 21436 /proc/meminfo: memFree=1405456/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=3780 CPUtime=0 /proc/21436/stat : 21436 (bsolo3.0.16) D 21434 21436 21067 0 -1 4194304 185 0 2 0 0 0 0 0 18 0 1 0 89153296 3870720 155 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/21436/statm: 945 155 129 324 0 14 0 [startup+0.039118 s] /proc/loadavg: 0.84 0.95 0.99 3/77 21436 /proc/meminfo: memFree=1405456/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=16060 CPUtime=0.02 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 627 0 3 0 2 0 0 0 18 0 1 0 89153296 16445440 598 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 4015 599 314 324 0 2256 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 16060 [startup+0.102132 s] /proc/loadavg: 0.84 0.95 0.99 3/77 21436 /proc/meminfo: memFree=1405456/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=18892 CPUtime=0.08 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 1474 0 3 0 8 0 0 0 18 0 1 0 89153296 19345408 1327 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 4723 1327 389 324 0 2964 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18892 [startup+0.302168 s] /proc/loadavg: 0.84 0.95 0.99 3/77 21436 /proc/meminfo: memFree=1405456/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=14648 CPUtime=0.28 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 2732 0 3 0 28 0 0 0 19 0 1 0 89153296 14999552 2535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 3662 2535 623 324 0 1903 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 14648 [startup+0.701246 s] /proc/loadavg: 0.84 0.95 0.99 3/77 21436 /proc/meminfo: memFree=1405456/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=20592 CPUtime=0.68 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 4834 0 3 0 67 1 0 0 23 0 1 0 89153296 21086208 4383 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 5148 4383 1079 324 0 3389 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 20592 [startup+1.5014 s] /proc/loadavg: 0.84 0.95 0.99 2/78 21437 /proc/meminfo: memFree=1376008/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=35584 CPUtime=1.48 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 9239 0 3 0 143 5 0 0 25 0 1 0 89153296 36438016 7886 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 8896 7886 306 324 0 7965 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 35584 [startup+3.10171 s] /proc/loadavg: 0.84 0.95 0.99 2/78 21437 /proc/meminfo: memFree=1374344/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=40436 CPUtime=3.08 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 11462 0 3 0 299 9 0 0 25 0 1 0 89153296 41406464 9094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 10109 9094 308 324 0 9178 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 40436 [startup+6.30132 s] /proc/loadavg: 0.85 0.95 0.99 2/78 21437 /proc/meminfo: memFree=1371976/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=40164 CPUtime=6.27 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 12608 0 3 0 610 17 0 0 25 0 1 0 89153296 41127936 9068 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 10041 9068 312 324 0 9110 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 40164 [startup+12.7016 s] /proc/loadavg: 0.87 0.95 0.99 2/78 21437 /proc/meminfo: memFree=1358472/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=52312 CPUtime=12.67 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 15634 0 3 0 1244 23 0 0 25 0 1 0 89153296 53567488 12094 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 13078 12094 312 324 0 12147 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 52312 [startup+25.502 s] /proc/loadavg: 0.89 0.95 0.99 2/78 21437 /proc/meminfo: memFree=1336904/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=73084 CPUtime=25.46 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 20843 0 3 0 2515 31 0 0 25 0 1 0 89153296 74838016 17303 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 18271 17303 312 324 0 17340 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 73084 [startup+51.103 s] /proc/loadavg: 0.93 0.96 0.99 2/78 21437 /proc/meminfo: memFree=1303176/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=107696 CPUtime=51.06 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 29466 0 3 0 5055 51 0 0 25 0 1 0 89153296 110280704 25926 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 26924 25926 312 324 0 25993 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 107696 [startup+102.306 s] /proc/loadavg: 0.97 0.96 0.99 2/78 21437 /proc/meminfo: memFree=1223496/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=186180 CPUtime=102.25 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 49109 0 3 0 10138 87 0 0 25 0 1 0 89153296 190648320 45569 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 46545 45569 312 324 0 45614 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 186180 [startup+162.301 s] /proc/loadavg: 1.03 0.98 0.99 2/78 21437 /proc/meminfo: memFree=1198344/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=211352 CPUtime=162.22 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 55421 0 3 0 16123 99 0 0 25 0 1 0 89153296 216424448 51881 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 52838 51881 312 324 0 51907 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 211352 [startup+222.302 s] /proc/loadavg: 1.05 1.00 1.00 4/84 21563 /proc/meminfo: memFree=1135552/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=272704 CPUtime=222.13 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 70730 0 3 0 22090 123 0 0 25 0 1 0 89153296 279248896 67190 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 68176 67190 312 324 0 67245 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 272704 [startup+282.301 s] /proc/loadavg: 1.05 1.01 1.00 2/78 21635 /proc/meminfo: memFree=1114120/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=295632 CPUtime=282.08 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 76473 0 3 0 28071 137 0 0 25 0 1 0 89153296 302727168 72933 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 73908 72933 312 324 0 72977 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 295632 [startup+342.302 s] /proc/loadavg: 1.13 1.03 1.01 2/78 21635 /proc/meminfo: memFree=1090696/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=318708 CPUtime=342.05 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 82247 0 3 0 34056 149 0 0 25 0 1 0 89153296 326356992 78707 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 79677 78707 312 324 0 78746 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 318708 [startup+402.302 s] /proc/loadavg: 1.12 1.04 1.00 2/78 21635 /proc/meminfo: memFree=1070792/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=338740 CPUtime=402.03 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 87257 0 3 0 40043 160 0 0 25 0 1 0 89153296 346869760 83717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 84685 83717 312 324 0 83754 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 338740 [startup+462.301 s] /proc/loadavg: 1.11 1.05 1.00 2/78 21635 /proc/meminfo: memFree=1056840/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=352724 CPUtime=462.01 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 90737 0 3 0 46034 167 0 0 25 0 1 0 89153296 361189376 87197 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 88181 87197 312 324 0 87250 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 352724 [startup+522.302 s] /proc/loadavg: 1.10 1.05 1.00 2/78 21635 /proc/meminfo: memFree=1021512/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=388668 CPUtime=521.98 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 99753 0 3 0 52015 183 0 0 25 0 1 0 89153296 397996032 96213 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 97167 96213 312 324 0 96236 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 388668 [startup+582.301 s] /proc/loadavg: 1.14 1.07 1.01 2/78 21635 /proc/meminfo: memFree=990344/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=419156 CPUtime=581.96 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 107360 0 3 0 58001 195 0 0 25 0 1 0 89153296 429215744 103820 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 104789 103820 312 324 0 103858 0 Current children cumulated CPU time (s) 581.96 Current children cumulated vsize (KiB) 419156 [startup+642.302 s] /proc/loadavg: 1.13 1.08 1.01 2/78 21635 /proc/meminfo: memFree=974216/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=435052 CPUtime=641.95 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 111345 0 3 0 63992 203 0 0 25 0 1 0 89153296 445493248 107805 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 108763 107805 312 324 0 107832 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 435052 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.22 1.12 1.03 2/78 21635 /proc/meminfo: memFree=933384/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=476024 CPUtime=821.88 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 121592 0 3 0 81966 222 0 0 25 0 1 0 89153296 487448576 118052 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 119006 118052 312 324 0 118075 0 Current children cumulated CPU time (s) 821.88 Current children cumulated vsize (KiB) 476024 [startup+882.301 s] /proc/loadavg: 1.12 1.11 1.03 2/78 21635 /proc/meminfo: memFree=923272/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=486104 CPUtime=881.85 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 124101 0 3 0 87959 226 0 0 25 0 1 0 89153296 497770496 120561 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 121526 120561 312 324 0 120595 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 486104 [startup+942.302 s] /proc/loadavg: 1.08 1.10 1.03 2/78 21635 /proc/meminfo: memFree=912456/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=497084 CPUtime=941.83 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 126832 0 3 0 93952 231 0 0 25 0 1 0 89153296 509014016 123292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 124271 123292 312 324 0 123340 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 497084 [startup+1002.3 s] /proc/loadavg: 1.14 1.11 1.03 2/78 21635 /proc/meminfo: memFree=902984/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=506376 CPUtime=1001.81 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 129160 0 3 0 99947 234 0 0 25 0 1 0 89153296 518529024 125620 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 126594 125620 312 324 0 125663 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 506376 [startup+1062.3 s] /proc/loadavg: 1.05 1.09 1.03 2/78 21635 /proc/meminfo: memFree=892360/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=517228 CPUtime=1061.78 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 131872 0 3 0 105941 237 0 0 25 0 1 0 89153296 529641472 128332 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 129307 128332 312 324 0 128376 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 517228 [startup+1122.3 s] /proc/loadavg: 1.02 1.07 1.02 2/78 21635 /proc/meminfo: memFree=880776/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=528576 CPUtime=1121.77 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 134716 0 3 0 111935 242 0 0 25 0 1 0 89153296 541261824 131176 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 132144 131176 312 324 0 131213 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 528576 [startup+1182.3 s] /proc/loadavg: 1.07 1.07 1.02 2/78 21635 /proc/meminfo: memFree=871240/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=538240 CPUtime=1181.74 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 137137 0 3 0 117930 244 0 0 25 0 1 0 89153296 551157760 133597 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 134560 133597 312 324 0 133629 0 Current children cumulated CPU time (s) 1181.74 Current children cumulated vsize (KiB) 538240 [startup+1242.3 s] /proc/loadavg: 1.02 1.05 1.01 2/78 21635 /proc/meminfo: memFree=863368/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=546092 CPUtime=1241.72 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 139087 0 3 0 123924 248 0 0 25 0 1 0 89153296 559198208 135547 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 136523 135547 312 324 0 135592 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 546092 [startup+1302.3 s] /proc/loadavg: 1.01 1.04 1.01 3/78 21635 /proc/meminfo: memFree=854664/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=554596 CPUtime=1301.7 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 141237 0 3 0 129919 251 0 0 25 0 1 0 89153296 567906304 137697 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 138649 137697 312 324 0 137718 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 554596 [startup+1362.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 21635 /proc/meminfo: memFree=847560/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=561944 CPUtime=1361.67 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 143055 0 3 0 135912 255 0 0 25 0 1 0 89153296 575430656 139515 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 140486 139515 312 324 0 139555 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 561944 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/78 21635 /proc/meminfo: memFree=839880/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=569552 CPUtime=1421.66 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 144954 0 3 0 141907 259 0 0 25 0 1 0 89153296 583221248 141414 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 142388 141414 312 324 0 141457 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 569552 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 21637 /proc/meminfo: memFree=830920/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=578708 CPUtime=1481.63 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 147235 0 3 0 147900 263 0 0 25 0 1 0 89153296 592596992 143695 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 144677 143695 312 324 0 143746 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 578708 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21637 /proc/meminfo: memFree=821000/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=588396 CPUtime=1541.61 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 149678 0 3 0 153894 267 0 0 25 0 1 0 89153296 602517504 146138 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 147099 146138 312 324 0 146168 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 588396 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 21637 /proc/meminfo: memFree=814728/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=594824 CPUtime=1601.59 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 151283 0 3 0 159889 270 0 0 25 0 1 0 89153296 609099776 147743 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 148706 147743 312 324 0 147775 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 594824 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21637 /proc/meminfo: memFree=806408/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=603084 CPUtime=1661.56 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 153346 0 3 0 165883 273 0 0 25 0 1 0 89153296 617558016 149806 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 150771 149806 312 324 0 149840 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 603084 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21637 /proc/meminfo: memFree=798984/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=610564 CPUtime=1721.54 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 155203 0 3 0 171878 276 0 0 25 0 1 0 89153296 625217536 151663 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 152641 151663 312 324 0 151710 0 Current children cumulated CPU time (s) 1721.54 Current children cumulated vsize (KiB) 610564 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21637 /proc/meminfo: memFree=792776/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=616772 CPUtime=1781.52 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 156758 0 3 0 177873 279 0 0 25 0 1 0 89153296 631574528 153218 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 154193 153218 312 324 0 153262 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 616772 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21637 /proc/meminfo: memFree=791560/2055920 swapFree=4184880/4192956 [pid=21436] ppid=21434 vsize=617936 CPUtime=1800.01 /proc/21436/stat : 21436 (bsolo3.0.16) R 21434 21436 21067 0 -1 4194304 157051 0 3 0 179722 279 0 0 25 0 1 0 89153296 632766464 153511 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21436/statm: 154484 153511 312 324 0 153553 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 617936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.9 CPU time (s): 1800.12 CPU user time (s): 1797.23 CPU system time (s): 2.89456 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 617936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.23 system time used= 2.89456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 157052 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= 14882 runsolver used 2.03669 second user time and 4.52331 second system time The end
Begin job on node38 on Sat Apr 14 16:57:46 UTC 2007 IDJOB= 348137 IDBENCH= 1620 IDSOLVER= 163 FILE ID= node38/348137-1176569866 PBS_JOBID= 4556891 Free space on /tmp= 66557 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-A1C1S1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348137-1176569866/instance-348137-1176569866.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-348137-1176569866 -o ROOT/results/node38/solver-348137-1176569866 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/348137-1176569866/instance-348137-1176569866.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8e9a545df4abbe3f7a2b003048b42200 RANDOM SEED= 941727312 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1405992 kB Buffers: 37808 kB Cached: 293948 kB SwapCached: 2668 kB Active: 318892 kB Inactive: 211820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1405992 kB SwapTotal: 4192956 kB SwapFree: 4184880 kB Dirty: 7836 kB Writeback: 0 kB Mapped: 214164 kB Slab: 104500 kB Committed_AS: 372852 kB PageTables: 2060 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= 66557 MiB End job on node38 on Sat Apr 14 17:27:49 UTC 2007