Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | ? | 1798.06 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=113-P1=127-P2=101-P3=419-P4=107-P5=271-P6=379-P7=167-P8=163-B.opb |
MD5SUM | e7b4c80573ea65996ed7438c7cd24465 |
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 | 29.1946 |
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 | 216 |
Total number of constraints | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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-1879515-1245244648.opb 0.00/0.00 c File size is 48923 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: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386 0.00/0.00 c Obj. Vars: 9 (1.04167 % of total variables) 0.00/0.01 c Pre-processing Time: 0.015 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 864 1321 5535 4 4761 7398 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1797.98/1798.56 c 102 864 1522 21004 13 9869 8138 201 2125 0.05 1797.98/1798.56 c 253 864 1813 43897 24 13027 8952 492 1429 0.18 1797.98/1798.56 c 481 864 2254 79868 35 23183 9848 933 1205 0.40 1797.98/1798.56 c 821 864 2925 181861 62 49539 10833 1604 1097 0.75 1797.98/1798.56 c 1330 864 3890 272647 70 61423 11917 2569 528 2.52 1797.98/1798.56 c 2094 864 5265 382935 72 83932 13109 3944 406 5.15 1797.98/1798.56 c 3240 864 7408 598148 80 112147 14420 6087 295 10.96 1797.98/1798.56 c 4961 864 10613 865850 81 172132 15863 9292 189 26.15 1797.98/1798.56 c 7545 864 15589 1263122 81 287102 17450 14268 109 68.76 1797.98/1798.56 c 11425 864 14185 1048616 73 252757 19196 12864 77 148.26 1797.98/1798.56 c 17247 864 15199 1177672 77 254509 21116 13878 54 313.96 1797.98/1798.56 c 25986 864 20368 1741589 85 316670 23228 19047 64 403.59 1797.98/1798.56 c 39097 864 21449 1679737 78 405652 25551 20128 57 674.33 1797.98/1798.56 c 58768 864 14498 1283054 88 151028 28107 13177 65 897.48 1797.98/1798.56 c 88279 864 22387 1866510 83 299993 30918 21066 64 1370.41 1797.98/1798.56 c Resources Exceeded 1797.98/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.56 c 15 107000 1707 114768 24783 2129887 23462 59 1798.05 1797.98/1798.56 s UNKNOWN 1797.98/1798.56 c Total time: 1798.05 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-1879515-1245244648/watcher-1879515-1245244648 -o /tmp/evaluation-result-1879515-1245244648/solver-1879515-1245244648 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879515-1245244648.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.07 1.02 0.95 3/65 917 /proc/meminfo: memFree=1852976/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=10756 CPUtime=0 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 259 0 0 0 0 0 0 0 21 0 1 0 192062829 11014144 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 2689 244 176 640 0 2033 0 [startup+0.0687361 s] /proc/loadavg: 1.07 1.02 0.95 3/65 917 /proc/meminfo: memFree=1852976/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=11500 CPUtime=0.06 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 480 0 0 0 6 0 0 0 21 0 1 0 192062829 11776000 452 1992294400 134512640 137136520 4294956256 18446744073709551615 134605807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 2875 452 198 640 0 2231 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11500 [startup+0.101738 s] /proc/loadavg: 1.07 1.02 0.95 3/65 917 /proc/meminfo: memFree=1852976/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=11500 CPUtime=0.09 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 489 0 0 0 9 0 0 0 21 0 1 0 192062829 11776000 461 1992294400 134512640 137136520 4294956256 18446744073709551615 134616688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 2875 461 198 640 0 2231 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11500 [startup+0.301758 s] /proc/loadavg: 1.07 1.02 0.95 3/65 917 /proc/meminfo: memFree=1852976/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=12272 CPUtime=0.29 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 684 0 0 0 29 0 0 0 23 0 1 0 192062829 12566528 656 1992294400 134512640 137136520 4294956256 18446744073709551615 134571152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 3068 656 198 640 0 2424 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12272 [startup+0.701801 s] /proc/loadavg: 1.07 1.02 0.95 3/65 917 /proc/meminfo: memFree=1852976/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=14456 CPUtime=0.69 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 1228 0 0 0 69 0 0 0 25 0 1 0 192062829 14802944 1200 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 3614 1200 198 640 0 2970 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14456 [startup+1.50189 s] /proc/loadavg: 1.07 1.02 0.95 2/66 918 /proc/meminfo: memFree=1848360/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=15516 CPUtime=1.49 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 1499 0 0 0 149 0 0 0 25 0 1 0 192062829 15888384 1471 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 3879 1471 198 640 0 3235 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15516 [startup+3.10105 s] /proc/loadavg: 1.07 1.02 0.95 2/66 918 /proc/meminfo: memFree=1847400/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=16660 CPUtime=3.09 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 1763 0 0 0 308 1 0 0 25 0 1 0 192062829 17059840 1735 1992294400 134512640 137136520 4294956256 18446744073709551615 134573541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 4165 1735 198 640 0 3521 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16660 [startup+6.30139 s] /proc/loadavg: 1.06 1.02 0.95 2/66 918 /proc/meminfo: memFree=1844776/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=19228 CPUtime=6.29 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 2431 0 0 0 628 1 0 0 25 0 1 0 192062829 19689472 2402 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 4807 2402 198 640 0 4163 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19228 [startup+12.7011 s] /proc/loadavg: 1.06 1.01 0.95 2/66 918 /proc/meminfo: memFree=1840048/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=23108 CPUtime=12.68 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 3405 0 0 0 1266 2 0 0 25 0 1 0 192062829 23662592 3376 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 5777 3376 198 640 0 5133 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23108 [startup+25.5014 s] /proc/loadavg: 1.04 1.01 0.95 2/66 918 /proc/meminfo: memFree=1836080/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=27156 CPUtime=25.49 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 4415 0 0 0 2545 4 0 0 25 0 1 0 192062829 27807744 4386 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 6789 4386 198 640 0 6145 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27156 [startup+51.1011 s] /proc/loadavg: 1.03 1.01 0.95 2/66 918 /proc/meminfo: memFree=1830000/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=33352 CPUtime=51.08 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 5946 0 0 0 5102 6 0 0 25 0 1 0 192062829 34152448 5917 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 8338 5917 198 640 0 7694 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 33352 [startup+102.306 s] /proc/loadavg: 1.01 1.01 0.95 2/66 918 /proc/meminfo: memFree=1823664/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=39536 CPUtime=102.26 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 7559 0 0 0 10218 8 0 0 25 0 1 0 192062829 40484864 7456 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 9884 7456 198 640 0 9240 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 39536 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 918 /proc/meminfo: memFree=1822448/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=40664 CPUtime=162.24 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 7854 0 0 0 16215 9 0 0 25 0 1 0 192062829 41639936 7751 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 10166 7751 198 640 0 9522 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 40664 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.95 2/66 918 /proc/meminfo: memFree=1822384/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=40668 CPUtime=222.23 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 7855 0 0 0 22213 10 0 0 25 0 1 0 192062829 41644032 7752 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 10167 7752 198 640 0 9523 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 40668 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 918 /proc/meminfo: memFree=1818800/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=44212 CPUtime=282.21 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 8744 0 0 0 28210 11 0 0 25 0 1 0 192062829 45273088 8641 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 11053 8641 198 640 0 10409 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 44212 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.95 2/66 918 /proc/meminfo: memFree=1818736/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=44212 CPUtime=342.2 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 8744 0 0 0 34208 12 0 0 25 0 1 0 192062829 45273088 8641 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 11053 8641 198 640 0 10409 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44212 [startup+402.301 s] /proc/loadavg: 1.08 1.02 0.96 2/66 918 /proc/meminfo: memFree=1815408/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=47460 CPUtime=402.18 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 9560 0 0 0 40204 14 0 0 25 0 1 0 192062829 48599040 9457 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 11865 9457 198 640 0 11221 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 47460 [startup+462.302 s] /proc/loadavg: 1.10 1.03 0.96 2/66 918 /proc/meminfo: memFree=1811952/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=50900 CPUtime=462.16 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 10419 0 0 0 46200 16 0 0 25 0 1 0 192062829 52121600 10316 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 12725 10316 198 640 0 12081 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 50900 [startup+522.302 s] /proc/loadavg: 1.10 1.04 0.97 2/66 918 /proc/meminfo: memFree=1811888/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=50900 CPUtime=522.14 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 10419 0 0 0 52197 17 0 0 25 0 1 0 192062829 52121600 10316 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 12725 10316 198 640 0 12081 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 50900 [startup+582.301 s] /proc/loadavg: 1.10 1.04 0.97 2/66 918 /proc/meminfo: memFree=1811824/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=50900 CPUtime=582.13 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 10426 0 0 0 58195 18 0 0 25 0 1 0 192062829 52121600 10323 1992294400 134512640 137136520 4294956256 18446744073709551615 136518953 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 12725 10323 198 640 0 12081 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 50900 [startup+642.302 s] /proc/loadavg: 1.09 1.05 0.98 2/66 918 /proc/meminfo: memFree=1811824/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=50900 CPUtime=642.11 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 10426 0 0 0 64193 18 0 0 25 0 1 0 192062829 52121600 10323 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 12725 10323 198 640 0 12081 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 50900 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1806640/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=55888 CPUtime=1061.99 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 11671 0 0 0 106171 28 0 0 25 0 1 0 192062829 57229312 11568 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 13972 11568 198 640 0 13328 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 55888 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 918 /proc/meminfo: memFree=1806576/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=55888 CPUtime=1121.98 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 11671 0 0 0 112169 29 0 0 25 0 1 0 192062829 57229312 11568 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 13972 11568 198 640 0 13328 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 55888 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 918 /proc/meminfo: memFree=1806576/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=55888 CPUtime=1181.95 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 11671 0 0 0 118166 29 0 0 25 0 1 0 192062829 57229312 11568 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 13972 11568 198 640 0 13328 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 55888 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1806512/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=55888 CPUtime=1241.94 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 11671 0 0 0 124163 31 0 0 25 0 1 0 192062829 57229312 11568 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 13972 11568 198 640 0 13328 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 55888 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1806512/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=55888 CPUtime=1301.92 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 11671 0 0 0 130161 31 0 0 25 0 1 0 192062829 57229312 11568 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 13972 11568 198 640 0 13328 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 55888 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1806448/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=55888 CPUtime=1361.9 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 11671 0 0 0 136158 32 0 0 25 0 1 0 192062829 57229312 11568 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 13972 11568 198 640 0 13328 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 55888 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794480/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1421.89 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 142154 35 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 67816 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794480/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1481.87 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 148151 36 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 67816 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794416/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1541.85 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 154149 36 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 67816 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794416/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1601.83 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 160146 37 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 67816 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794416/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1661.81 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 166144 37 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 67816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794352/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1721.8 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 172142 38 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 67816 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794352/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1781.78 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 178139 39 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 67816 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794288/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1791.38 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 179099 39 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (KiB) 67816 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794288/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1794.58 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 179419 39 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 67816 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794288/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1796.18 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 179579 39 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134544179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 67816 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794288/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1796.98 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 179659 39 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 67816 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794288/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1797.78 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 179739 39 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 67816 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/66 918 /proc/meminfo: memFree=1794288/2055920 swapFree=4175776/4192956 [pid=917] ppid=915 vsize=67816 CPUtime=1797.98 /proc/917/stat : 917 (bsolo) R 915 917 509 0 -1 4194304 14657 0 0 0 179759 39 0 0 25 0 1 0 192062829 69443584 14554 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/917/statm: 16954 14554 198 640 0 16310 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 67816 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.06 CPU user time (s): 1797.65 CPU system time (s): 0.405938 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 67816 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.65 system time used= 0.405938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14658 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= 1862 runsolver used 2.07968 second user time and 4.27935 second system time The end
Begin job on node82 at 2009-06-17 15:17:28 IDJOB=1879515 IDBENCH=48065 IDSOLVER=701 FILE ID=node82/1879515-1245244648 PBS_JOBID= 9372269 Free space on /tmp= 66388 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=113-P1=127-P2=101-P3=419-P4=107-P5=271-P6=379-P7=167-P8=163-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879515-1245244648/watcher-1879515-1245244648 -o /tmp/evaluation-result-1879515-1245244648/solver-1879515-1245244648 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879515-1245244648.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e7b4c80573ea65996ed7438c7cd24465 RANDOM SEED=1807827251 node82.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.232 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.232 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: 1853528 kB Buffers: 21076 kB Cached: 111844 kB SwapCached: 10628 kB Active: 25260 kB Inactive: 121048 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853528 kB SwapTotal: 4192956 kB SwapFree: 4175776 kB Dirty: 4188 kB Writeback: 0 kB Mapped: 19056 kB Slab: 42000 kB Committed_AS: 101812 kB PageTables: 1400 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-1879515-1245244648.opb Free space on /tmp at the end= 66384 MiB End job on node82 at 2009-06-17 15:47:27