Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 pb | ? | 1798.17 | 1798.87 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb |
MD5SUM | f3f7503aace115ec5eea1f9ed4e29626 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
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-1879250-1245248073.opb 0.00/0.00 c File size is 107626 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 1460 Constr: 2823 1360/203/1260 Lit: 10780 Watch. Lit: 9263 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.29/0.32 c Pre-processing Time: 0.318 s 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 0 1460 2823 10780 3 9263 21125 0 0 0.32 0.29/0.32 c Switching off lower bounding mode. 1798.10/1798.83 c 100 1460 3009 20975 6 12665 23238 186 263 0.38 1798.10/1798.83 c 251 1460 3310 57847 17 25633 25562 487 525 0.48 1798.10/1798.83 c 477 1460 3761 114852 30 45946 28119 938 697 0.68 1798.10/1798.83 c 815 1460 4429 203932 46 79378 30931 1606 645 1.26 1798.10/1798.83 c 1323 1460 5439 347165 63 133212 34025 2616 492 2.69 1798.10/1798.83 c 2086 1460 6945 557781 80 210530 37428 4122 359 5.81 1798.10/1798.83 c 3233 1460 9160 861675 94 320440 41171 6337 230 14.00 1798.10/1798.83 c 4955 1460 12333 1295245 105 452833 45289 9510 164 30.06 1798.10/1798.83 c 7541 1460 17004 1927971 113 634086 49818 14181 107 69.91 1798.10/1798.83 c 11420 1460 24162 2898087 119 913190 54800 21339 78 146.11 1798.10/1798.83 c 17243 1460 35173 4383940 124 1330281 60281 32350 56 305.34 1798.10/1798.83 c 25980 1460 52427 6728500 128 1919751 66310 49604 38 675.13 1798.10/1798.83 c 39090 1460 35753 4483823 125 1392553 72942 32930 22 1767.59 1798.10/1798.83 c Resources Exceeded 1798.10/1798.83 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1798.10/1798.83 c 13 39934 6160 58142 37416 4709987 34593 22 1798.14 1798.10/1798.83 s UNKNOWN 1798.10/1798.83 c Total time: 1798.14 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-1879250-1245248073/watcher-1879250-1245248073 -o /tmp/evaluation-result-1879250-1245248073/solver-1879250-1245248073 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879250-1245248073.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.82 3/65 2576 /proc/meminfo: memFree=1952280/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=10820 CPUtime=0 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 284298 11079680 236 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 2705 236 174 640 0 2034 0 [startup+0.0747939 s] /proc/loadavg: 0.99 0.97 0.82 3/65 2576 /proc/meminfo: memFree=1952280/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=11396 CPUtime=0.06 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 464 0 0 0 6 0 0 0 18 0 1 0 284298 11669504 421 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 2849 421 189 640 0 2205 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 11396 [startup+0.101798 s] /proc/loadavg: 0.99 0.97 0.82 3/65 2576 /proc/meminfo: memFree=1952280/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=11396 CPUtime=0.09 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 464 0 0 0 9 0 0 0 18 0 1 0 284298 11669504 421 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 2849 421 189 640 0 2205 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11396 [startup+0.30183 s] /proc/loadavg: 0.99 0.97 0.82 3/65 2576 /proc/meminfo: memFree=1952280/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=11396 CPUtime=0.29 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 464 0 0 0 29 0 0 0 19 0 1 0 284298 11669504 421 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 2849 421 189 640 0 2205 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11396 [startup+0.701895 s] /proc/loadavg: 0.99 0.97 0.82 3/65 2576 /proc/meminfo: memFree=1952280/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=13676 CPUtime=0.69 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 1058 0 0 0 68 1 0 0 22 0 1 0 284298 14004224 1015 1992294400 134512640 137136520 4294956256 18446744073709551615 134605807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 3419 1015 198 640 0 2775 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13676 [startup+1.50202 s] /proc/loadavg: 0.99 0.97 0.82 2/66 2577 /proc/meminfo: memFree=1947664/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=16360 CPUtime=1.49 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 1710 0 0 0 147 2 0 0 25 0 1 0 284298 16752640 1667 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 4090 1667 198 640 0 3446 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16360 [startup+3.10128 s] /proc/loadavg: 0.99 0.97 0.82 2/66 2577 /proc/meminfo: memFree=1944848/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=19548 CPUtime=3.09 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 2526 0 0 0 307 2 0 0 25 0 1 0 284298 20017152 2483 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 4887 2483 198 640 0 4243 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19548 [startup+6.30179 s] /proc/loadavg: 0.99 0.97 0.82 2/66 2577 /proc/meminfo: memFree=1939408/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=23928 CPUtime=6.29 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 3592 0 0 0 626 3 0 0 25 0 1 0 284298 24502272 3549 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 5982 3549 198 640 0 5338 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23928 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.82 2/66 2577 /proc/meminfo: memFree=1933976/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=29096 CPUtime=12.69 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 4898 0 0 0 1264 5 0 0 25 0 1 0 284298 29794304 4855 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 7274 4855 198 640 0 6630 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29096 [startup+25.5019 s] /proc/loadavg: 0.99 0.97 0.82 2/66 2577 /proc/meminfo: memFree=1925784/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=36692 CPUtime=25.48 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 6812 0 0 0 2542 6 0 0 25 0 1 0 284298 37572608 6769 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 9173 6769 198 640 0 8529 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36692 [startup+51.1019 s] /proc/loadavg: 0.99 0.97 0.83 2/66 2577 /proc/meminfo: memFree=1915608/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=47120 CPUtime=51.07 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 9397 0 0 0 5098 9 0 0 25 0 1 0 284298 48250880 9354 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 11780 9354 198 640 0 11136 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 47120 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.83 2/66 2577 /proc/meminfo: memFree=1900376/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=61964 CPUtime=102.25 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 13123 0 0 0 10213 12 0 0 25 0 1 0 284298 63451136 13080 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 15491 13080 198 640 0 14847 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 61964 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.84 2/66 2577 /proc/meminfo: memFree=1888856/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=73596 CPUtime=162.23 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 16032 0 0 0 16207 16 0 0 25 0 1 0 284298 75362304 15989 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 18399 15989 198 640 0 17755 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 73596 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.84 2/66 2577 /proc/meminfo: memFree=1875928/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=86284 CPUtime=222.22 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 19205 0 0 0 22201 21 0 0 25 0 1 0 284298 88354816 19162 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 21571 19162 198 640 0 20927 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 86284 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.85 2/66 2577 /proc/meminfo: memFree=1865304/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=97096 CPUtime=282.19 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 21907 0 0 0 28195 24 0 0 25 0 1 0 284298 99426304 21864 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 24274 21864 198 640 0 23630 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 97096 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.86 2/66 2577 /proc/meminfo: memFree=1856472/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=105648 CPUtime=342.17 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 24046 0 0 0 34191 26 0 0 25 0 1 0 284298 108183552 24003 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 26412 24003 198 640 0 25768 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 105648 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.86 2/66 2577 /proc/meminfo: memFree=1849496/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=112652 CPUtime=402.14 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 25787 0 0 0 40187 27 0 0 25 0 1 0 284298 115355648 25744 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 28163 25744 198 640 0 27519 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 112652 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.87 2/66 2577 /proc/meminfo: memFree=1841240/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=120900 CPUtime=462.12 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 27856 0 0 0 46182 30 0 0 25 0 1 0 284298 123801600 27813 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 30225 27813 198 640 0 29581 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 120900 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.87 2/66 2577 /proc/meminfo: memFree=1833048/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=129056 CPUtime=522.1 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 29882 0 0 0 52178 32 0 0 25 0 1 0 284298 132153344 29839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 32264 29839 198 640 0 31620 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 129056 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.88 2/66 2577 /proc/meminfo: memFree=1824984/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=137080 CPUtime=582.07 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 31882 0 0 0 58173 34 0 0 25 0 1 0 284298 140369920 31839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 34270 31839 198 640 0 33626 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 137080 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.88 2/66 2577 /proc/meminfo: memFree=1818648/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=143320 CPUtime=642.05 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 33442 0 0 0 64169 36 0 0 25 0 1 0 284298 146759680 33399 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 35830 33399 198 640 0 35186 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 143320 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1754408/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=189800 CPUtime=1121.86 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 45086 0 0 0 112134 52 0 0 25 0 1 0 284298 194355200 45043 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/2576/statm: 47450 45043 198 640 0 46806 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 189800 [startup+1182.3 s] /proc/loadavg: 1.12 1.03 0.93 2/65 3085 /proc/meminfo: memFree=1671320/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1181.83 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 118124 59 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 194184 [startup+1242.3 s] /proc/loadavg: 1.04 1.02 0.93 2/65 3085 /proc/meminfo: memFree=1671384/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1241.81 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 124122 59 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 194184 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 0.93 2/65 3085 /proc/meminfo: memFree=1671384/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1301.78 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 130119 59 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 194184 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.93 2/65 3085 /proc/meminfo: memFree=1671384/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1361.76 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 136116 60 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 194184 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671448/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1421.74 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 142114 60 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 194184 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671392/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1481.71 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 148111 60 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 194184 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671328/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1541.69 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 154109 60 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 194184 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671392/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1601.67 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 160106 61 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 194184 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671392/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1661.64 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 166103 61 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 194184 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671328/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1721.62 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 172100 62 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 194184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1781.6 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 178097 63 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 194184 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1791.2 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 179057 63 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 194184 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1794.4 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 179377 63 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 194184 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1795.99 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 179536 63 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543954 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1795.99 Current children cumulated vsize (KiB) 194184 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1796.79 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 179616 63 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1796.79 Current children cumulated vsize (KiB) 194184 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1797.6 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 179696 64 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 136518848 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (KiB) 194184 [startup+1798.7 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1798 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 179736 64 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 194184 [startup+1798.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3085 /proc/meminfo: memFree=1671264/2055920 swapFree=4192956/4192956 [pid=2576] ppid=2574 vsize=194184 CPUtime=1798.1 /proc/2576/stat : 2576 (bsolo) R 2574 2576 2486 0 -1 4194304 46227 0 0 0 179746 64 0 0 25 0 1 0 284298 198844416 46118 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/2576/statm: 48546 46118 198 640 0 47902 0 Current children cumulated CPU time (s) 1798.1 Current children cumulated vsize (KiB) 194184 Child status: 0 Real time (s): 1798.87 CPU time (s): 1798.17 CPU user time (s): 1797.5 CPU system time (s): 0.670898 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (KiB): 194448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.5 system time used= 0.670898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46228 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= 2840 runsolver used 1.79173 second user time and 3.21551 second system time The end
Begin job on node17 at 2009-06-17 16:14:33 IDJOB=1879250 IDBENCH=48305 IDSOLVER=701 FILE ID=node17/1879250-1245248073 PBS_JOBID= 9372344 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_2_40.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879250-1245248073/watcher-1879250-1245248073 -o /tmp/evaluation-result-1879250-1245248073/solver-1879250-1245248073 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879250-1245248073.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED=1967668898 node17.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.259 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.259 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: 1952832 kB Buffers: 16716 kB Cached: 44960 kB SwapCached: 0 kB Active: 50344 kB Inactive: 24172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1952832 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 22684 kB Slab: 14492 kB Committed_AS: 50404 kB PageTables: 1480 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-1879250-1245248073.opb Free space on /tmp at the end= 66340 MiB End job on node17 at 2009-06-17 16:44:32