Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.02 | 1798.91 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb |
MD5SUM | 8b00ea770361f301179000d52beb4a25 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 8.07877 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 243 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 729 |
Sum of products size (including duplicates) | 1458 |
Number of different products | 729 |
Sum of products size | 1458 |
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: Generic Pseudo-Boolean 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-1879360-1245243534.opb 0.00/0.00 c File size is 55270 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.007 s 0.00/0.00 c Var: 972 Constr: 1486 729/0/757 Lit: 6228 Watch. Lit: 3809 0.00/0.00 c Obj. Vars: 9 (0.925926 % of total variables) 0.00/0.01 c Pre-processing Time: 0.017 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 972 1486 6228 4 5357 8325 0 0 0.02 0.00/0.01 c Switching off lower bounding mode. 1798.00/1798.90 c 101 972 1685 22632 13 10706 9158 199 2244 0.04 1798.00/1798.90 c 251 972 1957 45263 23 13225 10074 471 2436 0.10 1798.00/1798.90 c 478 972 2392 81042 33 18693 11082 906 2254 0.21 1798.00/1798.90 c 816 972 3034 137159 45 39220 12191 1548 1569 0.52 1798.00/1798.90 c 1325 972 4013 224857 56 58765 13411 2527 1015 1.30 1798.00/1798.90 c 2089 972 5489 351891 64 91908 14753 4003 628 3.32 1798.00/1798.90 c 3236 972 7734 535900 69 131610 16229 6248 374 8.64 1798.00/1798.90 c 4957 972 11065 811240 73 242785 17852 9579 215 22.96 1798.00/1798.90 c 7542 972 16022 1227086 76 341322 19638 14536 97 77.44 1798.00/1798.90 c 11422 972 13413 1140821 85 210512 21602 11927 87 130.48 1798.00/1798.90 c 17244 972 13596 1028171 75 188703 23763 12110 74 232.34 1798.00/1798.90 c 25982 972 18000 1347225 74 295549 26140 16514 51 505.27 1798.00/1798.90 c 39092 972 16149 1194284 73 246040 28755 14663 37 1043.27 1798.00/1798.90 c 58762 972 21361 2344094 109 259300 31631 19875 41 1408.50 1798.00/1798.90 c Resources Exceeded 1798.00/1798.90 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.90 c 14 88118 1479 96809 27748 2647300 26262 49 1798.01 1798.00/1798.90 s UNKNOWN 1798.00/1798.90 c Total time: 1798.01 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-1879360-1245243534/watcher-1879360-1245243534 -o /tmp/evaluation-result-1879360-1245243534/solver-1879360-1245243534 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879360-1245243534.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: 1.00 1.00 0.92 3/64 8856 /proc/meminfo: memFree=1784464/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=10764 CPUtime=0 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 180879653 11022336 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 2691 244 176 640 0 2033 0 [startup+0.0880111 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8856 /proc/meminfo: memFree=1784464/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=11760 CPUtime=0.08 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 545 0 0 0 8 0 0 0 18 0 1 0 180879653 12042240 515 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 2940 515 198 640 0 2296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11760 [startup+0.101014 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8856 /proc/meminfo: memFree=1784464/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=11888 CPUtime=0.09 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 573 0 0 0 9 0 0 0 18 0 1 0 180879653 12173312 543 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 2972 543 198 640 0 2328 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11888 [startup+0.301053 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8856 /proc/meminfo: memFree=1784464/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=12780 CPUtime=0.29 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 805 0 0 0 29 0 0 0 19 0 1 0 180879653 13086720 775 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 3195 775 198 640 0 2551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12780 [startup+0.701132 s] /proc/loadavg: 1.00 1.00 0.92 3/64 8856 /proc/meminfo: memFree=1784464/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=14200 CPUtime=0.69 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 1156 0 0 0 69 0 0 0 23 0 1 0 180879653 14540800 1126 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 3550 1126 198 640 0 2906 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14200 [startup+1.50129 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8857 /proc/meminfo: memFree=1780104/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=16536 CPUtime=1.49 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 1737 0 0 0 149 0 0 0 25 0 1 0 180879653 16932864 1707 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 4134 1707 198 640 0 3490 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16536 [startup+3.1016 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8857 /proc/meminfo: memFree=1777224/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=18208 CPUtime=3.09 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 2162 0 0 0 308 1 0 0 25 0 1 0 180879653 18644992 2132 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 4552 2132 198 640 0 3908 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18208 [startup+6.30124 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8857 /proc/meminfo: memFree=1774984/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=20384 CPUtime=6.29 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 2702 0 0 0 628 1 0 0 25 0 1 0 180879653 20873216 2672 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 5096 2672 198 640 0 4452 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20384 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8857 /proc/meminfo: memFree=1770120/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=24460 CPUtime=12.69 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 3715 0 0 0 1267 2 0 0 25 0 1 0 180879653 25047040 3685 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 6115 3685 198 640 0 5471 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24460 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8857 /proc/meminfo: memFree=1764616/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=30568 CPUtime=25.49 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 5240 0 0 0 2546 3 0 0 25 0 1 0 180879653 31301632 5210 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 7642 5210 198 640 0 6998 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30568 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8857 /proc/meminfo: memFree=1760904/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=33952 CPUtime=51.07 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 6092 0 0 0 5104 3 0 0 25 0 1 0 180879653 34766848 6062 1992294400 134512640 137136520 4294956256 18446744073709551615 134574468 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 8488 6062 198 640 0 7844 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33952 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8857 /proc/meminfo: memFree=1746248/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=48288 CPUtime=102.26 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9687 0 0 0 10219 7 0 0 25 0 1 0 180879653 49446912 9657 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12072 9657 198 640 0 11428 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 48288 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1745928/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=48476 CPUtime=162.22 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9736 0 0 0 16214 8 0 0 25 0 1 0 180879653 49639424 9706 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12119 9706 198 640 0 11475 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 48476 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1745928/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=48484 CPUtime=222.18 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9740 0 0 0 22209 9 0 0 25 0 1 0 180879653 49647616 9710 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12121 9710 198 640 0 11477 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 48484 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1745864/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=48484 CPUtime=282.15 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9740 0 0 0 28205 10 0 0 25 0 1 0 180879653 49647616 9710 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12121 9710 198 640 0 11477 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 48484 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1745800/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=48484 CPUtime=342.12 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9740 0 0 0 34201 11 0 0 25 0 1 0 180879653 49647616 9710 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12121 9710 198 640 0 11477 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 48484 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1745736/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=48488 CPUtime=402.09 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9741 0 0 0 40197 12 0 0 25 0 1 0 180879653 49651712 9711 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12122 9711 198 640 0 11478 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 48488 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1745032/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=49336 CPUtime=462.06 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9955 0 0 0 46194 12 0 0 25 0 1 0 180879653 50520064 9925 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12334 9925 198 640 0 11690 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 49336 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1744968/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=49336 CPUtime=522.03 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9955 0 0 0 52191 12 0 0 25 0 1 0 180879653 50520064 9925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12334 9925 198 640 0 11690 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 49336 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1744904/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=49336 CPUtime=582 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9955 0 0 0 58187 13 0 0 25 0 1 0 180879653 50520064 9925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12334 9925 198 640 0 11690 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 49336 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1744840/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=49336 CPUtime=641.98 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 9955 0 0 0 64185 13 0 0 25 0 1 0 180879653 50520064 9925 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12334 9925 198 640 0 11690 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 49336 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1742280/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=51688 CPUtime=1061.76 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 10548 0 0 0 106159 17 0 0 25 0 1 0 180879653 52928512 10518 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 12922 10518 198 640 0 12278 0 Current children cumulated CPU time (s) 1061.76 Current children cumulated vsize (KiB) 51688 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1731976/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=62092 CPUtime=1121.73 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 13149 0 0 0 112153 20 0 0 25 0 1 0 180879653 63582208 13119 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 15523 13119 198 640 0 14879 0 Current children cumulated CPU time (s) 1121.73 Current children cumulated vsize (KiB) 62092 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1731912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=62092 CPUtime=1181.7 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 13149 0 0 0 118149 21 0 0 25 0 1 0 180879653 63582208 13119 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 15523 13119 198 640 0 14879 0 Current children cumulated CPU time (s) 1181.7 Current children cumulated vsize (KiB) 62092 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1731848/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=62092 CPUtime=1241.68 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 13149 0 0 0 124146 22 0 0 25 0 1 0 180879653 63582208 13119 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 15523 13119 198 640 0 14879 0 Current children cumulated CPU time (s) 1241.68 Current children cumulated vsize (KiB) 62092 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1727176/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=66880 CPUtime=1301.64 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 14322 0 0 0 130140 24 0 0 25 0 1 0 180879653 68485120 14292 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 16720 14292 198 640 0 16076 0 Current children cumulated CPU time (s) 1301.64 Current children cumulated vsize (KiB) 66880 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1726408/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=67504 CPUtime=1361.62 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 14503 0 0 0 136137 25 0 0 25 0 1 0 180879653 69124096 14473 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 16876 14473 198 640 0 16232 0 Current children cumulated CPU time (s) 1361.62 Current children cumulated vsize (KiB) 67504 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1725896/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=68140 CPUtime=1421.59 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 14652 0 0 0 142133 26 0 0 25 0 1 0 180879653 69775360 14622 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 17035 14622 198 640 0 16391 0 Current children cumulated CPU time (s) 1421.59 Current children cumulated vsize (KiB) 68140 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1719176/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=74688 CPUtime=1481.56 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 16307 0 0 0 148128 28 0 0 25 0 1 0 180879653 76480512 16271 1992294400 134512640 137136520 4294956256 18446744073709551615 134573545 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 18672 16271 198 640 0 18028 0 Current children cumulated CPU time (s) 1481.56 Current children cumulated vsize (KiB) 74688 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1719112/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=74688 CPUtime=1541.52 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 16307 0 0 0 154123 29 0 0 25 0 1 0 180879653 76480512 16271 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 18672 16271 198 640 0 18028 0 Current children cumulated CPU time (s) 1541.52 Current children cumulated vsize (KiB) 74688 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1719048/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=74688 CPUtime=1601.49 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 16307 0 0 0 160119 30 0 0 25 0 1 0 180879653 76480512 16271 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 18672 16271 198 640 0 18028 0 Current children cumulated CPU time (s) 1601.49 Current children cumulated vsize (KiB) 74688 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1716040/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1661.46 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 166115 31 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134540966 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1661.46 Current children cumulated vsize (KiB) 77700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715976/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1721.44 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 172112 32 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1721.44 Current children cumulated vsize (KiB) 77700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1781.41 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 178107 34 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134544186 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (KiB) 77700 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1791.01 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 179067 34 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1791.01 Current children cumulated vsize (KiB) 77700 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1794.2 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 179386 34 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1794.2 Current children cumulated vsize (KiB) 77700 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1795.8 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 179546 34 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1795.8 Current children cumulated vsize (KiB) 77700 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1797.4 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 179706 34 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (KiB) 77700 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1797.8 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 179746 34 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 77700 [startup+1798.9 s] /proc/loadavg: 1.00 1.00 0.92 2/65 8863 /proc/meminfo: memFree=1715912/2055920 swapFree=4192812/4192956 [pid=8856] ppid=8854 vsize=77700 CPUtime=1798 /proc/8856/stat : 8856 (bsolo) R 8854 8856 8576 0 -1 4194304 17061 0 0 0 179766 34 0 0 25 0 1 0 180879653 79564800 17025 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8856/statm: 19425 17025 198 640 0 18781 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 77700 Child status: 0 Real time (s): 1798.91 CPU time (s): 1798.02 CPU user time (s): 1797.66 CPU system time (s): 0.358945 CPU usage (%): 99.9504 Max. virtual memory (cumulated for all children) (KiB): 77700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.66 system time used= 0.358945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17062 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= 2 involuntary context switches= 3872 runsolver used 1.79373 second user time and 4.11737 second system time The end
Begin job on node53 at 2009-06-17 14:58:54 IDJOB=1879360 IDBENCH=47910 IDSOLVER=701 FILE ID=node53/1879360-1245243534 PBS_JOBID= 9372288 Free space on /tmp= 66308 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=307-P1=313-P2=331-P3=461-P4=131-P5=307-P6=149-P7=479-P8=317-P9=431-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879360-1245243534/watcher-1879360-1245243534 -o /tmp/evaluation-result-1879360-1245243534/solver-1879360-1245243534 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879360-1245243534.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8b00ea770361f301179000d52beb4a25 RANDOM SEED=1812696836 node53.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.283 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.283 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1785008 kB Buffers: 23808 kB Cached: 177668 kB SwapCached: 144 kB Active: 67572 kB Inactive: 147420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1785008 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 23240 kB Slab: 42040 kB Committed_AS: 91772 kB PageTables: 1380 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-1879360-1245243534.opb Free space on /tmp at the end= 66304 MiB End job on node53 at 2009-06-17 15:28:53