Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.03 | 1798.56 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb |
MD5SUM | 6d677c4de75200a225209ed048e7b96e |
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 | 2.93455 |
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 | 135 |
Total number of constraints | 11 |
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 | 11 |
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) | 405 |
Sum of products size (including duplicates) | 810 |
Number of different products | 405 |
Sum of products size | 810 |
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-1879399-1245243628.opb 0.00/0.00 c File size is 30043 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.005 s 0.00/0.00 c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117 0.00/0.00 c Obj. Vars: 9 (1.66667 % of total variables) 0.00/0.01 c Pre-processing Time: 0.011 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 540 826 3456 4 2973 4616 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1797.97/1798.54 c 101 540 1018 18068 17 7088 5078 192 2463 0.04 1797.97/1798.54 c 252 540 1306 40676 31 13128 5586 480 1737 0.14 1797.97/1798.54 c 477 540 1740 77324 44 20038 6145 914 1339 0.36 1797.97/1798.54 c 815 540 2406 134082 55 35170 6760 1580 1091 0.75 1797.97/1798.54 c 1323 540 3373 220568 65 59783 7437 2547 868 1.52 1797.97/1798.54 c 2088 540 4867 347399 71 80610 8181 4041 627 3.33 1797.97/1798.54 c 3234 540 7081 523356 73 140928 9000 6255 295 10.96 1797.97/1798.54 c 4955 540 5375 411742 76 77325 9901 4549 329 15.04 1797.97/1798.54 c 7540 540 10002 826903 82 157255 10892 9176 334 22.51 1797.97/1798.54 c 11420 540 11478 1045665 91 120715 11982 10652 344 33.15 1797.97/1798.54 c 17242 540 10010 892652 89 94347 13181 9184 201 85.58 1797.97/1798.54 c 25980 540 13271 1003395 75 222066 14500 12445 136 190.96 1797.97/1798.54 c 39090 540 9050 650527 71 159870 15951 8224 79 492.81 1797.97/1798.54 c 58760 540 12202 1043510 85 191766 17547 11376 61 952.05 1797.97/1798.55 c 88271 540 14363 1093854 76 256227 19302 13537 55 1577.51 1797.97/1798.55 c Resources Exceeded 1797.97/1798.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.55 c 15 95345 774 98807 17932 1379771 17106 53 1798.02 1797.97/1798.55 s UNKNOWN 1797.97/1798.55 c Total time: 1798.02 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-1879399-1245243628/watcher-1879399-1245243628 -o /tmp/evaluation-result-1879399-1245243628/solver-1879399-1245243628 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879399-1245243628.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.11 1.07 1.00 3/64 9309 /proc/meminfo: memFree=1856504/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=10740 CPUtime=0 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 191962753 10997760 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 2685 236 175 640 0 2033 0 [startup+0.0262609 s] /proc/loadavg: 1.11 1.07 1.00 3/64 9309 /proc/meminfo: memFree=1856504/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=11100 CPUtime=0.02 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 367 0 0 0 2 0 0 0 18 0 1 0 191962753 11366400 343 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 2775 343 197 640 0 2131 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11100 [startup+0.101267 s] /proc/loadavg: 1.11 1.07 1.00 3/64 9309 /proc/meminfo: memFree=1856504/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=11492 CPUtime=0.1 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 474 0 0 0 10 0 0 0 18 0 1 0 191962753 11767808 450 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 2873 450 198 640 0 2229 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11492 [startup+0.301291 s] /proc/loadavg: 1.11 1.07 1.00 3/64 9309 /proc/meminfo: memFree=1856504/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=12008 CPUtime=0.3 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 621 0 0 0 30 0 0 0 19 0 1 0 191962753 12296192 597 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 3002 597 198 640 0 2358 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 12008 [startup+0.701337 s] /proc/loadavg: 1.11 1.07 1.00 3/64 9309 /proc/meminfo: memFree=1856504/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=13316 CPUtime=0.69 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 953 0 0 0 69 0 0 0 22 0 1 0 191962753 13635584 929 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 3329 929 198 640 0 2685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13316 [startup+1.50243 s] /proc/loadavg: 1.18 1.08 1.01 2/65 9310 /proc/meminfo: memFree=1852720/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=15380 CPUtime=1.49 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 1464 0 0 0 149 0 0 0 25 0 1 0 191962753 15749120 1440 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 3845 1440 198 640 0 3201 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15380 [startup+3.10161 s] /proc/loadavg: 1.18 1.08 1.01 2/65 9310 /proc/meminfo: memFree=1850160/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=17580 CPUtime=3.09 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 2011 0 0 0 309 0 0 0 25 0 1 0 191962753 18001920 1987 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 4395 1987 198 640 0 3751 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17580 [startup+6.30197 s] /proc/loadavg: 1.18 1.08 1.01 2/65 9310 /proc/meminfo: memFree=1847216/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=19804 CPUtime=6.29 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 2558 0 0 0 628 1 0 0 25 0 1 0 191962753 20279296 2534 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 4951 2534 198 640 0 4307 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19804 [startup+12.7017 s] /proc/loadavg: 1.15 1.08 1.01 2/65 9310 /proc/meminfo: memFree=1842232/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=26532 CPUtime=12.69 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 4253 0 0 0 1267 2 0 0 25 0 1 0 191962753 27168768 4229 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 6633 4229 198 640 0 5989 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26532 [startup+25.5012 s] /proc/loadavg: 1.13 1.08 1.01 2/65 9310 /proc/meminfo: memFree=1838392/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=28336 CPUtime=25.48 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 4686 0 0 0 2545 3 0 0 25 0 1 0 191962753 29016064 4662 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 7084 4662 198 640 0 6440 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28336 [startup+51.1011 s] /proc/loadavg: 1.08 1.07 1.00 2/65 9316 /proc/meminfo: memFree=1835640/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=30936 CPUtime=51.07 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 5338 0 0 0 5103 4 0 0 25 0 1 0 191962753 31678464 5314 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 7734 5314 198 640 0 7090 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30936 [startup+102.306 s] /proc/loadavg: 1.03 1.05 1.00 2/65 9316 /proc/meminfo: memFree=1832952/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=33636 CPUtime=102.26 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6035 0 0 0 10220 6 0 0 25 0 1 0 191962753 34443264 5990 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 8409 5990 198 640 0 7765 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33636 [startup+162.302 s] /proc/loadavg: 1.01 1.04 1.00 2/65 9316 /proc/meminfo: memFree=1832888/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=33636 CPUtime=162.24 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6035 0 0 0 16217 7 0 0 25 0 1 0 191962753 34443264 5990 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 8409 5990 198 640 0 7765 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33636 [startup+222.301 s] /proc/loadavg: 1.00 1.03 1.00 2/65 9316 /proc/meminfo: memFree=1830712/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=35732 CPUtime=222.22 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6571 0 0 0 22213 9 0 0 25 0 1 0 191962753 36589568 6526 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 8933 6526 198 640 0 8289 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 35732 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9316 /proc/meminfo: memFree=1830648/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=35732 CPUtime=282.21 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6571 0 0 0 28210 11 0 0 25 0 1 0 191962753 36589568 6526 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 8933 6526 198 640 0 8289 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 35732 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9316 /proc/meminfo: memFree=1830720/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=35732 CPUtime=342.19 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6571 0 0 0 34207 12 0 0 25 0 1 0 191962753 36589568 6526 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 8933 6526 198 640 0 8289 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 35732 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9316 /proc/meminfo: memFree=1830720/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=35732 CPUtime=402.17 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6571 0 0 0 40204 13 0 0 25 0 1 0 191962753 36589568 6526 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 8933 6526 198 640 0 8289 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 35732 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9316 /proc/meminfo: memFree=1830656/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=35732 CPUtime=462.15 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6571 0 0 0 46201 14 0 0 25 0 1 0 191962753 36589568 6526 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 8933 6526 198 640 0 8289 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 35732 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1829056/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=37340 CPUtime=522.13 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 6978 0 0 0 52197 16 0 0 25 0 1 0 191962753 38236160 6930 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 9335 6930 198 640 0 8691 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 37340 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1826688/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=39648 CPUtime=582.11 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7544 0 0 0 58194 17 0 0 25 0 1 0 191962753 40599552 7496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 9912 7496 198 640 0 9268 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 39648 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1826624/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=39648 CPUtime=642.11 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7544 0 0 0 64192 19 0 0 25 0 1 0 191962753 40599552 7496 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 9912 7496 198 640 0 9268 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 39648 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1825216/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1061.98 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 106169 29 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 40804 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1825216/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1121.96 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 112166 30 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 40804 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1825216/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1181.95 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 118164 31 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 40804 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1825152/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1241.92 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 124161 31 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 40804 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1825152/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1301.91 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 130159 32 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 40804 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1825088/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1361.89 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 136156 33 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 40804 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1825024/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1421.88 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 142154 34 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 40804 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1825024/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1481.86 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 148151 35 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 40804 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1824960/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1541.83 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 154148 35 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 40804 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1824960/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=40804 CPUtime=1601.82 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7847 0 0 0 160146 36 0 0 25 0 1 0 191962753 41783296 7799 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10201 7799 198 640 0 9557 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 40804 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1824448/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=41332 CPUtime=1661.81 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 7975 0 0 0 166144 37 0 0 25 0 1 0 191962753 42323968 7927 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10333 7927 198 640 0 9689 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 41332 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823104/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1721.78 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 172141 37 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 42600 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823104/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1781.77 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 178139 38 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 42600 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823104/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1791.36 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 179098 38 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1791.36 Current children cumulated vsize (KiB) 42600 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823104/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1794.56 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 179418 38 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1794.56 Current children cumulated vsize (KiB) 42600 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823040/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1796.16 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 179578 38 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1796.16 Current children cumulated vsize (KiB) 42600 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823040/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1796.96 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 179658 38 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1796.96 Current children cumulated vsize (KiB) 42600 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823040/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1797.77 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 179738 39 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 42600 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9316 /proc/meminfo: memFree=1823040/2055920 swapFree=4181924/4192956 [pid=9309] ppid=9307 vsize=42600 CPUtime=1797.97 /proc/9309/stat : 9309 (bsolo) R 9307 9309 9021 0 -1 4194304 8285 0 0 0 179758 39 0 0 25 0 1 0 191962753 43622400 8237 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9309/statm: 10650 8237 198 640 0 10006 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 42600 Child status: 0 Real time (s): 1798.56 CPU time (s): 1798.03 CPU user time (s): 1797.63 CPU system time (s): 0.396939 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 42600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.63 system time used= 0.396939 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8286 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= 2348 runsolver used 1.3178 second user time and 3.73543 second system time The end
Begin job on node23 at 2009-06-17 15:00:28 IDJOB=1879399 IDBENCH=47949 IDSOLVER=701 FILE ID=node23/1879399-1245243628 PBS_JOBID= 9372315 Free space on /tmp= 66272 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=397-P1=307-P2=37-P3=127-P4=401-P5=331-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879399-1245243628/watcher-1879399-1245243628 -o /tmp/evaluation-result-1879399-1245243628/solver-1879399-1245243628 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879399-1245243628.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d677c4de75200a225209ed048e7b96e RANDOM SEED=923281875 node23.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.236 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.236 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: 1856920 kB Buffers: 17528 kB Cached: 119032 kB SwapCached: 4540 kB Active: 16932 kB Inactive: 127252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1856920 kB SwapTotal: 4192956 kB SwapFree: 4181924 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 14364 kB Slab: 40776 kB Committed_AS: 175144 kB PageTables: 1392 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-1879399-1245243628.opb Free space on /tmp at the end= 66268 MiB End job on node23 at 2009-06-17 15:30:27