Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | ? | 1798.01 | 1798.6 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-2.opb |
MD5SUM | 0b8531b64d2ca93b44d439b9cb9fcfaa |
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 | 6352 |
Total number of constraints | 13429 |
Number of constraints which are clauses | 13429 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 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 HOME/instance-1876961-1245157063.opb 0.00/0.00 c File size is 453016 bytes. 0.00/0.06 c Highest Coefficient sum: 6352 0.00/0.06 c Parsing was ok!! 0.00/0.06 c Total parsing time: 0.064 s 0.00/0.07 c Var: 6352 Constr: 13429 13429/0/0 Lit: 33757 Watch. Lit: 26717 0.00/0.07 c Obj. Vars: 6352 (100 % of total variables) 0.09/0.16 c Pre-processing Time: 0.158 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 1908 5683 16072 2 11366 1894 0 0 0.16 0.09/0.16 c Switching off lower bounding mode. 1797.90/1798.59 c 101 1908 5885 19368 3 11770 2084 202 471 0.21 1797.90/1798.59 c 251 1908 6185 28084 4 12370 2293 502 765 0.33 1797.90/1798.59 c 476 1908 6635 43654 6 13270 2523 952 889 0.54 1797.90/1798.59 c 815 1908 7313 64428 8 14626 2776 1630 885 0.92 1797.90/1798.59 c 1323 1908 8329 100756 12 16658 3054 2646 780 1.70 1797.90/1798.59 c 2088 1908 9859 160570 16 19718 3360 4176 760 2.75 1797.90/1798.59 c 3235 1908 12153 251508 20 24306 3697 6470 698 4.63 1797.90/1798.59 c 4957 1908 9017 160629 17 18034 4067 3334 588 8.42 1797.90/1798.59 c 7541 1908 14185 438279 30 28370 4474 8502 485 15.53 1797.90/1798.59 c 11420 1908 8445 138816 16 16890 4922 2762 481 23.73 1797.90/1798.59 c 17243 1908 13032 418954 32 26064 5415 7349 431 40.01 1797.90/1798.59 c 25980 1908 8554 153228 17 17108 5957 2871 407 63.79 1797.90/1798.59 c 39091 1908 12441 320244 25 24882 6553 6758 412 94.76 1797.90/1798.59 c 58761 1908 12992 394867 30 25984 7209 7309 402 145.97 1797.90/1798.59 c 88271 1908 15269 438393 28 30538 7930 9586 402 219.48 1797.90/1798.59 c 132542 1908 10766 226802 21 21532 8724 5083 405 326.99 1797.90/1798.59 c 198953 1908 10868 244284 22 21736 9597 5185 416 477.40 1797.90/1798.59 c 298574 1908 16358 626629 38 32716 10557 10675 403 739.05 1797.90/1798.59 c 448009 1908 15361 538311 35 30722 11613 9678 392 1142.49 1797.90/1798.59 c 672168 1908 14820 552069 37 29640 12775 9137 377 1781.97 1797.90/1798.59 c Resources Exceeded 1797.90/1798.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.59 c 20 676855 46894 733740 13395 456062 7712 376 1798.00 1797.90/1798.59 s UNKNOWN 1797.90/1798.59 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876961-1245157063/watcher-1876961-1245157063 -o /tmp/evaluation-result-1876961-1245157063/solver-1876961-1245157063 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876961-1245157063.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.01 0.16 0.10 3/64 2569 /proc/meminfo: memFree=1961592/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=18832 CPUtime=0 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 230 0 0 0 0 0 0 0 18 0 1 0 35824 19283968 214 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 4741 215 168 640 0 3986 0 [startup+0.014695 s] /proc/loadavg: 0.01 0.16 0.10 3/64 2569 /proc/meminfo: memFree=1961592/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=11520 CPUtime=0 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 35824 11796480 353 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 2880 354 185 640 0 2125 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11520 [startup+0.1017 s] /proc/loadavg: 0.01 0.16 0.10 3/64 2569 /proc/meminfo: memFree=1961592/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=13632 CPUtime=0.09 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 1109 0 0 0 9 0 0 0 18 0 1 0 35824 13959168 982 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 3408 982 188 640 0 2764 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13632 [startup+0.301712 s] /proc/loadavg: 0.01 0.16 0.10 3/64 2569 /proc/meminfo: memFree=1961592/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=13744 CPUtime=0.29 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 1167 0 0 0 28 1 0 0 19 0 1 0 35824 14073856 1023 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 3436 1023 197 640 0 2792 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13744 [startup+0.701738 s] /proc/loadavg: 0.01 0.16 0.10 3/64 2569 /proc/meminfo: memFree=1961592/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=13744 CPUtime=0.69 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 1167 0 0 0 68 1 0 0 22 0 1 0 35824 14073856 1023 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 3436 1023 197 640 0 2792 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13744 [startup+1.50179 s] /proc/loadavg: 0.01 0.16 0.10 2/65 2570 /proc/meminfo: memFree=1958128/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=13964 CPUtime=1.49 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 1202 0 0 0 148 1 0 0 25 0 1 0 35824 14299136 1058 1992294400 134512640 137136520 4294956256 18446744073709551615 136502118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 3491 1058 197 640 0 2847 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13964 [startup+3.10189 s] /proc/loadavg: 0.09 0.17 0.10 2/65 2570 /proc/meminfo: memFree=1957488/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=15340 CPUtime=3.08 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 1547 0 0 0 307 1 0 0 25 0 1 0 35824 15708160 1403 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 3835 1403 197 640 0 3191 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15340 [startup+6.30109 s] /proc/loadavg: 0.09 0.17 0.10 2/65 2570 /proc/meminfo: memFree=1954816/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=17396 CPUtime=6.29 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 2060 0 0 0 627 2 0 0 25 0 1 0 35824 17813504 1916 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 4349 1916 197 640 0 3705 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17396 [startup+12.7015 s] /proc/loadavg: 0.23 0.20 0.11 2/65 2570 /proc/meminfo: memFree=1953920/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=17848 CPUtime=12.69 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 2186 0 0 0 1266 3 0 0 25 0 1 0 35824 18276352 2042 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 4462 2042 197 640 0 3818 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17848 [startup+25.5013 s] /proc/loadavg: 0.34 0.22 0.12 2/65 2570 /proc/meminfo: memFree=1952512/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=19356 CPUtime=25.49 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 2561 0 0 0 2544 5 0 0 25 0 1 0 35824 19820544 2417 1992294400 134512640 137136520 4294956256 18446744073709551615 136518848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 4839 2417 197 640 0 4195 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 19356 [startup+51.1019 s] /proc/loadavg: 0.57 0.29 0.14 2/65 2570 /proc/meminfo: memFree=1950976/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=20868 CPUtime=51.08 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 2947 0 0 0 5100 8 0 0 25 0 1 0 35824 21368832 2803 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5217 2803 197 640 0 4573 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20868 [startup+102.306 s] /proc/loadavg: 0.83 0.40 0.19 2/65 2570 /proc/meminfo: memFree=1949952/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=21928 CPUtime=102.26 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 3207 0 0 0 10214 12 0 0 25 0 1 0 35824 22454272 3063 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5482 3063 197 640 0 4838 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 21928 [startup+162.301 s] /proc/loadavg: 0.93 0.50 0.23 2/65 2570 /proc/meminfo: memFree=1949952/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=21932 CPUtime=162.25 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 3208 0 0 0 16207 18 0 0 25 0 1 0 35824 22458368 3064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5483 3064 197 640 0 4839 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21932 [startup+222.302 s] /proc/loadavg: 0.97 0.60 0.28 2/65 2576 /proc/meminfo: memFree=1949632/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=21932 CPUtime=222.22 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 3208 0 0 0 22198 24 0 0 25 0 1 0 35824 22458368 3064 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5483 3064 197 640 0 4839 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 21932 [startup+282.302 s] /proc/loadavg: 0.99 0.66 0.32 2/65 2576 /proc/meminfo: memFree=1948480/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=23228 CPUtime=282.2 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 3524 0 0 0 28191 29 0 0 25 0 1 0 35824 23785472 3380 1992294400 134512640 137136520 4294956256 18446744073709551615 134544411 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5807 3380 197 640 0 5163 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 23228 [startup+342.301 s] /proc/loadavg: 0.99 0.72 0.36 2/65 2576 /proc/meminfo: memFree=1948480/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=23112 CPUtime=342.19 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 3525 0 0 0 34185 34 0 0 25 0 1 0 35824 23666688 3365 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5778 3365 197 640 0 5134 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 23112 [startup+402.302 s] /proc/loadavg: 0.99 0.77 0.40 2/65 2576 /proc/meminfo: memFree=1948480/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=23088 CPUtime=402.17 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 3525 0 0 0 40178 39 0 0 25 0 1 0 35824 23642112 3359 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5772 3359 197 640 0 5128 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 23088 [startup+462.302 s] /proc/loadavg: 0.99 0.81 0.43 2/65 2576 /proc/meminfo: memFree=1948096/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=23488 CPUtime=462.14 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 3622 0 0 0 46170 44 0 0 25 0 1 0 35824 24051712 3456 1992294400 134512640 137136520 4294956256 18446744073709551615 136295682 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 5872 3456 197 640 0 5228 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 23488 [startup+522.302 s] /proc/loadavg: 0.99 0.84 0.47 2/65 2576 /proc/meminfo: memFree=1946496/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=25072 CPUtime=522.12 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4003 0 0 0 52163 49 0 0 25 0 1 0 35824 25673728 3837 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6268 3837 197 640 0 5624 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 25072 [startup+582.302 s] /proc/loadavg: 0.99 0.87 0.50 2/65 2576 /proc/meminfo: memFree=1946496/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=25004 CPUtime=582.1 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4003 0 0 0 58155 55 0 0 25 0 1 0 35824 25604096 3837 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6251 3837 197 640 0 5607 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 25004 [startup+642.301 s] /proc/loadavg: 0.99 0.89 0.53 2/65 2576 /proc/meminfo: memFree=1946240/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=25188 CPUtime=642.09 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4048 0 0 0 64149 60 0 0 25 0 1 0 35824 25792512 3882 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6297 3882 197 640 0 5653 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 25188 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1944256/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=27028 CPUtime=1121.92 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4495 0 0 0 112089 103 0 0 25 0 1 0 35824 27676672 4329 1992294400 134512640 137136520 4294956256 18446744073709551615 136509145 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6757 4329 197 640 0 6113 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 27028 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.71 2/65 2576 /proc/meminfo: memFree=1944256/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=26896 CPUtime=1181.9 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4496 0 0 0 118083 107 0 0 25 0 1 0 35824 27541504 4311 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6724 4311 197 640 0 6080 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 26896 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.73 2/65 2576 /proc/meminfo: memFree=1944192/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=27008 CPUtime=1241.89 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4510 0 0 0 124077 112 0 0 25 0 1 0 35824 27656192 4325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6752 4325 197 640 0 6108 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 27008 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.74 2/65 2576 /proc/meminfo: memFree=1944192/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=26980 CPUtime=1301.87 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4510 0 0 0 130069 118 0 0 25 0 1 0 35824 27627520 4325 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6745 4325 197 640 0 6101 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 26980 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.75 2/65 2576 /proc/meminfo: memFree=1943552/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=27624 CPUtime=1361.84 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4664 0 0 0 136061 123 0 0 25 0 1 0 35824 28286976 4479 1992294400 134512640 137136520 4294956256 18446744073709551615 134606769 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6906 4479 197 640 0 6262 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 27624 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.77 2/65 2576 /proc/meminfo: memFree=1943552/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=27608 CPUtime=1421.82 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4664 0 0 0 142053 129 0 0 25 0 1 0 35824 28270592 4479 1992294400 134512640 137136520 4294956256 18446744073709551615 134573649 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6902 4479 197 640 0 6258 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 27608 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.78 2/65 2576 /proc/meminfo: memFree=1943360/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=27704 CPUtime=1481.8 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4697 0 0 0 148046 134 0 0 25 0 1 0 35824 28368896 4512 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 6926 4512 197 640 0 6282 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 27704 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.79 2/65 2576 /proc/meminfo: memFree=1942528/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=28544 CPUtime=1541.77 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4899 0 0 0 154039 138 0 0 25 0 1 0 35824 29229056 4707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7136 4707 197 640 0 6492 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 28544 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.80 2/65 2576 /proc/meminfo: memFree=1942528/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=28480 CPUtime=1601.75 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4899 0 0 0 160031 144 0 0 25 0 1 0 35824 29163520 4707 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7120 4707 197 640 0 6476 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 28480 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.81 2/65 2576 /proc/meminfo: memFree=1942400/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=28564 CPUtime=1661.73 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4926 0 0 0 166025 148 0 0 25 0 1 0 35824 29249536 4724 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7141 4724 197 640 0 6497 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 28564 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.82 2/65 2576 /proc/meminfo: memFree=1942208/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=28784 CPUtime=1721.71 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 4970 0 0 0 172019 152 0 0 25 0 1 0 35824 29474816 4768 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7196 4768 197 640 0 6552 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 28784 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=29032 CPUtime=1781.7 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 5048 0 0 0 178014 156 0 0 25 0 1 0 35824 29728768 4845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7258 4845 197 640 0 6614 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 29032 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=29032 CPUtime=1791.3 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 5048 0 0 0 178973 157 0 0 25 0 1 0 35824 29728768 4845 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7258 4845 197 640 0 6614 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (KiB) 29032 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=29032 CPUtime=1794.5 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 5048 0 0 0 179292 158 0 0 25 0 1 0 35824 29728768 4845 1992294400 134512640 137136520 4294956256 18446744073709551615 135982492 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7258 4845 197 640 0 6614 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (KiB) 29032 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=29036 CPUtime=1796.1 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 5049 0 0 0 179452 158 0 0 25 0 1 0 35824 29732864 4846 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7259 4846 197 640 0 6615 0 Current children cumulated CPU time (s) 1796.1 Current children cumulated vsize (KiB) 29036 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=29036 CPUtime=1796.9 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 5049 0 0 0 179532 158 0 0 25 0 1 0 35824 29732864 4846 1992294400 134512640 137136520 4294956256 18446744073709551615 134572220 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7259 4846 197 640 0 6615 0 Current children cumulated CPU time (s) 1796.9 Current children cumulated vsize (KiB) 29036 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=29036 CPUtime=1797.7 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 5049 0 0 0 179612 158 0 0 25 0 1 0 35824 29732864 4846 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7259 4846 197 640 0 6615 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 29036 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=29036 CPUtime=1797.9 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194304 5049 0 0 0 179632 158 0 0 25 0 1 0 35824 29732864 4846 1992294400 134512640 137136520 4294956256 18446744073709551615 136294929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 7259 4846 197 640 0 6615 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 29036 [startup+1798.6 s] /proc/loadavg: 0.99 0.97 0.83 2/65 2576 /proc/meminfo: memFree=1941888/2055920 swapFree=4192956/4192956 [pid=2569] ppid=2567 vsize=0 CPUtime=1797.99 /proc/2569/stat : 2569 (bsolo) R 2567 2569 2526 0 -1 4194308 5050 0 0 0 179641 158 0 0 25 0 1 0 35824 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2569/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.6 CPU time (s): 1798.01 CPU user time (s): 1796.42 CPU system time (s): 1.58576 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 29040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.42 system time used= 1.58576 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5050 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= 3 involuntary context switches= 3413 runsolver used 1.73174 second user time and 3.18851 second system time The end
Begin job on node30 at 2009-06-16 14:57:43 IDJOB=1876961 IDBENCH=2160 IDSOLVER=699 FILE ID=node30/1876961-1245157063 PBS_JOBID= 9363829 Free space on /tmp= 66220 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876961-1245157063/watcher-1876961-1245157063 -o /tmp/evaluation-result-1876961-1245157063/solver-1876961-1245157063 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876961-1245157063.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0b8531b64d2ca93b44d439b9cb9fcfaa RANDOM SEED=1529092591 node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.273 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.273 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: 1962784 kB Buffers: 10484 kB Cached: 41808 kB SwapCached: 0 kB Active: 41908 kB Inactive: 23088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1962784 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4416 kB Writeback: 0 kB Mapped: 22472 kB Slab: 14280 kB Committed_AS: 50168 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876961-1245157063.opb Free space on /tmp at the end= 66216 MiB End job on node30 at 2009-06-16 15:27:42