Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 | ? | 1798.03 | 1798.99 |
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: Cardinality Constraint 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-1876390-1245213945.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.19/0.29 c Pre-processing Time: 0.296 s 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 1460 2823 10780 3 9263 21125 0 0 0.30 0.19/0.29 c Switching off lower bounding mode. 1797.93/1798.96 c 100 1460 2925 15460 5 9506 23238 102 296 0.34 1797.93/1798.96 c 250 1460 3084 32500 10 9824 25562 261 644 0.39 1797.93/1798.96 c 475 1460 3321 48972 14 10429 28119 498 1062 0.45 1797.93/1798.96 c 815 1460 3691 78016 21 12042 30931 868 1495 0.55 1797.93/1798.96 c 1323 1460 4233 116860 27 13735 34025 1410 1771 0.75 1797.93/1798.96 c 2086 1460 5058 177609 35 16556 37428 2235 2017 1.03 1797.93/1798.96 c 3232 1460 6263 262088 41 19764 41171 3440 2185 1.48 1797.93/1798.96 c 4953 1460 8098 398252 49 25302 45289 5275 2120 2.34 1797.93/1798.96 c 7537 1460 10912 603250 55 31420 49818 8089 1749 4.31 1797.93/1798.96 c 11416 1460 15029 900082 59 42341 54800 12206 1546 7.38 1797.93/1798.96 c 17238 1460 21324 1364671 63 56776 60281 18501 1289 13.37 1797.93/1798.96 c 25976 1460 30646 2035911 66 77650 66310 27823 1057 24.56 1797.93/1798.96 c 39086 1460 44495 3051638 68 108029 72942 41672 867 45.05 1797.93/1798.96 c 58757 1460 65571 4864583 74 151394 80237 62748 731 80.31 1797.93/1798.96 c 88267 1460 29771 2189126 73 63456 88261 26948 493 178.84 1797.93/1798.96 c 132537 1460 76804 6328946 82 157933 97088 73981 536 247.15 1797.93/1798.96 c 198947 1460 64640 6170014 95 242470 106797 61817 454 437.45 1797.93/1798.96 c 298568 1460 78174 6914855 88 186608 117477 75351 294 1015.37 1797.93/1798.96 c 448004 1460 21281 1821514 85 47069 129225 18458 285 1568.73 1797.93/1798.96 c Resources Exceeded 1797.93/1798.96 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.96 c 19 535740 131506 1403630 114931 9485143 112108 297 1798.00 1797.93/1798.96 s UNKNOWN 1797.93/1798.96 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876390-1245213945/watcher-1876390-1245213945 -o /tmp/evaluation-result-1876390-1245213945/solver-1876390-1245213945 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876390-1245213945.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 0.99 0.99 3/64 5961 /proc/meminfo: memFree=1803824/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=10820 CPUtime=0 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 188995174 11079680 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 2705 242 175 640 0 2034 0 [startup+0.052403 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5961 /proc/meminfo: memFree=1803824/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=11396 CPUtime=0.04 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 464 0 0 0 4 0 0 0 18 0 1 0 188995174 11669504 421 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 2849 421 189 640 0 2205 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11396 [startup+0.102415 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5961 /proc/meminfo: memFree=1803824/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=11396 CPUtime=0.09 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 464 0 0 0 9 0 0 0 18 0 1 0 188995174 11669504 421 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 2849 421 189 640 0 2205 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11396 [startup+0.301456 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5961 /proc/meminfo: memFree=1803824/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=11528 CPUtime=0.29 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 517 0 0 0 29 0 0 0 19 0 1 0 188995174 11804672 474 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 2882 474 197 640 0 2238 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11528 [startup+0.702542 s] /proc/loadavg: 1.00 0.99 0.99 3/64 5961 /proc/meminfo: memFree=1803824/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=12856 CPUtime=0.7 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 846 0 0 0 69 1 0 0 23 0 1 0 188995174 13164544 803 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 3214 803 198 640 0 2570 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 12856 [startup+1.50171 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1800488/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=15120 CPUtime=1.49 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 1418 0 0 0 148 1 0 0 25 0 1 0 188995174 15482880 1375 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 3780 1375 198 640 0 3136 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15120 [startup+3.10106 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1797480/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=18360 CPUtime=3.09 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 2204 0 0 0 306 3 0 0 25 0 1 0 188995174 18800640 2161 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 4590 2161 198 640 0 3946 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18360 [startup+6.30174 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1792296/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=22936 CPUtime=6.29 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 3355 0 0 0 622 7 0 0 25 0 1 0 188995174 23486464 3312 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 5734 3312 198 640 0 5090 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22936 [startup+12.7011 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1784168/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=30512 CPUtime=12.68 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 5251 0 0 0 1256 12 0 0 25 0 1 0 188995174 31244288 5208 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 7628 5208 198 640 0 6984 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30512 [startup+25.5019 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1772840/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=41348 CPUtime=25.47 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 7976 0 0 0 2526 21 0 0 25 0 1 0 188995174 42340352 7933 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 10337 7933 198 640 0 9693 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 41348 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1753768/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=60876 CPUtime=51.07 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 12838 0 0 0 5071 36 0 0 25 0 1 0 188995174 62337024 12795 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 15219 12795 198 640 0 14575 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 60876 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1721192/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=92656 CPUtime=102.24 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 20805 0 0 0 10170 54 0 0 25 0 1 0 188995174 94879744 20762 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 23164 20762 198 640 0 22520 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 92656 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1711144/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=102464 CPUtime=162.2 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 23314 0 0 0 16160 60 0 0 25 0 1 0 188995174 104923136 23191 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 25616 23191 198 640 0 24972 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 102464 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1711208/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=102464 CPUtime=222.18 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 23314 0 0 0 22140 78 0 0 25 0 1 0 188995174 104923136 23191 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 25616 23191 198 640 0 24972 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 102464 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1691880/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=122392 CPUtime=282.15 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 28290 0 0 0 28123 92 0 0 25 0 1 0 188995174 125329408 28167 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 30598 28167 198 640 0 29954 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 122392 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1684392/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=129168 CPUtime=342.11 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 30089 0 0 0 34115 96 0 0 25 0 1 0 188995174 132268032 29870 1992294400 134512640 137136520 4294956256 18446744073709551615 134616701 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 32292 29870 198 640 0 31648 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 129168 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5962 /proc/meminfo: memFree=1684392/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=129168 CPUtime=402.08 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 30089 0 0 0 40106 102 0 0 25 0 1 0 188995174 132268032 29870 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 32292 29870 198 640 0 31648 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 129168 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5964 /proc/meminfo: memFree=1684328/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=129168 CPUtime=462.06 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 30089 0 0 0 46100 106 0 0 25 0 1 0 188995174 132268032 29870 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 32292 29870 198 640 0 31648 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 129168 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5964 /proc/meminfo: memFree=1684328/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=129168 CPUtime=522.03 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 30089 0 0 0 52094 109 0 0 25 0 1 0 188995174 132268032 29870 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 32292 29870 198 640 0 31648 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 129168 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5964 /proc/meminfo: memFree=1676072/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=137636 CPUtime=581.99 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 32224 0 0 0 58086 113 0 0 25 0 1 0 188995174 140939264 32005 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 34409 32005 198 640 0 33765 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 137636 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5964 /proc/meminfo: memFree=1664040/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=149548 CPUtime=641.97 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 35202 0 0 0 64078 119 0 0 25 0 1 0 188995174 153137152 34983 1992294400 134512640 137136520 4294956256 18446744073709551615 134574394 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 37387 34983 198 640 0 36743 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 149548 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1643560/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=169684 CPUtime=1061.75 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 40337 0 0 0 106029 146 0 0 25 0 1 0 188995174 173756416 40012 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 42421 40012 198 640 0 41777 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 169684 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1643496/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=169684 CPUtime=1121.71 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 40337 0 0 0 112021 150 0 0 25 0 1 0 188995174 173756416 40012 1992294400 134512640 137136520 4294956256 18446744073709551615 134544434 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 42421 40012 198 640 0 41777 0 Current children cumulated CPU time (s) 1121.71 Current children cumulated vsize (KiB) 169684 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1643496/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=169692 CPUtime=1181.68 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 40339 0 0 0 118015 153 0 0 25 0 1 0 188995174 173764608 40014 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 42423 40014 198 640 0 41779 0 Current children cumulated CPU time (s) 1181.68 Current children cumulated vsize (KiB) 169692 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1643368/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=169724 CPUtime=1241.64 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 40463 0 0 0 124009 155 0 0 25 0 1 0 188995174 173797376 40022 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 42431 40022 198 640 0 41787 0 Current children cumulated CPU time (s) 1241.64 Current children cumulated vsize (KiB) 169724 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1643368/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=169724 CPUtime=1301.62 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 40463 0 0 0 130002 160 0 0 25 0 1 0 188995174 173797376 40022 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 42431 40022 198 640 0 41787 0 Current children cumulated CPU time (s) 1301.62 Current children cumulated vsize (KiB) 169724 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1643368/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=169724 CPUtime=1361.6 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 40463 0 0 0 135995 165 0 0 25 0 1 0 188995174 173797376 40022 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 42431 40022 198 640 0 41787 0 Current children cumulated CPU time (s) 1361.6 Current children cumulated vsize (KiB) 169724 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1628200/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=185168 CPUtime=1421.56 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44309 0 0 0 141980 176 0 0 25 0 1 0 188995174 189612032 43868 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46292 43868 198 640 0 45648 0 Current children cumulated CPU time (s) 1421.56 Current children cumulated vsize (KiB) 185168 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625768/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1481.52 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 147975 177 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1481.52 Current children cumulated vsize (KiB) 187528 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625768/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1541.48 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 153971 177 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1541.48 Current children cumulated vsize (KiB) 187528 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625704/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1601.43 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 159957 186 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1601.43 Current children cumulated vsize (KiB) 187528 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625640/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1661.4 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 165942 198 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1661.4 Current children cumulated vsize (KiB) 187528 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625640/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1721.37 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 171931 206 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1721.37 Current children cumulated vsize (KiB) 187528 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625576/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1781.34 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 177920 214 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (KiB) 187528 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625576/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1790.94 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 178878 216 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 135982497 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1790.94 Current children cumulated vsize (KiB) 187528 [startup+1795.1 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625576/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1794.14 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 179198 216 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1794.14 Current children cumulated vsize (KiB) 187528 [startup+1796.7 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625576/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1795.73 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 179357 216 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134574992 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1795.73 Current children cumulated vsize (KiB) 187528 [startup+1798.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625576/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1797.33 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 179517 216 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1797.33 Current children cumulated vsize (KiB) 187528 [startup+1798.7 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625576/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1797.73 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 179557 216 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 187528 [startup+1798.9 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5970 /proc/meminfo: memFree=1625576/2055920 swapFree=4192812/4192956 [pid=5961] ppid=5959 vsize=187528 CPUtime=1797.93 /proc/5961/stat : 5961 (bsolo) R 5959 5961 5649 0 -1 4194304 44888 0 0 0 179577 216 0 0 25 0 1 0 188995174 192028672 44447 1992294400 134512640 137136520 4294956256 18446744073709551615 134543959 0 0 4096 16384 0 0 0 17 0 0 0 /proc/5961/statm: 46882 44447 198 640 0 46238 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 187528 Child status: 0 Real time (s): 1798.99 CPU time (s): 1798.03 CPU user time (s): 1795.84 CPU system time (s): 2.19467 CPU usage (%): 99.9466 Max. virtual memory (cumulated for all children) (KiB): 187528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.83 system time used= 2.19467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44889 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= 6220 runsolver used 1.47078 second user time and 5.07723 second system time The end
Begin job on node10 at 2009-06-17 06:45:45 IDJOB=1876390 IDBENCH=48305 IDSOLVER=699 FILE ID=node10/1876390-1245213945 PBS_JOBID= 9368400 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_2_40.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876390-1245213945/watcher-1876390-1245213945 -o /tmp/evaluation-result-1876390-1245213945/solver-1876390-1245213945 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876390-1245213945.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED=1325849347 node10.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.263 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.263 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: 1804376 kB Buffers: 57296 kB Cached: 127664 kB SwapCached: 0 kB Active: 77316 kB Inactive: 120988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804376 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3972 kB Writeback: 0 kB Mapped: 23200 kB Slab: 39272 kB Committed_AS: 199004 kB PageTables: 1376 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-1876390-1245213945.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-17 07:15:44