Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.02 | 1798.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb |
MD5SUM | 54510d4a8cd791bae993d435a4bb6e03 |
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 | 13.8779 |
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-1879362-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. 1797.97/1798.81 c 100 972 1682 20941 12 9683 9158 196 2083 0.05 1797.97/1798.81 c 250 972 1975 45117 22 13483 10074 489 2659 0.09 1797.97/1798.81 c 475 972 2415 81783 33 23492 11082 929 2065 0.23 1797.97/1798.81 c 814 972 3087 132401 42 37776 12191 1601 1706 0.48 1797.97/1798.81 c 1323 972 4085 210019 51 62544 13411 2599 827 1.60 1797.97/1798.81 c 2087 972 5549 324677 58 94885 14753 4063 387 5.38 1797.97/1798.81 c 3233 972 7764 505789 65 162398 16229 6278 237 13.63 1797.97/1798.81 c 4955 972 11077 774917 69 184434 17852 9591 133 37.18 1797.97/1798.81 c 7541 972 16012 1179570 73 288686 19638 14526 77 97.73 1797.97/1798.81 c 11421 972 12738 1001070 78 217333 21602 11252 91 124.69 1797.97/1798.81 c 17243 972 12638 1061640 84 155486 23763 11152 108 159.25 1797.97/1798.81 c 25980 972 16538 1415117 85 302481 26140 15052 91 283.70 1797.97/1798.81 c 39090 972 26537 2072737 78 321683 28755 25051 80 484.60 1797.97/1798.81 c 58760 972 20261 1519335 74 400911 31631 18775 41 1420.31 1797.97/1798.81 c Resources Exceeded 1797.97/1798.81 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.81 c 14 72657 1161 80185 30182 2803857 28696 40 1798.00 1797.97/1798.81 s UNKNOWN 1797.97/1798.81 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-1879362-1245243534/watcher-1879362-1245243534 -o /tmp/evaluation-result-1879362-1245243534/solver-1879362-1245243534 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879362-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: 0.92 0.98 0.93 3/64 11170 /proc/meminfo: memFree=1803968/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=10764 CPUtime=0 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 191950272 11022336 245 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 2691 246 176 640 0 2033 0 [startup+0.0394989 s] /proc/loadavg: 0.92 0.98 0.93 3/64 11170 /proc/meminfo: memFree=1803968/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=11244 CPUtime=0.03 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 438 0 0 0 3 0 0 0 18 0 1 0 191950272 11513856 408 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 2811 408 197 640 0 2167 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11244 [startup+0.101506 s] /proc/loadavg: 0.92 0.98 0.93 3/64 11170 /proc/meminfo: memFree=1803968/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=11888 CPUtime=0.09 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 576 0 0 0 9 0 0 0 18 0 1 0 191950272 12173312 546 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 2972 546 198 640 0 2328 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11888 [startup+0.301527 s] /proc/loadavg: 0.92 0.98 0.93 3/64 11170 /proc/meminfo: memFree=1803968/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=12912 CPUtime=0.29 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 845 0 0 0 29 0 0 0 19 0 1 0 191950272 13221888 815 1992294400 134512640 137136520 4294956256 18446744073709551615 134542158 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 3228 815 198 640 0 2584 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12912 [startup+0.701571 s] /proc/loadavg: 0.92 0.98 0.93 3/64 11170 /proc/meminfo: memFree=1803968/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=14080 CPUtime=0.69 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 1141 0 0 0 69 0 0 0 23 0 1 0 191950272 14417920 1111 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 3520 1111 198 640 0 2876 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14080 [startup+1.50166 s] /proc/loadavg: 0.92 0.98 0.93 2/65 11171 /proc/meminfo: memFree=1799800/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=15248 CPUtime=1.49 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 1436 0 0 0 149 0 0 0 25 0 1 0 191950272 15613952 1406 1992294400 134512640 137136520 4294956256 18446744073709551615 134554723 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 3812 1406 198 640 0 3168 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15248 [startup+3.10184 s] /proc/loadavg: 0.92 0.98 0.93 2/65 11171 /proc/meminfo: memFree=1798072/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=16800 CPUtime=3.09 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 1824 0 0 0 308 1 0 0 25 0 1 0 191950272 17203200 1794 1992294400 134512640 137136520 4294956256 18446744073709551615 134606786 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 4200 1794 198 640 0 3556 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16800 [startup+6.30119 s] /proc/loadavg: 0.93 0.98 0.93 2/65 11171 /proc/meminfo: memFree=1796024/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=19536 CPUtime=6.29 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 2490 0 0 0 628 1 0 0 25 0 1 0 191950272 20004864 2460 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 4884 2460 198 640 0 4240 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19536 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.93 2/65 11171 /proc/meminfo: memFree=1792312/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=22284 CPUtime=12.69 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 3193 0 0 0 1267 2 0 0 25 0 1 0 191950272 22818816 3163 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 5571 3163 198 640 0 4927 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22284 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.93 2/65 11171 /proc/meminfo: memFree=1788728/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=25520 CPUtime=25.48 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 4009 0 0 0 2546 2 0 0 25 0 1 0 191950272 26132480 3979 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 6380 3979 198 640 0 5736 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25520 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.93 2/65 11171 /proc/meminfo: memFree=1784504/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=29656 CPUtime=51.07 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 5043 0 0 0 5103 4 0 0 25 0 1 0 191950272 30367744 5013 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 7414 5013 198 640 0 6770 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29656 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.93 2/65 11171 /proc/meminfo: memFree=1768632/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=45520 CPUtime=102.25 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 9009 0 0 0 10219 6 0 0 25 0 1 0 191950272 46612480 8979 1992294400 134512640 137136520 4294956256 18446744073709551615 134616028 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 11380 8979 198 640 0 10736 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 45520 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1764272/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=49712 CPUtime=162.23 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 10047 0 0 0 16214 9 0 0 25 0 1 0 191950272 50905088 10017 1992294400 134512640 137136520 4294956256 18446744073709551615 134543965 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 12428 10017 198 640 0 11784 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49712 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752432/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61452 CPUtime=222.19 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12985 0 0 0 22206 13 0 0 25 0 1 0 191950272 62926848 12955 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15363 12955 198 640 0 14719 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 61452 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752432/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61452 CPUtime=282.17 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12985 0 0 0 28203 14 0 0 25 0 1 0 191950272 62926848 12955 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15363 12955 198 640 0 14719 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 61452 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752432/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61456 CPUtime=342.14 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12987 0 0 0 34199 15 0 0 25 0 1 0 191950272 62930944 12957 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15364 12957 198 640 0 14720 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 61456 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752368/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61456 CPUtime=402.12 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12987 0 0 0 40196 16 0 0 25 0 1 0 191950272 62930944 12957 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15364 12957 198 640 0 14720 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 61456 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752376/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61456 CPUtime=462.09 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12987 0 0 0 46192 17 0 0 25 0 1 0 191950272 62930944 12957 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15364 12957 198 640 0 14720 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 61456 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752376/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61460 CPUtime=522.07 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12988 0 0 0 52189 18 0 0 25 0 1 0 191950272 62935040 12958 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15365 12958 198 640 0 14721 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 61460 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752312/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=582.04 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 58186 18 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 61464 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752312/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=642.02 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 64183 19 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 61464 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1752120/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=1121.8 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 112158 22 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 61464 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1752056/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=1181.78 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 118155 23 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 61464 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1751992/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=1241.75 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 124152 23 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 61464 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1751928/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=1301.74 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 130150 24 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 61464 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1751928/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=1361.7 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 136146 24 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 61464 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/65 11177 /proc/meminfo: memFree=1751928/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=61464 CPUtime=1421.68 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 12989 0 0 0 142144 24 0 0 25 0 1 0 191950272 62939136 12959 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 15366 12959 198 640 0 14722 0 Current children cumulated CPU time (s) 1421.68 Current children cumulated vsize (KiB) 61464 [startup+1482.3 s] /proc/loadavg: 1.05 1.00 0.93 2/65 11177 /proc/meminfo: memFree=1743416/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70176 CPUtime=1481.64 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15144 0 0 0 148137 27 0 0 25 0 1 0 191950272 71860224 15114 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17544 15114 198 640 0 16900 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 70176 [startup+1542.3 s] /proc/loadavg: 1.02 1.00 0.93 2/65 11177 /proc/meminfo: memFree=1742456/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1541.61 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 154134 27 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1541.61 Current children cumulated vsize (KiB) 70880 [startup+1602.3 s] /proc/loadavg: 1.05 1.01 0.94 2/65 11177 /proc/meminfo: memFree=1742456/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1601.59 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 160130 29 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 70880 [startup+1662.3 s] /proc/loadavg: 1.06 1.02 0.94 2/65 11177 /proc/meminfo: memFree=1742392/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1661.56 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 166127 29 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1661.56 Current children cumulated vsize (KiB) 70880 [startup+1722.3 s] /proc/loadavg: 1.06 1.03 0.95 2/65 11177 /proc/meminfo: memFree=1742392/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1721.52 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 172122 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1721.52 Current children cumulated vsize (KiB) 70880 [startup+1782.3 s] /proc/loadavg: 1.05 1.04 0.95 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1781.49 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 178119 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1781.49 Current children cumulated vsize (KiB) 70880 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.12 1.05 0.96 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1791.09 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 179079 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1791.09 Current children cumulated vsize (KiB) 70880 [startup+1795.1 s] /proc/loadavg: 1.11 1.05 0.96 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1794.28 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 179398 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1794.28 Current children cumulated vsize (KiB) 70880 [startup+1796.7 s] /proc/loadavg: 1.11 1.05 0.96 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1795.88 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 179558 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134544384 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1795.88 Current children cumulated vsize (KiB) 70880 [startup+1797.5 s] /proc/loadavg: 1.11 1.05 0.96 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1796.67 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 179637 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (KiB) 70880 [startup+1798.3 s] /proc/loadavg: 1.11 1.05 0.96 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1797.47 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 179717 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 70880 [startup+1798.7 s] /proc/loadavg: 1.11 1.05 0.96 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1797.87 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 179757 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 70880 [startup+1798.8 s] /proc/loadavg: 1.11 1.05 0.96 2/65 11177 /proc/meminfo: memFree=1742328/2055920 swapFree=4181884/4192956 [pid=11170] ppid=11168 vsize=70880 CPUtime=1797.97 /proc/11170/stat : 11170 (bsolo) R 11168 11170 10936 0 -1 4194304 15348 0 0 0 179767 30 0 0 25 0 1 0 191950272 72581120 15318 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11170/statm: 17720 15318 198 640 0 17076 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 70880 Child status: 0 Real time (s): 1798.83 CPU time (s): 1798.02 CPU user time (s): 1797.7 CPU system time (s): 0.318951 CPU usage (%): 99.9548 Max. virtual memory (cumulated for all children) (KiB): 70880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.7 system time used= 0.318951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15349 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= 7583 runsolver used 1.90671 second user time and 4.64229 second system time The end
Begin job on node42 at 2009-06-17 14:58:54 IDJOB=1879362 IDBENCH=47912 IDSOLVER=701 FILE ID=node42/1879362-1245243534 PBS_JOBID= 9372297 Free space on /tmp= 66148 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=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879362-1245243534/watcher-1879362-1245243534 -o /tmp/evaluation-result-1879362-1245243534/solver-1879362-1245243534 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879362-1245243534.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54510d4a8cd791bae993d435a4bb6e03 RANDOM SEED=1311409756 node42.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.214 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.214 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: 1804520 kB Buffers: 37304 kB Cached: 131892 kB SwapCached: 5156 kB Active: 75332 kB Inactive: 102032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804520 kB SwapTotal: 4192956 kB SwapFree: 4181884 kB Dirty: 3952 kB Writeback: 0 kB Mapped: 14356 kB Slab: 60080 kB Committed_AS: 196108 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-1879362-1245243534.opb Free space on /tmp at the end= 66144 MiB End job on node42 at 2009-06-17 15:28:53