Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.03 | 1798.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb |
MD5SUM | 0f5232be892543458d8a9fd6fc4fb56e |
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 | 4.03039 |
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 | 162 |
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 | 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) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
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-1879462-1245243979.opb 0.00/0.00 c File size is 36228 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: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540 0.00/0.00 c Obj. Vars: 9 (1.38889 % 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 648 991 4149 4 3569 5544 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1798.00/1798.51 c 101 648 1186 18551 15 8363 6099 195 2295 0.04 1798.00/1798.51 c 251 648 1475 41740 28 11515 6709 484 1805 0.14 1798.00/1798.51 c 476 648 1905 81400 42 19300 7380 914 1555 0.31 1798.00/1798.51 c 814 648 2443 129088 52 25855 8119 1452 1518 0.54 1798.00/1798.51 c 1323 648 3332 205339 61 28336 8931 2341 1461 0.91 1798.00/1798.51 c 2087 648 4834 327936 67 59741 9825 3843 771 2.71 1798.00/1798.51 c 3235 648 7017 512159 72 98033 10808 6026 461 7.01 1798.00/1798.51 c 4957 648 10328 773868 74 168164 11889 9337 198 24.93 1798.00/1798.51 c 7541 648 9259 664028 71 176150 13078 8268 114 66.04 1798.00/1798.51 c 11421 648 9424 727608 77 153537 14386 8433 131 86.97 1798.00/1798.51 c 17244 648 12990 1020856 78 189108 15825 11999 104 164.54 1798.00/1798.51 c 25982 648 13197 1092631 82 210602 17408 12206 87 295.56 1798.00/1798.51 c 39094 648 11235 866510 77 207621 19149 10244 65 594.94 1798.00/1798.51 c 58769 648 17324 1478310 85 188787 21064 16333 69 846.62 1798.00/1798.51 c 88280 648 16885 1297125 76 213567 23171 15894 54 1612.98 1798.00/1798.51 c Resources Exceeded 1798.00/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.00/1798.51 c 15 92979 836 97069 14027 1054227 13036 51 1798.02 1798.00/1798.51 s UNKNOWN 1798.00/1798.51 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-1879462-1245243979/watcher-1879462-1245243979 -o /tmp/evaluation-result-1879462-1245243979/solver-1879462-1245243979 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879462-1245243979.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/65 20827 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=10740 CPUtime=0 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 257 0 0 0 0 0 0 0 20 0 1 0 191995988 10997760 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 2685 241 176 640 0 2032 0 [startup+0.076817 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20827 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=11372 CPUtime=0.07 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 440 0 0 0 7 0 0 0 20 0 1 0 191995988 11644928 415 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 2843 415 198 640 0 2199 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11372 [startup+0.101864 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20827 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=11500 CPUtime=0.09 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 479 0 0 0 9 0 0 0 20 0 1 0 191995988 11776000 454 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 2875 454 198 640 0 2231 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11500 [startup+0.301887 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20827 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=12400 CPUtime=0.29 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 695 0 0 0 29 0 0 0 22 0 1 0 191995988 12697600 670 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 3100 670 198 640 0 2456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12400 [startup+0.701937 s] /proc/loadavg: 0.99 0.97 0.91 3/65 20827 /proc/meminfo: memFree=1688888/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=13552 CPUtime=0.69 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 989 0 0 0 69 0 0 0 25 0 1 0 191995988 13877248 964 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 3388 964 198 640 0 2744 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13552 [startup+1.50099 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1684848/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=15320 CPUtime=1.49 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 1455 0 0 0 149 0 0 0 25 0 1 0 191995988 15687680 1430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 3830 1430 198 640 0 3186 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15320 [startup+3.10119 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1682992/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=17280 CPUtime=3.09 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 1916 0 0 0 309 0 0 0 25 0 1 0 191995988 17694720 1891 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 4320 1891 198 640 0 3676 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17280 [startup+6.30263 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1680240/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=19128 CPUtime=6.29 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 2407 0 0 0 628 1 0 0 25 0 1 0 191995988 19587072 2382 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 4782 2382 198 640 0 4138 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19128 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.91 3/66 20828 /proc/meminfo: memFree=1676016/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=23040 CPUtime=12.68 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 3373 0 0 0 1267 1 0 0 25 0 1 0 191995988 23592960 3348 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 5760 3348 198 640 0 5116 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23040 [startup+25.5019 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1671152/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=27760 CPUtime=25.48 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 4562 0 0 0 2546 2 0 0 25 0 1 0 191995988 28426240 4537 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 6940 4537 198 640 0 6296 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27760 [startup+51.1011 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1666928/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=31968 CPUtime=51.07 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 5613 0 0 0 5104 3 0 0 25 0 1 0 191995988 32735232 5588 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 7992 5588 198 640 0 7348 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 31968 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1664688/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=34284 CPUtime=102.26 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 6180 0 0 0 10221 5 0 0 25 0 1 0 191995988 35106816 6155 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 8571 6155 198 640 0 7927 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34284 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1662000/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=36964 CPUtime=162.25 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 6848 0 0 0 16218 7 0 0 25 0 1 0 191995988 37851136 6823 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 9241 6823 198 640 0 8597 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36964 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1660272/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=38640 CPUtime=222.23 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 7269 0 0 0 22215 8 0 0 25 0 1 0 191995988 39567360 7244 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 9660 7244 198 640 0 9016 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 38640 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1659888/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=38972 CPUtime=282.21 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 7352 0 0 0 28212 9 0 0 25 0 1 0 191995988 39907328 7327 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 9743 7327 198 640 0 9099 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 38972 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1654128/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=44664 CPUtime=342.19 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 8776 0 0 0 34208 11 0 0 25 0 1 0 191995988 45735936 8751 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11166 8751 198 640 0 10522 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 44664 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1654128/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=44664 CPUtime=402.18 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 8776 0 0 0 40206 12 0 0 25 0 1 0 191995988 45735936 8751 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11166 8751 198 640 0 10522 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 44664 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1654064/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=44664 CPUtime=462.16 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 8776 0 0 0 46203 13 0 0 25 0 1 0 191995988 45735936 8751 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11166 8751 198 640 0 10522 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 44664 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1654064/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=44664 CPUtime=522.14 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 8776 0 0 0 52200 14 0 0 25 0 1 0 191995988 45735936 8751 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11166 8751 198 640 0 10522 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 44664 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1654064/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=44664 CPUtime=582.12 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 8776 0 0 0 58198 14 0 0 25 0 1 0 191995988 45735936 8751 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11166 8751 198 640 0 10522 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 44664 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1654064/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=44672 CPUtime=642.12 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 8778 0 0 0 64197 15 0 0 25 0 1 0 191995988 45744128 8753 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11168 8753 198 640 0 10524 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 44672 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1652336/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46148 CPUtime=1061.99 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 106176 23 0 0 25 0 1 0 191995988 47255552 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11537 9127 198 640 0 10893 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 46148 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652272/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46148 CPUtime=1121.98 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 112174 24 0 0 25 0 1 0 191995988 47255552 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11537 9127 198 640 0 10893 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 46148 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652272/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46128 CPUtime=1181.96 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 118172 24 0 0 25 0 1 0 191995988 47235072 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11532 9127 198 640 0 10888 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 46128 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652208/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46128 CPUtime=1241.95 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 124170 25 0 0 25 0 1 0 191995988 47235072 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11532 9127 198 640 0 10888 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 46128 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652208/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46128 CPUtime=1301.94 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 130168 26 0 0 25 0 1 0 191995988 47235072 9127 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11532 9127 198 640 0 10888 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 46128 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652208/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46088 CPUtime=1361.91 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 136165 26 0 0 25 0 1 0 191995988 47194112 9122 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11522 9122 198 640 0 10878 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 46088 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652144/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46088 CPUtime=1421.9 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 142163 27 0 0 25 0 1 0 191995988 47194112 9122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11522 9122 198 640 0 10878 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 46088 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652144/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46088 CPUtime=1481.88 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 148160 28 0 0 25 0 1 0 191995988 47194112 9122 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11522 9122 198 640 0 10878 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 46088 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652080/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46088 CPUtime=1541.86 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 154158 28 0 0 25 0 1 0 191995988 47194112 9122 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11522 9122 198 640 0 10878 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 46088 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652016/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46088 CPUtime=1601.85 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 160156 29 0 0 25 0 1 0 191995988 47194112 9122 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11522 9122 198 640 0 10878 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 46088 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652016/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46088 CPUtime=1661.83 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 166153 30 0 0 25 0 1 0 191995988 47194112 9122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11522 9122 198 640 0 10878 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 46088 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1652016/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=46088 CPUtime=1721.81 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9152 0 0 0 172151 30 0 0 25 0 1 0 191995988 47194112 9122 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 11522 9122 198 640 0 10878 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 46088 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1650096/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=48012 CPUtime=1781.79 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9624 0 0 0 178149 30 0 0 25 0 1 0 191995988 49164288 9594 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 12003 9594 198 640 0 11359 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 48012 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1650096/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=48012 CPUtime=1791.39 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9624 0 0 0 179109 30 0 0 25 0 1 0 191995988 49164288 9594 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 12003 9594 198 640 0 11359 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 48012 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=48012 CPUtime=1794.6 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9624 0 0 0 179429 31 0 0 25 0 1 0 191995988 49164288 9594 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 12003 9594 198 640 0 11359 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 48012 [startup+1796.7 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=48012 CPUtime=1796.2 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9624 0 0 0 179589 31 0 0 25 0 1 0 191995988 49164288 9594 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 12003 9594 198 640 0 11359 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 48012 [startup+1797.5 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=48012 CPUtime=1797 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9624 0 0 0 179669 31 0 0 25 0 1 0 191995988 49164288 9594 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 12003 9594 198 640 0 11359 0 Current children cumulated CPU time (s) 1797 Current children cumulated vsize (KiB) 48012 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=48012 CPUtime=1797.8 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9624 0 0 0 179749 31 0 0 25 0 1 0 191995988 49164288 9594 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 12003 9594 198 640 0 11359 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 48012 [startup+1798.51 s] /proc/loadavg: 0.99 0.97 0.91 2/66 20828 /proc/meminfo: memFree=1650032/2055920 swapFree=4192812/4192956 [pid=20827] ppid=20825 vsize=48012 CPUtime=1798 /proc/20827/stat : 20827 (bsolo) R 20825 20827 20492 0 -1 4194304 9624 0 0 0 179769 31 0 0 25 0 1 0 191995988 49164288 9594 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/20827/statm: 12003 9594 198 640 0 11359 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 48012 Child status: 0 Real time (s): 1798.53 CPU time (s): 1798.03 CPU user time (s): 1797.71 CPU system time (s): 0.316951 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 48012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.71 system time used= 0.316951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9625 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= 1520 runsolver used 2.00769 second user time and 4.32434 second system time The end
Begin job on node80 at 2009-06-17 15:06:19 IDJOB=1879462 IDBENCH=48012 IDSOLVER=701 FILE ID=node80/1879462-1245243979 PBS_JOBID= 9372271 Free space on /tmp= 66532 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=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879462-1245243979/watcher-1879462-1245243979 -o /tmp/evaluation-result-1879462-1245243979/solver-1879462-1245243979 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879462-1245243979.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f5232be892543458d8a9fd6fc4fb56e RANDOM SEED=166837130 node80.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.234 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.234 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: 1689376 kB Buffers: 9536 kB Cached: 297212 kB SwapCached: 0 kB Active: 34168 kB Inactive: 286488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1689376 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4040 kB Writeback: 0 kB Mapped: 23644 kB Slab: 31780 kB Committed_AS: 81120 kB PageTables: 1388 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-1879462-1245243979.opb Free space on /tmp at the end= 66528 MiB End job on node80 at 2009-06-17 15:36:18