Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.05 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-misc04.opb |
MD5SUM | a740df3717a1394bed76c2a490fc20be |
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 | 146276 |
Total number of constraints | 1699 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 1689 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5071 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
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 | 528446 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432730-1177948341/instance-432730-1177948341.opb 0.00/0.00 c File size is 4916264 bytes. 0.99/1.04 c Highest Coefficient sum: 528446 0.99/1.04 c Parsing was ok!! 0.99/1.05 c Total parsing time: 1.045 s 1.09/1.12 c Var: 146276 Constr: 2010 96/10/1904 Lit: 586017 Watch. Lit: 166808 1.09/1.12 c Obj. Vars: 31 (0.0211928 % of total variables) 180.24/180.38 c Pre-processing Time: 180.319 s 180.24/180.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.24/180.38 c 0 114462 1833 536603 292 288190 500000 0 0 180.32 180.24/180.38 c Switching off LPR mode. 1800.01/1800.60 c 100 114462 1933 537274 277 284715 550001 100 0 187.05 1800.01/1800.60 c 251 114462 2084 562942 270 301735 605002 251 1 190.84 1800.01/1800.60 c 478 114462 2311 585643 253 310282 665503 478 2 192.24 1800.01/1800.60 c 817 114462 2650 594789 224 314620 732054 817 4 193.37 1800.01/1800.60 c 1326 114462 3159 613879 194 320717 805260 1326 6 197.41 1800.01/1800.60 c 2089 114462 3922 644081 164 323045 885787 2089 10 200.92 1800.01/1800.60 c 3236 114462 5069 715545 141 323779 974366 3236 14 221.57 1800.01/1800.60 c 4957 114462 6790 894066 131 327802 500000 4957 21 227.07 1800.01/1800.60 c 7543 114462 9376 1068868 114 332919 550001 7543 30 247.46 1800.01/1800.60 c 11422 114460 13255 1229008 92 344688 605002 11422 42 267.51 1800.01/1800.60 c 17244 114460 19077 2484913 130 355321 665503 17244 52 326.67 1800.01/1800.60 c 25982 114460 27815 4237713 152 373860 732054 25982 72 358.68 1800.01/1800.60 c 39093 114460 40926 4735609 115 399471 805260 39093 106 368.75 1800.01/1800.61 c 58763 114460 60596 5573180 91 442754 885787 58763 144 405.97 1800.01/1800.61 c 88273 114460 90106 7126046 79 504398 974366 88273 121 729.45 1800.01/1800.61 c 132544 114460 134377 9479084 70 592164 500000 132544 132 1000.84 1800.01/1800.61 c 198955 114460 200788 12905570 64 725783 550001 198955 112 1765.51 1800.01/1800.61 c Caught signal: 15 1800.01/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.61 c 17 201780 21776 514859 203613 13010554 201780 112 1800.01 1800.01/1800.61 s UNKNOWN 1800.01/1800.61 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-432730-1177948341 -o ROOT/results/node12/solver-432730-1177948341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432730-1177948341/instance-432730-1177948341.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 0.93 3/77 32413 /proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=16540 CPUtime=0 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 270871477 16936960 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 4135 331 279 324 0 2004 0 [startup+0.034827 s] /proc/loadavg: 0.92 0.98 0.93 3/77 32413 /proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=17636 CPUtime=0.03 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 678 0 0 0 3 0 0 0 18 0 1 0 270871477 18059264 648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 4409 649 319 324 0 2278 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 17636 [startup+0.101833 s] /proc/loadavg: 0.92 0.98 0.93 3/77 32413 /proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=20124 CPUtime=0.09 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 1433 0 0 0 9 0 0 0 18 0 1 0 270871477 20606976 1284 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585072 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 5031 1284 397 324 0 2900 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20124 [startup+0.301854 s] /proc/loadavg: 0.92 0.98 0.93 3/77 32413 /proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=16412 CPUtime=0.29 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 2810 0 0 0 28 1 0 0 19 0 1 0 270871477 16805888 2455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525295 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 4103 2455 634 324 0 1972 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16412 [startup+0.701893 s] /proc/loadavg: 0.92 0.98 0.93 3/77 32413 /proc/meminfo: memFree=1749504/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=21880 CPUtime=0.68 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 4865 0 0 0 67 1 0 0 23 0 1 0 270871477 22405120 4413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134585892 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 5470 4413 1104 324 0 3339 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 21880 [startup+1.50197 s] /proc/loadavg: 0.92 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1732792/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=39740 CPUtime=1.48 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 10393 0 0 0 143 5 0 0 25 0 1 0 270871477 40693760 8740 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 9935 8740 303 324 0 9005 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 39740 [startup+3.10113 s] /proc/loadavg: 0.92 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1715384/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=40268 CPUtime=3.09 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 10501 0 0 0 297 12 0 0 25 0 1 0 270871477 41234432 8848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 10067 8848 303 324 0 9137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40268 [startup+6.30145 s] /proc/loadavg: 0.93 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1707000/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=48064 CPUtime=6.28 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13913 0 0 0 614 14 0 0 25 0 1 0 270871477 49217536 10830 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 12016 10830 305 324 0 11086 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 48064 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1707064/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=48064 CPUtime=12.68 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13914 0 0 0 1254 14 0 0 25 0 1 0 270871477 49217536 10831 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 12016 10831 305 324 0 11086 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48064 [startup+25.5024 s] /proc/loadavg: 0.95 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1707192/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=48196 CPUtime=25.49 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13916 0 0 0 2534 15 0 0 25 0 1 0 270871477 49352704 10833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540661 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 12049 10833 305 324 0 11119 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48196 [startup+51.1029 s] /proc/loadavg: 0.96 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1707256/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=48196 CPUtime=51.07 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13919 0 0 0 5092 15 0 0 25 0 1 0 270871477 49352704 10836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 12049 10836 305 324 0 11119 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48196 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1707320/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=48196 CPUtime=102.26 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13921 0 0 0 10209 17 0 0 25 0 1 0 270871477 49352704 10838 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540690 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 12049 10838 305 324 0 11119 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48196 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1707256/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=48196 CPUtime=162.23 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13923 0 0 0 16205 18 0 0 25 0 1 0 270871477 49352704 10840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134540671 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 12049 10840 305 324 0 11119 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 48196 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1707192/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=48208 CPUtime=222.22 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 13934 0 0 0 22203 19 0 0 25 0 1 0 270871477 49364992 10851 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10137250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 12052 10851 309 324 0 11122 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 48208 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1698616/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=57004 CPUtime=282.2 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 16149 0 0 0 28199 21 0 0 25 0 1 0 270871477 58372096 13066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 14251 13066 309 324 0 13321 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 57004 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1676216/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=79196 CPUtime=342.19 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 21700 0 0 0 34193 26 0 0 25 0 1 0 270871477 81096704 18617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 19799 18617 309 324 0 18869 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 79196 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1643000/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=112232 CPUtime=402.17 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 29949 0 0 0 40185 32 0 0 25 0 1 0 270871477 114925568 26866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 28058 26866 309 324 0 27128 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 112232 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32414 /proc/meminfo: memFree=1640056/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=115260 CPUtime=462.15 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 30697 0 0 0 46182 33 0 0 25 0 1 0 270871477 118026240 27614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 28815 27614 309 324 0 27885 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 115260 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.93 2/84 32440 /proc/meminfo: memFree=1636040/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=118132 CPUtime=522.13 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 31416 0 0 0 52179 34 0 0 25 0 1 0 270871477 120967168 28333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10129235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 29533 28333 309 324 0 28603 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 118132 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1634096/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=121012 CPUtime=582.04 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 32137 0 0 0 58169 35 0 0 25 0 1 0 270871477 123916288 29054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 30253 29054 309 324 0 29323 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 121012 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1631480/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=123648 CPUtime=642.02 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 32801 0 0 0 64166 36 0 0 25 0 1 0 270871477 126615552 29718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 30912 29718 309 324 0 29982 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 123648 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1607288/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=147900 CPUtime=821.97 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 38879 0 0 0 82155 42 0 0 25 0 1 0 270871477 151449600 35796 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 36975 35796 309 324 0 36045 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 147900 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1601208/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=154016 CPUtime=881.94 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 40383 0 0 0 88151 43 0 0 25 0 1 0 270871477 157712384 37300 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 38504 37300 309 324 0 37574 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 154016 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1593528/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=161648 CPUtime=941.94 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 42310 0 0 0 94148 46 0 0 25 0 1 0 270871477 165527552 39227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 40412 39227 309 324 0 39482 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 161648 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1583992/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=171268 CPUtime=1001.91 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 44707 0 0 0 100142 49 0 0 25 0 1 0 270871477 175378432 41624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 42817 41624 309 324 0 41887 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 171268 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1580472/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=174692 CPUtime=1061.9 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 45563 0 0 0 106140 50 0 0 25 0 1 0 270871477 178884608 42480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 43673 42480 309 324 0 42743 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 174692 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1577272/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=177832 CPUtime=1121.88 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 46348 0 0 0 112137 51 0 0 25 0 1 0 270871477 182099968 43265 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 44458 43265 309 324 0 43528 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 177832 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1574136/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=180968 CPUtime=1181.87 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 47136 0 0 0 118135 52 0 0 25 0 1 0 270871477 185311232 44053 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 45242 44053 309 324 0 44312 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 180968 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1568056/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=187104 CPUtime=1241.85 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 48669 0 0 0 124131 54 0 0 25 0 1 0 270871477 191594496 45586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 46776 45586 309 324 0 45846 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 187104 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1562872/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=192184 CPUtime=1301.83 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 49942 0 0 0 130127 56 0 0 25 0 1 0 270871477 196796416 46859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 48046 46859 309 324 0 47116 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 192184 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1557368/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=197656 CPUtime=1361.82 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 51318 0 0 0 136124 58 0 0 25 0 1 0 270871477 202399744 48235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 49414 48235 309 324 0 48484 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 197656 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1552888/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=202072 CPUtime=1421.8 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 52407 0 0 0 142121 59 0 0 25 0 1 0 270871477 206921728 49324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 50518 49324 309 324 0 49588 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 202072 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1548856/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=206092 CPUtime=1481.78 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 53418 0 0 0 148117 61 0 0 25 0 1 0 270871477 211038208 50335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 51523 50335 309 324 0 50593 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 206092 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1545464/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=209604 CPUtime=1541.77 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 54292 0 0 0 154115 62 0 0 25 0 1 0 270871477 214634496 51209 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 52401 51209 309 324 0 51471 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 209604 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1541624/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=213400 CPUtime=1601.75 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 55255 0 0 0 160111 64 0 0 25 0 1 0 270871477 218521600 52172 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 53350 52172 309 324 0 52420 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 213400 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1538104/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=216928 CPUtime=1661.74 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 56138 0 0 0 166108 66 0 0 25 0 1 0 270871477 222134272 53055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 54232 53055 309 324 0 53302 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 216928 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1534648/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=220332 CPUtime=1721.72 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 56995 0 0 0 172105 67 0 0 25 0 1 0 270871477 225619968 53912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 55083 53912 309 324 0 54153 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 220332 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.93 3/78 32612 /proc/meminfo: memFree=1531704/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=223200 CPUtime=1781.7 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 57710 0 0 0 178102 68 0 0 25 0 1 0 270871477 228556800 54627 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 55800 54627 309 324 0 54870 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 223200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.93 2/78 32612 /proc/meminfo: memFree=1530936/2055920 swapFree=4160076/4192956 [pid=32413] ppid=32411 vsize=223972 CPUtime=1800.01 /proc/32413/stat : 32413 (bsolo3.0.17) R 32411 32413 31954 0 -1 4194304 57901 0 0 0 179933 68 0 0 25 0 1 0 270871477 229347328 54818 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10125389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32413/statm: 55993 54818 309 324 0 55063 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 223972 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.65 CPU time (s): 1800.05 CPU user time (s): 1799.33 CPU system time (s): 0.72089 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 223972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 0.72089 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57905 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= 38261 runsolver used 1.47978 second user time and 3.66644 second system time The end
Begin job on node12 on Mon Apr 30 15:52:21 UTC 2007 IDJOB= 432730 IDBENCH= 1731 IDSOLVER= 199 FILE ID= node12/432730-1177948341 PBS_JOBID= 4727830 Free space on /tmp= 66553 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-misc04.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432730-1177948341/instance-432730-1177948341.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-432730-1177948341 -o ROOT/results/node12/solver-432730-1177948341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432730-1177948341/instance-432730-1177948341.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a740df3717a1394bed76c2a490fc20be RANDOM SEED= 682576971 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: 1749912 kB Buffers: 38780 kB Cached: 173216 kB SwapCached: 11792 kB Active: 141240 kB Inactive: 94108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749912 kB SwapTotal: 4192956 kB SwapFree: 4160076 kB Dirty: 11456 kB Writeback: 0 kB Mapped: 30220 kB Slab: 56120 kB Committed_AS: 6242992 kB PageTables: 1792 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= 66553 MiB End job on node12 on Mon Apr 30 16:22:24 UTC 2007