Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? | 1798.12 | 1798.59 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_1_15.opb |
MD5SUM | 6ed49b7079c02e2b7da24a0934bd3691 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.105983 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 4964 |
Sum of products size (including duplicates) | 9928 |
Number of different products | 2482 |
Sum of products size | 4964 |
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: Clause 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-1877853-1245215611.opb 0.00/0.00 c File size is 218794 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.029 s 0.00/0.03 c Var: 2882 Constr: 5567 2682/403/2482 Lit: 21256 Watch. Lit: 18192 0.00/0.03 c Obj. Vars: 0 (0 % of total variables) 0.59/0.60 c Pre-processing Time: 0.606 s 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 2882 5567 21256 3 18192 38326 0 0 0.61 0.59/0.60 c Switching off lower bounding mode. 1797.92/1798.49 c 186 2882 5753 75477 13 18564 42159 186 247 0.75 1797.92/1798.49 c 339 2882 5906 133412 22 18870 46375 339 422 0.80 1797.92/1798.49 c 590 2882 6157 227007 36 19372 51013 590 642 0.92 1797.92/1798.49 c 964 2882 6531 364397 55 20120 56115 964 820 1.18 1797.92/1798.49 c 1473 2882 7040 558244 79 21138 61727 1473 1027 1.43 1797.92/1798.49 c 2236 2882 7803 847138 108 22664 67900 2236 1120 2.00 1797.92/1798.49 c 3382 2882 8949 1284283 143 24956 74691 3382 1045 3.24 1797.92/1798.49 c 5108 2882 10675 1941995 181 28408 82161 5108 855 5.97 1797.92/1798.49 c 7694 2882 13261 2929687 220 33580 90378 7694 693 11.09 1797.92/1798.49 c 11574 2882 17141 4410350 257 41340 99416 11574 523 22.11 1797.92/1798.49 c 17399 2882 22966 6637353 289 52990 109358 17399 442 39.28 1797.92/1798.49 c 26137 2882 31704 9979966 314 70466 120294 26137 381 68.54 1797.92/1798.49 c 39247 2882 44814 14991557 334 96686 132324 39247 278 141.00 1797.92/1798.49 c 58919 2882 64486 22485786 348 136030 145557 58919 212 276.79 1797.92/1798.49 c 88430 2882 93997 33761838 359 195052 160113 88430 138 639.60 1797.92/1798.49 c 132700 2882 138267 50669065 366 283592 176125 132700 79 1673.86 1797.92/1798.49 c Resources Exceeded 1797.92/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.49 c 16 136462 64 142686 142029 52107295 136462 75 1798.02 1797.92/1798.49 s UNKNOWN 1797.92/1798.49 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-1877853-1245215611/watcher-1877853-1245215611 -o /tmp/evaluation-result-1877853-1245215611/solver-1877853-1245215611 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877853-1245215611.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.00 1.00 1.00 3/65 13821 /proc/meminfo: memFree=1859112/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=10932 CPUtime=0 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 189159132 11194368 246 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 2733 247 174 640 0 2035 0 [startup+0.0357059 s] /proc/loadavg: 1.00 1.00 1.00 3/65 13821 /proc/meminfo: memFree=1859112/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=12104 CPUtime=0.03 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 674 0 0 0 3 0 0 0 20 0 1 0 189159132 12394496 604 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 3026 604 189 640 0 2382 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12104 [startup+0.101713 s] /proc/loadavg: 1.00 1.00 1.00 3/65 13821 /proc/meminfo: memFree=1859112/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=12104 CPUtime=0.09 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 679 0 0 0 9 0 0 0 20 0 1 0 189159132 12394496 609 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 3026 609 189 640 0 2382 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12104 [startup+0.301736 s] /proc/loadavg: 1.00 1.00 1.00 3/65 13821 /proc/meminfo: memFree=1859112/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=12104 CPUtime=0.29 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 679 0 0 0 29 0 0 0 22 0 1 0 189159132 12394496 609 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 3026 609 189 640 0 2382 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12104 [startup+0.701778 s] /proc/loadavg: 1.00 1.00 1.00 3/65 13821 /proc/meminfo: memFree=1859112/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=12796 CPUtime=0.69 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 911 0 0 0 69 0 0 0 25 0 1 0 189159132 13103104 781 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 3199 781 196 640 0 2555 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12796 [startup+1.50187 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1853984/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=19748 CPUtime=1.49 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 2638 0 0 0 148 1 0 0 25 0 1 0 189159132 20221952 2508 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 4937 2508 196 640 0 4293 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19748 [startup+3.10104 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1845920/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=28068 CPUtime=3.09 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 4732 0 0 0 306 3 0 0 25 0 1 0 189159132 28741632 4602 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 7017 4602 196 640 0 6373 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28068 [startup+6.3014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1833696/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=38192 CPUtime=6.29 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 7248 0 0 0 625 4 0 0 25 0 1 0 189159132 39108608 7118 1992294400 134512640 137136520 4294956256 18446744073709551615 134544143 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 9548 7118 196 640 0 8904 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38192 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1817776/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=52576 CPUtime=12.69 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 10864 0 0 0 1262 7 0 0 25 0 1 0 189159132 53837824 10734 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 13144 10734 196 640 0 12500 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52576 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1793584/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=76288 CPUtime=25.49 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 16778 0 0 0 2537 12 0 0 25 0 1 0 189159132 78118912 16648 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 19072 16648 196 640 0 18428 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76288 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1754480/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=115560 CPUtime=51.08 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 26613 0 0 0 5089 19 0 0 25 0 1 0 189159132 118333440 26483 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 28890 26483 196 640 0 28246 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 115560 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1693744/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=175424 CPUtime=102.27 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 41570 0 0 0 10196 31 0 0 25 0 1 0 189159132 179634176 41440 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 43856 41440 196 640 0 43212 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 175424 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1648496/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=221500 CPUtime=162.25 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 53083 0 0 0 16184 41 0 0 25 0 1 0 189159132 226816000 52953 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 55375 52953 196 640 0 54731 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 221500 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1593584/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=275456 CPUtime=222.23 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 66567 0 0 0 22170 53 0 0 25 0 1 0 189159132 282066944 66437 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 68864 66437 196 640 0 68220 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 275456 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1561200/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=308088 CPUtime=282.21 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 74741 0 0 0 28162 59 0 0 25 0 1 0 189159132 315482112 74611 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 77022 74611 196 640 0 76378 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 308088 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1531824/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=336928 CPUtime=342.2 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 81942 0 0 0 34155 65 0 0 25 0 1 0 189159132 345014272 81812 1992294400 134512640 137136520 4294956256 18446744073709551615 134598513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 84232 81812 196 640 0 83588 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 336928 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1508208/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=360760 CPUtime=402.19 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 87896 0 0 0 40148 71 0 0 25 0 1 0 189159132 369418240 87766 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 90190 87766 196 640 0 89546 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 360760 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1484080/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=384704 CPUtime=462.17 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 93895 0 0 0 46141 76 0 0 25 0 1 0 189159132 393936896 93765 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 96176 93765 196 640 0 95532 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 384704 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1457776/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=411092 CPUtime=522.16 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 100495 0 0 0 52134 82 0 0 25 0 1 0 189159132 420958208 100365 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 102773 100365 196 640 0 102129 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 411092 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1432496/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=436164 CPUtime=582.14 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 106750 0 0 0 58126 88 0 0 25 0 1 0 189159132 446631936 106620 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 109041 106620 196 640 0 108397 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 436164 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1416880/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=451568 CPUtime=642.13 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 110611 0 0 0 64120 93 0 0 25 0 1 0 189159132 462405632 110481 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 112892 110481 196 640 0 112248 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 451568 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1315184/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=552984 CPUtime=1062.01 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 135964 0 0 0 106083 118 0 0 25 0 1 0 189159132 566255616 135834 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 138246 135834 196 640 0 137602 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 552984 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1303536/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=564588 CPUtime=1122 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 138848 0 0 0 112079 121 0 0 25 0 1 0 189159132 578138112 138718 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 141147 138718 196 640 0 140503 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 564588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1291632/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=576500 CPUtime=1181.98 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 141832 0 0 0 118073 125 0 0 25 0 1 0 189159132 590336000 141702 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 144125 141702 196 640 0 143481 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 576500 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1279088/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=588904 CPUtime=1241.97 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 144927 0 0 0 124069 128 0 0 25 0 1 0 189159132 603037696 144797 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 147226 144797 196 640 0 146582 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 588904 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1266224/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=601628 CPUtime=1301.96 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 148110 0 0 0 130065 131 0 0 25 0 1 0 189159132 616067072 147980 1992294400 134512640 137136520 4294956256 18446744073709551615 134544245 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 150407 147980 196 640 0 149763 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 601628 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1254384/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=613476 CPUtime=1361.93 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 151069 0 0 0 136060 133 0 0 25 0 1 0 189159132 628199424 150939 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 153369 150939 196 640 0 152725 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 613476 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1245424/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=622288 CPUtime=1421.92 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 153272 0 0 0 142056 136 0 0 25 0 1 0 189159132 637222912 153142 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 155572 153142 196 640 0 154928 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 622288 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1235888/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=631828 CPUtime=1481.9 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 155672 0 0 0 148053 137 0 0 25 0 1 0 189159132 646991872 155542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 157957 155542 196 640 0 157313 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 631828 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1225712/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=641856 CPUtime=1541.89 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 158178 0 0 0 154050 139 0 0 25 0 1 0 189159132 657260544 158048 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 160464 158048 196 640 0 159820 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 641856 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1213360/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=654372 CPUtime=1601.87 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 161294 0 0 0 160046 141 0 0 25 0 1 0 189159132 670076928 161164 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 163593 161164 196 640 0 162949 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 654372 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1198000/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=669448 CPUtime=1661.85 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 165065 0 0 0 166040 145 0 0 25 0 1 0 189159132 685514752 164935 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 167362 164935 196 640 0 166718 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 669448 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1188976/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=678484 CPUtime=1721.84 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 167330 0 0 0 172037 147 0 0 25 0 1 0 189159132 694767616 167200 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 169621 167200 196 640 0 168977 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 678484 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1179760/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=687620 CPUtime=1781.82 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 169616 0 0 0 178033 149 0 0 25 0 1 0 189159132 704122880 169486 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 171905 169486 196 640 0 171261 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 687620 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 13822 /proc/meminfo: memFree=1178224/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=689084 CPUtime=1791.42 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 169985 0 0 0 178993 149 0 0 25 0 1 0 189159132 705622016 169855 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 172271 169855 196 640 0 171627 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 689084 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1177776/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=689612 CPUtime=1794.62 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 170103 0 0 0 179313 149 0 0 25 0 1 0 189159132 706162688 169973 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 172403 169973 196 640 0 171759 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 689612 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1177584/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=689824 CPUtime=1796.22 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 170158 0 0 0 179473 149 0 0 25 0 1 0 189159132 706379776 170028 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 172456 170028 196 640 0 171812 0 Current children cumulated CPU time (s) 1796.22 Current children cumulated vsize (KiB) 689824 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1177456/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=689932 CPUtime=1797.01 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 170187 0 0 0 179552 149 0 0 25 0 1 0 189159132 706490368 170057 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 172483 170057 196 640 0 171839 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 689932 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1177456/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=690040 CPUtime=1797.81 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194304 170217 0 0 0 179632 149 0 0 25 0 1 0 189159132 706600960 170087 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 172510 170087 196 640 0 171866 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 690040 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/66 13822 /proc/meminfo: memFree=1177264/2055920 swapFree=4180892/4192956 [pid=13821] ppid=13819 vsize=0 CPUtime=1798.02 /proc/13821/stat : 13821 (bsolo) R 13819 13821 12835 0 -1 4194308 170227 0 0 0 179651 151 0 0 25 0 1 0 189159132 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13821/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.59 CPU time (s): 1798.12 CPU user time (s): 1796.52 CPU system time (s): 1.59876 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 690040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.52 system time used= 1.59876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170227 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= 2826 runsolver used 2.11268 second user time and 4.11737 second system time The end
Begin job on node87 at 2009-06-17 07:13:31 IDJOB=1877853 IDBENCH=48338 IDSOLVER=700 FILE ID=node87/1877853-1245215611 PBS_JOBID= 9368364 Free space on /tmp= 66540 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_1_15.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877853-1245215611/watcher-1877853-1245215611 -o /tmp/evaluation-result-1877853-1245215611/solver-1877853-1245215611 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877853-1245215611.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6ed49b7079c02e2b7da24a0934bd3691 RANDOM SEED=1722850963 node87.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.235 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.235 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: 1859720 kB Buffers: 25480 kB Cached: 102532 kB SwapCached: 6152 kB Active: 22576 kB Inactive: 114096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859720 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 4196 kB Writeback: 0 kB Mapped: 14416 kB Slab: 45388 kB Committed_AS: 105632 kB PageTables: 1460 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-1877853-1245215611.opb Free space on /tmp at the end= 66536 MiB End job on node87 at 2009-06-17 07:43:30