Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.01 | 1798.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb |
MD5SUM | 931666055852afe6f909d62fafedf38c |
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 | 6.61899 |
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 | 144 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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-1879524-1245244885.opb 0.00/0.00 c File size is 28515 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030 0.00/0.00 c Obj. Vars: 8 (1.51515 % of total variables) 0.00/0.01 c Pre-processing Time: 0.009 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 528 787 3304 4 2838 4431 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1797.95/1798.54 c 100 528 970 15434 15 5590 4875 183 3448 0.03 1797.95/1798.54 c 250 528 1244 33360 26 8973 5363 457 2604 0.10 1797.95/1798.54 c 475 528 1686 58907 34 14994 5900 899 2272 0.21 1797.95/1798.54 c 813 528 2269 97818 43 26370 6491 1482 1978 0.41 1797.95/1798.54 c 1321 528 3257 161842 49 42885 7141 2470 965 1.37 1797.95/1798.54 c 2084 528 4698 266939 56 67501 7856 3911 1096 1.90 1797.95/1798.54 c 3230 528 6897 410334 59 86608 8642 6110 595 5.42 1797.95/1798.54 c 4951 528 5639 323933 57 57538 9507 4852 345 14.35 1797.95/1798.54 c 7535 528 5542 357360 64 66507 10458 4755 381 19.77 1797.95/1798.54 c 11414 528 7371 460990 62 83508 11504 6584 333 34.20 1797.95/1798.54 c 17236 528 10802 707883 65 59050 12655 10015 297 57.88 1797.95/1798.54 c 25973 528 7958 448560 56 100943 13921 7171 184 140.74 1797.95/1798.54 c 39083 528 9672 629300 65 76416 15314 8885 195 199.75 1797.95/1798.54 c 58753 528 14485 922647 63 205095 16846 13698 147 397.88 1797.95/1798.54 c 88265 528 16045 1080705 67 193538 18531 15258 108 812.38 1797.95/1798.54 c 132536 528 14357 908727 63 188577 20385 13570 80 1643.96 1797.95/1798.54 c Resources Exceeded 1797.95/1798.54 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.54 c 16 152293 2399 161289 18416 1310423 17629 84 1798.00 1797.95/1798.54 s UNKNOWN 1797.95/1798.54 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-1879524-1245244885/watcher-1879524-1245244885 -o /tmp/evaluation-result-1879524-1245244885/solver-1879524-1245244885 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879524-1245244885.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.99 0.97 0.91 3/64 17098 /proc/meminfo: memFree=1632928/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=10708 CPUtime=0 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 192088542 10964992 248 1992294400 134512640 137136520 4294956256 18446744073709551615 136379950 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 2677 252 184 640 0 2033 0 [startup+0.0196529 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17098 /proc/meminfo: memFree=1632928/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=10972 CPUtime=0.01 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 347 0 0 0 1 0 0 0 18 0 1 0 192088542 11235328 324 1992294400 134512640 137136520 4294956256 18446744073709551615 136499604 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 2743 324 197 640 0 2099 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 10972 [startup+0.101661 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17098 /proc/meminfo: memFree=1632928/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=11484 CPUtime=0.1 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 471 0 0 0 10 0 0 0 18 0 1 0 192088542 11759616 448 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 2871 448 198 640 0 2227 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11484 [startup+0.301683 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17098 /proc/meminfo: memFree=1632928/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=12260 CPUtime=0.3 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 680 0 0 0 30 0 0 0 19 0 1 0 192088542 12554240 657 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 3065 657 198 640 0 2421 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12260 [startup+0.701729 s] /proc/loadavg: 0.99 0.97 0.91 3/64 17098 /proc/meminfo: memFree=1632928/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=13300 CPUtime=0.69 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 948 0 0 0 69 0 0 0 23 0 1 0 192088542 13619200 925 1992294400 134512640 137136520 4294956256 18446744073709551615 134574217 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 3325 925 198 640 0 2681 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13300 [startup+1.50182 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1629592/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=14600 CPUtime=1.49 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 1260 0 0 0 149 0 0 0 25 0 1 0 192088542 14950400 1237 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 3650 1237 198 640 0 3006 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14600 [startup+3.10201 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1626648/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=17180 CPUtime=3.1 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 1908 0 0 0 309 1 0 0 25 0 1 0 192088542 17592320 1885 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 4295 1885 198 640 0 3651 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 17180 [startup+6.30119 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1624024/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=19136 CPUtime=6.28 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 2400 0 0 0 627 1 0 0 25 0 1 0 192088542 19595264 2377 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/17098/statm: 4784 2377 198 640 0 4140 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19136 [startup+12.7019 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1621976/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=21180 CPUtime=12.68 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 2903 0 0 0 1266 2 0 0 25 0 1 0 192088542 21688320 2880 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 5295 2880 198 640 0 4651 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21180 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1618712/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=24408 CPUtime=25.47 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 3702 0 0 0 2544 3 0 0 25 0 1 0 192088542 24993792 3679 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 6102 3679 198 640 0 5458 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 24408 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1617112/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=25968 CPUtime=51.06 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 4095 0 0 0 5102 4 0 0 25 0 1 0 192088542 26591232 4072 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 6492 4072 198 640 0 5848 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 25968 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1616856/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=26232 CPUtime=102.25 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 4166 0 0 0 10218 7 0 0 25 0 1 0 192088542 26861568 4143 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 6558 4143 198 640 0 5914 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 26232 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1613336/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=29708 CPUtime=162.23 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 5032 0 0 0 16213 10 0 0 25 0 1 0 192088542 30420992 5009 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 7427 5009 198 640 0 6783 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 29708 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1611736/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=31244 CPUtime=222.21 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 5424 0 0 0 22208 13 0 0 25 0 1 0 192088542 31993856 5401 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 7811 5401 198 640 0 7167 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 31244 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1610712/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=32232 CPUtime=282.19 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 5664 0 0 0 28204 15 0 0 25 0 1 0 192088542 33005568 5641 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 8058 5641 198 640 0 7414 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 32232 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1610648/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=32232 CPUtime=342.18 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 5664 0 0 0 34201 17 0 0 25 0 1 0 192088542 33005568 5641 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 8058 5641 198 640 0 7414 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 32232 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1608536/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=34360 CPUtime=402.15 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6198 0 0 0 40198 17 0 0 25 0 1 0 192088542 35184640 6175 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 8590 6175 198 640 0 7946 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 34360 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1607896/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=34880 CPUtime=462.14 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6336 0 0 0 46195 19 0 0 25 0 1 0 192088542 35717120 6313 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 8720 6313 198 640 0 8076 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 34880 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1607896/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=34880 CPUtime=522.12 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6336 0 0 0 52192 20 0 0 25 0 1 0 192088542 35717120 6313 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 8720 6313 198 640 0 8076 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 34880 [startup+582.305 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1607896/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=34880 CPUtime=582.11 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6336 0 0 0 58190 21 0 0 25 0 1 0 192088542 35717120 6313 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 8720 6313 198 640 0 8076 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 34880 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1607832/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=34880 CPUtime=642.09 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6336 0 0 0 64187 22 0 0 25 0 1 0 192088542 35717120 6313 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 8720 6313 198 640 0 8076 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 34880 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1605528/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37052 CPUtime=1061.97 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6873 0 0 0 106165 32 0 0 25 0 1 0 192088542 37941248 6850 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9263 6850 198 640 0 8619 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 37052 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1605464/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37052 CPUtime=1121.95 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6873 0 0 0 112163 32 0 0 25 0 1 0 192088542 37941248 6850 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9263 6850 198 640 0 8619 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 37052 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1605400/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37052 CPUtime=1181.93 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6873 0 0 0 118160 33 0 0 25 0 1 0 192088542 37941248 6850 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9263 6850 198 640 0 8619 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 37052 [startup+1242.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1605400/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37044 CPUtime=1241.91 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6873 0 0 0 124157 34 0 0 25 0 1 0 192088542 37933056 6850 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9261 6850 198 640 0 8617 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 37044 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1605336/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37044 CPUtime=1301.89 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6873 0 0 0 130154 35 0 0 25 0 1 0 192088542 37933056 6850 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9261 6850 198 640 0 8617 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 37044 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1605336/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37044 CPUtime=1361.88 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6873 0 0 0 136152 36 0 0 25 0 1 0 192088542 37933056 6850 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9261 6850 198 640 0 8617 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 37044 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1604952/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37388 CPUtime=1421.85 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6956 0 0 0 142149 36 0 0 25 0 1 0 192088542 38285312 6933 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9347 6933 198 640 0 8703 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 37388 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1604952/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37388 CPUtime=1481.84 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6956 0 0 0 148146 38 0 0 25 0 1 0 192088542 38285312 6933 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9347 6933 198 640 0 8703 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 37388 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1604888/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37388 CPUtime=1541.82 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6956 0 0 0 154144 38 0 0 25 0 1 0 192088542 38285312 6933 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9347 6933 198 640 0 8703 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 37388 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1604888/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37388 CPUtime=1601.8 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 6956 0 0 0 160141 39 0 0 25 0 1 0 192088542 38285312 6933 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9347 6933 198 640 0 8703 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 37388 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1604312/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=37904 CPUtime=1661.79 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7092 0 0 0 166138 41 0 0 25 0 1 0 192088542 38813696 7069 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9476 7069 198 640 0 8832 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 37904 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602968/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39252 CPUtime=1721.77 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7424 0 0 0 172133 44 0 0 25 0 1 0 192088542 40194048 7401 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9813 7401 198 640 0 9169 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 39252 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602904/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39256 CPUtime=1781.75 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7425 0 0 0 178130 45 0 0 25 0 1 0 192088542 40198144 7402 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9814 7402 198 640 0 9170 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 39256 Solver just ended. Dumping a history of the last processes samples [startup+1792.31 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602904/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39256 CPUtime=1791.76 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7425 0 0 0 179130 46 0 0 25 0 1 0 192088542 40198144 7402 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9814 7402 198 640 0 9170 0 Current children cumulated CPU time (s) 1791.76 Current children cumulated vsize (KiB) 39256 [startup+1795.5 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602904/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39256 CPUtime=1794.95 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7425 0 0 0 179449 46 0 0 25 0 1 0 192088542 40198144 7402 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9814 7402 198 640 0 9170 0 Current children cumulated CPU time (s) 1794.95 Current children cumulated vsize (KiB) 39256 [startup+1797.1 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602904/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39256 CPUtime=1796.55 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7425 0 0 0 179609 46 0 0 25 0 1 0 192088542 40198144 7402 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9814 7402 198 640 0 9170 0 Current children cumulated CPU time (s) 1796.55 Current children cumulated vsize (KiB) 39256 [startup+1797.9 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602904/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39256 CPUtime=1797.35 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7425 0 0 0 179689 46 0 0 25 0 1 0 192088542 40198144 7402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9814 7402 198 640 0 9170 0 Current children cumulated CPU time (s) 1797.35 Current children cumulated vsize (KiB) 39256 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602904/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39256 CPUtime=1797.75 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7425 0 0 0 179729 46 0 0 25 0 1 0 192088542 40198144 7402 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9814 7402 198 640 0 9170 0 Current children cumulated CPU time (s) 1797.75 Current children cumulated vsize (KiB) 39256 [startup+1798.5 s] /proc/loadavg: 0.99 0.97 0.91 2/65 17099 /proc/meminfo: memFree=1602904/2055920 swapFree=4181368/4192956 [pid=17098] ppid=17096 vsize=39256 CPUtime=1797.95 /proc/17098/stat : 17098 (bsolo) R 17096 17098 16785 0 -1 4194304 7425 0 0 0 179749 46 0 0 25 0 1 0 192088542 40198144 7402 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17098/statm: 9814 7402 198 640 0 9170 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 39256 Child status: 0 Real time (s): 1798.55 CPU time (s): 1798.01 CPU user time (s): 1797.54 CPU system time (s): 0.471928 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 39256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.54 system time used= 0.471928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7426 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= 3360 runsolver used 1.3288 second user time and 4.02339 second system time The end
Begin job on node28 at 2009-06-17 15:21:25 IDJOB=1879524 IDBENCH=48074 IDSOLVER=701 FILE ID=node28/1879524-1245244885 PBS_JOBID= 9372310 Free space on /tmp= 66176 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879524-1245244885/watcher-1879524-1245244885 -o /tmp/evaluation-result-1879524-1245244885/solver-1879524-1245244885 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879524-1245244885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 931666055852afe6f909d62fafedf38c RANDOM SEED=1189342579 node28.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.231 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.231 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: 1633472 kB Buffers: 30176 kB Cached: 306360 kB SwapCached: 5164 kB Active: 56680 kB Inactive: 289440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1633472 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 3948 kB Writeback: 0 kB Mapped: 14688 kB Slab: 62184 kB Committed_AS: 185920 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879524-1245244885.opb Free space on /tmp at the end= 66176 MiB End job on node28 at 2009-06-17 15:51:24