Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BoolVar 2009-04-26 | UNSAT | 211.848 | 211.913 |
Name | /PURE-SAT/SAT09/APPLICATIONS/ diagnosis/UCG-15-5p0.opb |
MD5SUM | e7326f7da85f0ae314c13f7099dbcd62 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 1235.37 |
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 | 162696 |
Total number of constraints | 821000 |
Number of constraints which are clauses | 821000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 10 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
52.49/52.59 ------------------------ 52.49/52.59 Encoding : LINEAR, DIRECT, BDD, POLYW, GLOBC 52.49/52.59 Size : 0, 1944817, 0, 0, 8386 52.49/52.59 Count : 0, 812614, 0, 0, 8386 52.49/52.59 52.49/52.59 Command line : minisat tmp.dimacs %var 52.49/52.59 52.49/52.59 ------------------------ 52.58/52.70 This is MiniSat 2.0 beta 52.58/52.70 WARNING: for repeatability, setting FPU to use double precision 52.58/52.70 ============================[ Problem Statistics ]============================= 52.58/52.70 | | 52.58/52.70 | Number of variables: 162696 | 52.58/52.70 | Number of clauses: 821000 | 53.98/54.00 | Parsing time: 1.22 s | 55.98/56.03 ============================[ Search Statistics ]============================== 55.98/56.03 | Conflicts | ORIGINAL | LEARNT | Progress | 55.98/56.03 | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 55.98/56.03 =============================================================================== 55.98/56.03 | 0 | 85360 531912 1467225 | 177304 0 nan | 0.000 % | 56.18/56.22 | 100 | 85360 531912 1467225 | 195034 100 228 | 21.870 % | 56.39/56.45 | 250 | 85360 531912 1467225 | 214537 250 235 | 21.870 % | 56.68/56.78 | 476 | 85344 531912 1467225 | 235991 475 341 | 22.045 % | 57.09/57.16 | 813 | 85296 531912 1467225 | 259590 810 252 | 22.894 % | 57.59/57.65 | 1319 | 85296 531912 1467225 | 285549 1316 216 | 22.894 % | 58.29/58.36 | 2079 | 83694 520640 1437591 | 314104 2073 202 | 22.894 % | 60.08/60.18 | 3221 | 81827 512660 1416618 | 345515 3198 175 | 24.621 % | 62.78/62.84 | 4930 | 75340 468123 1305275 | 380066 4846 150 | 28.062 % | 65.68/65.79 | 7492 | 73496 458989 1282175 | 418073 7358 122 | 30.294 % | 70.48/70.54 | 11337 | 69514 429670 1204530 | 459880 11153 115 | 31.650 % | 79.48/79.53 | 17105 | 66482 408708 1149352 | 505869 16804 121 | 33.655 % | 94.27/94.31 | 25756 | 63232 387347 1094363 | 556455 25110 137 | 35.491 % | 125.76/125.87 | 38730 | 61654 373990 1058926 | 612101 37673 161 | 37.488 % | 196.15/196.21 | 58201 | 56832 328925 936794 | 673311 44741 167 | 39.419 % | 211.64/211.70 =============================================================================== 211.64/211.70 restarts : 15 211.64/211.70 conflicts : 61563 (388 /sec) 211.64/211.70 decisions : 523030 (1.39 % random) (3294 /sec) 211.64/211.70 propagations : 168362751 (1060440 /sec) 211.64/211.70 conflict literals : 10916680 (28.46 % deleted) 211.64/211.70 Memory used : 99.46 MB 211.64/211.70 CPU time : 158.767 s 211.64/211.70 211.64/211.70 s UNSATISFIABLE
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-1885700-1245268911/watcher-1885700-1245268911 -o /tmp/evaluation-result-1885700-1245268911/solver-1885700-1245268911 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1885700-1245268911.opb minisat %dimacs %var 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 2210 /proc/meminfo: memFree=1798544/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1620 CPUtime=0 /proc/2210/stat : 2210 (java) R 2208 2210 2022 0 -1 0 186 0 0 0 0 0 0 0 19 0 1 0 194489265 1658880 158 1992294400 134512640 134550932 4294956192 18446744073709551615 6882298 0 0 4096 0 0 0 0 17 0 0 0 /proc/2210/statm: 404 160 124 9 0 46 0 [startup+0.0257659 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2210 /proc/meminfo: memFree=1798544/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1682168 CPUtime=0.01 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 1553 0 1 0 0 1 0 0 19 0 5 0 194489265 1722540032 1217 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 420542 1219 708 9 0 415457 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1682168 [startup+0.102636 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2210 /proc/meminfo: memFree=1798544/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1684452 CPUtime=0.1 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 4191 0 1 0 8 2 0 0 19 0 9 0 194489265 1724878848 3651 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421113 3651 1354 9 0 416024 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1684452 [startup+0.301662 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2210 /proc/meminfo: memFree=1798544/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1685476 CPUtime=0.32 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 6049 0 1 0 30 2 0 0 19 0 9 0 194489265 1725927424 5358 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421369 5360 2153 9 0 416280 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1685476 [startup+0.701698 s] /proc/loadavg: 1.00 1.00 1.00 3/65 2210 /proc/meminfo: memFree=1798544/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1685492 CPUtime=0.73 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 8165 0 1 0 69 4 0 0 19 0 9 0 194489265 1725943808 7149 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421373 7151 2154 9 0 416284 0 Current children cumulated CPU time (s) 0.73 Current children cumulated vsize (KiB) 1685492 [startup+1.50279 s] /proc/loadavg: 1.00 1.00 1.00 2/74 2220 /proc/meminfo: memFree=1771528/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1685492 CPUtime=1.53 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 12386 0 1 0 147 6 0 0 19 0 9 0 194489265 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421373 10870 2154 9 0 416284 0 [pid=2210/tid=2212] ppid=2208 vsize=1685492 CPUtime=0.93 /proc/2210/task/2212/stat : 2212 (java) R 2208 2210 2022 0 -1 64 2226 0 1 0 91 2 0 0 16 0 9 0 194489266 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4126359315 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1685492 CPUtime=0.54 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 9138 0 0 0 51 3 0 0 16 0 9 0 194489267 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 194489267 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 194489268 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 194489270 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1685492 CPUtime=0.03 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 286 0 0 0 3 0 0 0 15 0 9 0 194489270 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 194489270 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194489270 1725943808 10870 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 1685492 [startup+3.10295 s] /proc/loadavg: 1.00 1.00 1.00 2/74 2220 /proc/meminfo: memFree=1752328/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1685492 CPUtime=3.13 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 20407 0 1 0 304 9 0 0 19 0 9 0 194489265 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421373 17889 2154 9 0 416284 0 [pid=2210/tid=2212] ppid=2208 vsize=1685492 CPUtime=1.92 /proc/2210/task/2212/stat : 2212 (java) R 2208 2210 2022 0 -1 64 2553 0 1 0 190 2 0 0 16 0 9 0 194489266 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4126406003 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1685492 CPUtime=1.15 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 16829 0 0 0 109 6 0 0 16 0 9 0 194489267 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 194489267 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 194489268 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 194489270 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1685492 CPUtime=0.04 /proc/2210/task/2218/stat : 2218 (java) R 2208 2210 2022 0 -1 64 289 0 0 0 4 0 0 0 16 0 9 0 194489270 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 194489270 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194489270 1725943808 17889 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.13 Current children cumulated vsize (KiB) 1685492 [startup+6.30243 s] /proc/loadavg: 1.08 1.02 1.00 2/74 2220 /proc/meminfo: memFree=1692168/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1703744 CPUtime=6.33 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 44408 0 1 0 614 19 0 0 19 0 9 0 194489265 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 425936 35434 2155 9 0 420847 0 [pid=2210/tid=2212] ppid=2208 vsize=1703744 CPUtime=3.59 /proc/2210/task/2212/stat : 2212 (java) S 2208 2210 2022 0 -1 64 3011 0 1 0 356 3 0 0 17 0 9 0 194489266 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1703744 CPUtime=2.68 /proc/2210/task/2214/stat : 2214 (java) R 2208 2210 2022 0 -1 64 40367 0 0 0 253 15 0 0 16 0 9 0 194489267 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 104190771 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1703744 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 194489267 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1703744 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 194489268 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1703744 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 194489270 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1703744 CPUtime=0.04 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 294 0 0 0 4 0 0 0 15 0 9 0 194489270 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1703744 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 194489270 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1703744 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194489270 1744633856 35434 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.33 Current children cumulated vsize (KiB) 1703744 [startup+12.7011 s] /proc/loadavg: 1.07 1.02 1.00 2/74 2220 /proc/meminfo: memFree=1565320/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1685492 CPUtime=12.77 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 87332 0 1 0 1240 37 0 0 19 0 9 0 194489265 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421373 64728 2165 9 0 416284 0 [pid=2210/tid=2212] ppid=2208 vsize=1685492 CPUtime=7.14 /proc/2210/task/2212/stat : 2212 (java) R 2208 2210 2022 0 -1 64 4931 0 1 0 709 5 0 0 17 0 9 0 194489266 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 101450240 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1685492 CPUtime=5.49 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 81232 0 0 0 519 30 0 0 16 0 9 0 194489267 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 194489267 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 17 0 9 0 194489268 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 194489270 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1685492 CPUtime=0.1 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 433 0 0 0 10 0 0 0 15 0 9 0 194489270 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 194489270 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194489270 1725943808 64728 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.77 Current children cumulated vsize (KiB) 1685492 [startup+25.5025 s] /proc/loadavg: 1.06 1.02 1.00 2/74 2220 /proc/meminfo: memFree=1247944/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1711744 CPUtime=25.55 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 180349 0 1 0 2481 74 0 0 19 0 9 0 194489265 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 427936 138253 2162 9 0 422847 0 [pid=2210/tid=2212] ppid=2208 vsize=1711744 CPUtime=13.12 /proc/2210/task/2212/stat : 2212 (java) S 2208 2210 2022 0 -1 64 6985 0 1 0 1303 9 0 0 17 0 9 0 194489266 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1711744 CPUtime=12.29 /proc/2210/task/2214/stat : 2214 (java) R 2208 2210 2022 0 -1 64 172195 0 0 0 1166 63 0 0 17 0 9 0 194489267 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 104188671 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1711744 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 194489267 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1711744 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 194489268 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1711744 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 194489270 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1711744 CPUtime=0.1 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 433 0 0 0 10 0 0 0 15 0 9 0 194489270 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1711744 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 194489270 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1711744 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194489270 1752825856 138253 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.55 Current children cumulated vsize (KiB) 1711744 [startup+51.1022 s] /proc/loadavg: 1.12 1.03 1.01 2/74 2220 /proc/meminfo: memFree=693064/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1685492 CPUtime=51.09 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 337853 0 1 0 4971 138 0 0 19 0 9 0 194489265 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421373 278766 2162 9 0 416284 0 [pid=2210/tid=2212] ppid=2208 vsize=1685492 CPUtime=24.98 /proc/2210/task/2212/stat : 2212 (java) R 2208 2210 2022 0 -1 64 15980 0 1 0 2478 20 0 0 17 0 9 0 194489266 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4126540976 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1685492 CPUtime=25.97 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 320700 0 0 0 2481 116 0 0 16 0 9 0 194489267 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 194489267 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 194489268 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 194489270 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1685492 CPUtime=0.11 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 437 0 0 0 11 0 0 0 15 0 9 0 194489270 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1685492 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 194489270 1725943808 278766 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/2222/statm: 25461 24281 75 157 0 25301 0 [pid=2210/tid=2212] ppid=2208 vsize=1686464 CPUtime=25.84 /proc/2210/task/2212/stat : 2212 (java) S 2208 2210 2022 0 -1 64 16135 0 1 0 2563 21 0 0 16 0 12 0 194489266 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1686464 CPUtime=26.61 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 332274 0 0 0 2541 120 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 194489268 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1686464 CPUtime=0.12 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 511 0 0 0 12 0 0 0 16 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2221] ppid=2208 vsize=1686464 CPUtime=0.04 /proc/2210/task/2221/stat : 2221 (java) S 2208 2210 2022 0 -1 64 70 0 0 0 0 4 0 0 16 0 12 0 194494525 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=2210/tid=2223] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2223/stat : 2223 (java) S 2208 2210 2022 0 -1 64 39 0 0 0 0 0 0 0 16 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2210/tid=2224] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2224/stat : 2224 (java) S 2208 2210 2022 0 -1 64 12 0 0 0 0 0 0 0 17 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 204.64 Current children cumulated vsize (KiB) 1788308 [startup+207.906 s] /proc/loadavg: 1.01 1.01 1.00 2/78 2224 /proc/meminfo: memFree=530728/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1686464 CPUtime=52.63 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 349785 0 1 0 5117 146 0 0 19 0 12 0 194489265 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421616 290354 2165 9 0 416527 0 [pid=2222] ppid=2210 vsize=101844 CPUtime=155.22 /proc/2222/stat : 2222 (minisat) R 2210 2210 2022 0 -1 4194304 27081 0 0 0 15497 25 0 0 25 0 1 0 194494525 104288256 24281 1992294400 134512640 135156773 4294956080 18446744073709551615 134557170 0 4 0 3 0 0 0 17 0 0 0 /proc/2222/statm: 25461 24281 75 157 0 25301 0 [pid=2210/tid=2212] ppid=2208 vsize=1686464 CPUtime=25.84 /proc/2210/task/2212/stat : 2212 (java) S 2208 2210 2022 0 -1 64 16135 0 1 0 2563 21 0 0 16 0 12 0 194489266 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1686464 CPUtime=26.61 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 332274 0 0 0 2541 120 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 194489268 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1686464 CPUtime=0.12 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 511 0 0 0 12 0 0 0 16 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2221] ppid=2208 vsize=1686464 CPUtime=0.04 /proc/2210/task/2221/stat : 2221 (java) S 2208 2210 2022 0 -1 64 70 0 0 0 0 4 0 0 16 0 12 0 194494525 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=2210/tid=2223] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2223/stat : 2223 (java) S 2208 2210 2022 0 -1 64 39 0 0 0 0 0 0 0 16 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2210/tid=2224] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2224/stat : 2224 (java) S 2208 2210 2022 0 -1 64 12 0 0 0 0 0 0 0 17 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 207.85 Current children cumulated vsize (KiB) 1788308 [startup+209.502 s] /proc/loadavg: 1.01 1.01 1.00 2/78 2224 /proc/meminfo: memFree=530728/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1686464 CPUtime=52.63 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 349785 0 1 0 5117 146 0 0 19 0 12 0 194489265 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421616 290354 2165 9 0 416527 0 [pid=2222] ppid=2210 vsize=101840 CPUtime=156.81 /proc/2222/stat : 2222 (minisat) R 2210 2210 2022 0 -1 4194304 27081 0 0 0 15656 25 0 0 25 0 1 0 194494525 104284160 24281 1992294400 134512640 135156773 4294956080 18446744073709551615 134556262 0 4 0 3 0 0 0 17 0 0 0 /proc/2222/statm: 25460 24281 75 157 0 25300 0 [pid=2210/tid=2212] ppid=2208 vsize=1686464 CPUtime=25.84 /proc/2210/task/2212/stat : 2212 (java) S 2208 2210 2022 0 -1 64 16135 0 1 0 2563 21 0 0 16 0 12 0 194489266 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1686464 CPUtime=26.61 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 332274 0 0 0 2541 120 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 194489268 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1686464 CPUtime=0.12 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 511 0 0 0 12 0 0 0 16 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2221] ppid=2208 vsize=1686464 CPUtime=0.04 /proc/2210/task/2221/stat : 2221 (java) S 2208 2210 2022 0 -1 64 70 0 0 0 0 4 0 0 16 0 12 0 194494525 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=2210/tid=2223] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2223/stat : 2223 (java) S 2208 2210 2022 0 -1 64 39 0 0 0 0 0 0 0 16 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2210/tid=2224] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2224/stat : 2224 (java) S 2208 2210 2022 0 -1 64 12 0 0 0 0 0 0 0 17 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 209.44 Current children cumulated vsize (KiB) 1788304 [startup+211.102 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2224 /proc/meminfo: memFree=530728/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1686464 CPUtime=52.63 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 349785 0 1 0 5117 146 0 0 19 0 12 0 194489265 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421616 290354 2165 9 0 416527 0 [pid=2222] ppid=2210 vsize=101840 CPUtime=158.41 /proc/2222/stat : 2222 (minisat) R 2210 2210 2022 0 -1 4194304 27081 0 0 0 15816 25 0 0 25 0 1 0 194494525 104284160 24281 1992294400 134512640 135156773 4294956080 18446744073709551615 134556262 0 4 0 3 0 0 0 17 0 0 0 /proc/2222/statm: 25460 24281 75 157 0 25300 0 [pid=2210/tid=2212] ppid=2208 vsize=1686464 CPUtime=25.84 /proc/2210/task/2212/stat : 2212 (java) S 2208 2210 2022 0 -1 64 16135 0 1 0 2563 21 0 0 16 0 12 0 194489266 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1686464 CPUtime=26.61 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 332274 0 0 0 2541 120 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 194489268 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1686464 CPUtime=0.12 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 511 0 0 0 12 0 0 0 16 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2221] ppid=2208 vsize=1686464 CPUtime=0.04 /proc/2210/task/2221/stat : 2221 (java) S 2208 2210 2022 0 -1 64 70 0 0 0 0 4 0 0 16 0 12 0 194494525 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=2210/tid=2223] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2223/stat : 2223 (java) S 2208 2210 2022 0 -1 64 39 0 0 0 0 0 0 0 16 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2210/tid=2224] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2224/stat : 2224 (java) S 2208 2210 2022 0 -1 64 12 0 0 0 0 0 0 0 17 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 211.04 Current children cumulated vsize (KiB) 1788304 [startup+211.502 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2224 /proc/meminfo: memFree=530728/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=1686464 CPUtime=52.63 /proc/2210/stat : 2210 (java) S 2208 2210 2022 0 -1 0 349785 0 1 0 5117 146 0 0 19 0 12 0 194489265 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 421616 290354 2165 9 0 416527 0 [pid=2222] ppid=2210 vsize=101840 CPUtime=158.81 /proc/2222/stat : 2222 (minisat) R 2210 2210 2022 0 -1 4194304 27081 0 0 0 15856 25 0 0 25 0 1 0 194494525 104284160 24281 1992294400 134512640 135156773 4294956080 18446744073709551615 134556262 0 4 0 3 0 0 0 17 0 0 0 /proc/2222/statm: 25460 24281 75 157 0 25300 0 [pid=2210/tid=2212] ppid=2208 vsize=1686464 CPUtime=25.84 /proc/2210/task/2212/stat : 2212 (java) S 2208 2210 2022 0 -1 64 16135 0 1 0 2563 21 0 0 16 0 12 0 194489266 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2214] ppid=2208 vsize=1686464 CPUtime=26.61 /proc/2210/task/2214/stat : 2214 (java) S 2208 2210 2022 0 -1 64 332274 0 0 0 2541 120 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2215] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2215/stat : 2215 (java) S 2208 2210 2022 0 -1 64 15 0 0 0 0 0 0 0 16 0 12 0 194489267 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2216] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2216/stat : 2216 (java) S 2208 2210 2022 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 194489268 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2217] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2217/stat : 2217 (java) S 2208 2210 2022 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2218] ppid=2208 vsize=1686464 CPUtime=0.12 /proc/2210/task/2218/stat : 2218 (java) S 2208 2210 2022 0 -1 64 511 0 0 0 12 0 0 0 16 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2219] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2219/stat : 2219 (java) S 2208 2210 2022 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=2210/tid=2220] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2220/stat : 2220 (java) S 2208 2210 2022 0 -1 64 9 0 0 0 0 0 0 0 15 0 12 0 194489270 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=2210/tid=2221] ppid=2208 vsize=1686464 CPUtime=0.04 /proc/2210/task/2221/stat : 2221 (java) S 2208 2210 2022 0 -1 64 70 0 0 0 0 4 0 0 16 0 12 0 194494525 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0 [pid=2210/tid=2223] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2223/stat : 2223 (java) S 2208 2210 2022 0 -1 64 39 0 0 0 0 0 0 0 16 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 [pid=2210/tid=2224] ppid=2208 vsize=1686464 CPUtime=0 /proc/2210/task/2224/stat : 2224 (java) S 2208 2210 2022 0 -1 64 12 0 0 0 0 0 0 0 17 0 12 0 194494535 1726939136 290354 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0 Current children cumulated CPU time (s) 211.44 Current children cumulated vsize (KiB) 1788304 [startup+211.901 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2224 /proc/meminfo: memFree=530728/2055920 swapFree=4175764/4192956 [pid=2210] ppid=2208 vsize=0 CPUtime=211.81 /proc/2210/stat : 2210 (java) Z 2208 2210 2022 0 -1 12 349861 27089 1 0 5117 162 15876 26 16 0 2 0 194489265 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/2210/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 211.81 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 211.913 CPU time (s): 211.848 CPU user time (s): 209.944 CPU system time (s): 1.90371 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 1788308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 209.944 system time used= 1.90371 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 376950 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5317 involuntary context switches= 1558 runsolver used 0.230964 second user time and 0.550916 second system time The end
Begin job on node82 at 2009-06-17 22:01:52 IDJOB=1885700 IDBENCH=72083 IDSOLVER=688 FILE ID=node82/1885700-1245268911 PBS_JOBID= 9372454 Free space on /tmp= 66364 MiB SOLVER NAME= BoolVar 2009-04-26 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.opb COMMAND LINE= java -Xmx1500m -jar pb2cnfsolver.jar 6 BENCHNAME minisat %dimacs %var CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885700-1245268911/watcher-1885700-1245268911 -o /tmp/evaluation-result-1885700-1245268911/solver-1885700-1245268911 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1885700-1245268911.opb minisat %dimacs %var TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e7326f7da85f0ae314c13f7099dbcd62 RANDOM SEED=1262118157 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: 1799088 kB Buffers: 30092 kB Cached: 156832 kB SwapCached: 10480 kB Active: 77700 kB Inactive: 122392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799088 kB SwapTotal: 4192956 kB SwapFree: 4175764 kB Dirty: 26584 kB Writeback: 0 kB Mapped: 18948 kB Slab: 42736 kB Committed_AS: 110900 kB PageTables: 1412 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-1885700-1245268911.opb Free space on /tmp at the end= 66360 MiB End job on node82 at 2009-06-17 22:05:25