Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BoolVar 2009-04-26 | ? (exit code) | 438.918 | 439.191 |
Name | /PURE-SAT/SAT09/APPLICATIONS/ bioinfo/q_query_2_L324_coli.opb |
MD5SUM | 68f429eccd802e443e87ec1c26683838 |
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 | 14.6678 |
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 | 617854 |
Total number of constraints | 2745225 |
Number of constraints which are clauses | 2745225 |
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 | 11 |
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 | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 12 |
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 |
438.67/438.92 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 438.67/438.92 at java.lang.reflect.Array.newArray(Native Method) 438.67/438.92 at java.lang.reflect.Array.newInstance(Unknown Source) 438.67/438.92 at java.util.Arrays.copyOf(Unknown Source) 438.67/438.92 at java.util.ArrayList.toArray(Unknown Source) 438.67/438.92 at boolvar.model.constraints.global.PBconstraint.makeTC(PBconstraint.java:968) 438.67/438.92 at boolvar.model.constraints.global.PBconstraint.makeCascadingBargraphs(PBconstraint.java:1258) 438.67/438.92 at boolvar.model.constraints.global.PBconstraint.getGloBarCascadingCNF(PBconstraint.java:1163) 438.67/438.92 at boolvar.model.constraints.global.PBconstraint.getCNF(PBconstraint.java:259) 438.67/438.92 at boolvar.output.CnfProblem.read(CnfProblem.java:118) 438.67/438.92 at PBsolve.main(PBsolve.java:771)
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-1885600-1245267876/watcher-1885600-1245267876 -o /tmp/evaluation-result-1885600-1245267876/solver-1885600-1245267876 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1885600-1245267876.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: 0.99 0.98 0.99 3/65 6837 /proc/meminfo: memFree=1624104/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1620 CPUtime=0 /proc/6837/stat : 6837 (java) R 6835 6837 5911 0 -1 0 180 0 0 0 0 0 0 0 19 0 1 0 194386645 1658880 151 1992294400 134512640 134550932 4294956192 18446744073709551615 3424378 0 0 4096 0 0 0 0 17 0 0 0 /proc/6837/statm: 404 160 124 9 0 46 0 [startup+0.086912 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6837 /proc/meminfo: memFree=1624104/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685404 CPUtime=0.07 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 4046 0 1 0 6 1 0 0 19 0 9 0 194386645 1725853696 3543 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421351 3543 1184 9 0 416262 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1685404 [startup+0.101905 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6837 /proc/meminfo: memFree=1624104/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685404 CPUtime=0.09 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 4264 0 1 0 8 1 0 0 19 0 9 0 194386645 1725853696 3737 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421351 3737 1342 9 0 416262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1685404 [startup+0.301935 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6837 /proc/meminfo: memFree=1624104/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685404 CPUtime=0.29 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 8555 0 1 0 26 3 0 0 19 0 9 0 194386645 1725853696 7871 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421351 7871 2147 9 0 416262 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1685404 [startup+0.70198 s] /proc/loadavg: 0.99 0.98 0.99 3/65 6837 /proc/meminfo: memFree=1624104/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685540 CPUtime=0.72 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 10566 0 1 0 69 3 0 0 19 0 9 0 194386645 1725992960 9861 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421385 9861 2154 9 0 416296 0 Current children cumulated CPU time (s) 0.72 Current children cumulated vsize (KiB) 1685540 [startup+1.50207 s] /proc/loadavg: 1.07 1.00 1.00 2/74 6846 /proc/meminfo: memFree=1588320/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685544 CPUtime=1.53 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 14614 0 1 0 148 5 0 0 19 0 9 0 194386645 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421386 13667 2154 9 0 416297 0 [pid=6837/tid=6839] ppid=6835 vsize=1685544 CPUtime=0.9 /proc/6837/task/6839/stat : 6839 (java) R 6835 6837 5911 0 -1 64 2870 0 1 0 89 1 0 0 16 0 9 0 194386646 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4126391967 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1685544 CPUtime=0.56 /proc/6837/task/6840/stat : 6840 (java) S 6835 6837 5911 0 -1 64 10740 0 0 0 53 3 0 0 16 0 9 0 194386647 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 194386647 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1685544 CPUtime=0.04 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 271 0 0 0 4 0 0 0 15 0 9 0 194386649 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1725997056 13667 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1725997056 13667 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) 1685544 [startup+3.10125 s] /proc/loadavg: 1.07 1.00 1.00 2/74 6846 /proc/meminfo: memFree=1567328/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685544 CPUtime=3.13 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 23260 0 1 0 304 9 0 0 19 0 9 0 194386645 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421386 21318 2154 9 0 416297 0 [pid=6837/tid=6839] ppid=6835 vsize=1685544 CPUtime=1.93 /proc/6837/task/6839/stat : 6839 (java) R 6835 6837 5911 0 -1 64 3206 0 1 0 192 1 0 0 16 0 9 0 194386646 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4126362579 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1685544 CPUtime=1.13 /proc/6837/task/6840/stat : 6840 (java) S 6835 6837 5911 0 -1 64 19050 0 0 0 107 6 0 0 15 0 9 0 194386647 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 194386647 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1685544 CPUtime=0.04 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 271 0 0 0 4 0 0 0 15 0 9 0 194386649 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1725997056 21318 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1725997056 21318 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) 1685544 [startup+6.30161 s] /proc/loadavg: 1.07 1.00 1.00 2/74 6846 /proc/meminfo: memFree=1498536/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1710036 CPUtime=6.32 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 51501 0 1 0 610 22 0 0 19 0 9 0 194386645 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 427509 41568 2155 9 0 422420 0 [pid=6837/tid=6839] ppid=6835 vsize=1710036 CPUtime=3.45 /proc/6837/task/6839/stat : 6839 (java) S 6835 6837 5911 0 -1 64 3752 0 1 0 342 3 0 0 17 0 9 0 194386646 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1710036 CPUtime=2.8 /proc/6837/task/6840/stat : 6840 (java) R 6835 6837 5911 0 -1 64 46742 0 0 0 262 18 0 0 16 0 9 0 194386647 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 103733025 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1710036 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1710036 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 194386647 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1710036 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1710036 CPUtime=0.04 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 274 0 0 0 4 0 0 0 15 0 9 0 194386649 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1710036 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1710036 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1751076864 41568 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.32 Current children cumulated vsize (KiB) 1710036 [startup+12.7013 s] /proc/loadavg: 1.36 1.07 1.02 2/74 6846 /proc/meminfo: memFree=1370216/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685544 CPUtime=12.71 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 100296 0 1 0 1229 42 0 0 19 0 9 0 194386645 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421386 70074 2155 9 0 416297 0 [pid=6837/tid=6839] ppid=6835 vsize=1685544 CPUtime=6.9 /proc/6837/task/6839/stat : 6839 (java) R 6835 6837 5911 0 -1 64 5968 0 1 0 684 6 0 0 16 0 9 0 194386646 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4126361191 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1685544 CPUtime=5.74 /proc/6837/task/6840/stat : 6840 (java) S 6835 6837 5911 0 -1 64 93317 0 0 0 539 35 0 0 16 0 9 0 194386647 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 194386647 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1685544 CPUtime=0.05 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 278 0 0 0 5 0 0 0 16 0 9 0 194386649 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1725997056 70074 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 1685544 [startup+25.5026 s] /proc/loadavg: 1.46 1.10 1.03 2/74 6846 /proc/meminfo: memFree=1066728/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685544 CPUtime=25.49 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 192501 0 1 0 2467 82 0 0 19 0 9 0 194386645 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421386 144116 2155 9 0 416297 0 [pid=6837/tid=6839] ppid=6835 vsize=1685544 CPUtime=14.26 /proc/6837/task/6839/stat : 6839 (java) R 6835 6837 5911 0 -1 64 8381 0 1 0 1415 11 0 0 17 0 9 0 194386646 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4126362579 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1685544 CPUtime=11.16 /proc/6837/task/6840/stat : 6840 (java) S 6835 6837 5911 0 -1 64 183109 0 0 0 1046 70 0 0 16 0 9 0 194386647 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 194386647 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1685544 CPUtime=0.05 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 278 0 0 0 5 0 0 0 16 0 9 0 194386649 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1685544 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1725997056 144116 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1685544 [startup+51.1027 s] /proc/loadavg: 1.28 1.08 1.03 2/74 6846 /proc/meminfo: memFree=584104/2055920 swapFree=4182240/4192956 [pid=6837] ppid=6835 vsize=1685620 CPUtime=51.09 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 377772 0 1 0 4946 163 0 0 19 0 9 0 194386645 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421405 271340 2162 9 0 416316 0 [pid=6837/tid=6839] ppid=6835 vsize=1685620 CPUtime=25.99 /proc/6837/task/6839/stat : 6839 (java) R 6835 6837 5911 0 -1 64 16874 0 1 0 2578 21 0 0 17 0 9 0 194386646 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4126516792 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1685620 CPUtime=24.97 /proc/6837/task/6840/stat : 6840 (java) S 6835 6837 5911 0 -1 64 359832 0 0 0 2356 141 0 0 16 0 9 0 194386647 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1685620 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1685620 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1685620 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1685620 CPUtime=0.1 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 333 0 0 0 10 0 0 0 15 0 9 0 194386649 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1685620 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1726074880 271340 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1791614976 404876 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1749624 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1791614976 404876 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1749624 CPUtime=0.11 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 334 0 0 0 11 0 0 0 16 0 9 0 194386649 1791614976 404876 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1749624 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1791614976 404876 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1749624 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1791614976 404876 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 409.27 Current children cumulated vsize (KiB) 1749624 [startup+422.302 s] /proc/loadavg: 1.00 1.02 1.00 2/74 6846 /proc/meminfo: memFree=110312/2055920 swapFree=4182236/4192956 [pid=6837] ppid=6835 vsize=1687624 CPUtime=422.08 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 2054927 0 1 0 41328 880 0 0 19 0 9 0 194386645 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 421906 389377 2163 9 0 416817 0 [pid=6837/tid=6839] ppid=6835 vsize=1687624 CPUtime=40.89 /proc/6837/task/6839/stat : 6839 (java) S 6835 6837 5911 0 -1 64 16939 0 1 0 4061 28 0 0 16 0 9 0 194386646 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1687624 CPUtime=381.06 /proc/6837/task/6840/stat : 6840 (java) R 6835 6837 5911 0 -1 64 2036921 0 0 0 37255 851 0 0 25 0 9 0 194386647 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 103732404 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1687624 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1687624 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1687624 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1687624 CPUtime=0.11 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 334 0 0 0 11 0 0 0 16 0 9 0 194386649 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1687624 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1687624 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1728126976 389377 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 422.08 Current children cumulated vsize (KiB) 1687624 [startup+428.702 s] /proc/loadavg: 1.00 1.02 1.00 2/74 6846 /proc/meminfo: memFree=44712/2055920 swapFree=4182236/4192956 [pid=6837] ppid=6835 vsize=1752192 CPUtime=428.47 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 2087148 0 1 0 41955 892 0 0 19 0 9 0 194386645 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 438048 405519 2163 9 0 432959 0 [pid=6837/tid=6839] ppid=6835 vsize=1752192 CPUtime=40.89 /proc/6837/task/6839/stat : 6839 (java) S 6835 6837 5911 0 -1 64 16939 0 1 0 4061 28 0 0 16 0 9 0 194386646 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1752192 CPUtime=387.45 /proc/6837/task/6840/stat : 6840 (java) R 6835 6837 5911 0 -1 64 2069142 0 0 0 37882 863 0 0 25 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 102768136 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1752192 CPUtime=0.11 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 334 0 0 0 11 0 0 0 16 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 428.47 Current children cumulated vsize (KiB) 1752192 [startup+435.101 s] /proc/loadavg: 1.00 1.02 1.00 2/74 6846 /proc/meminfo: memFree=44648/2055920 swapFree=4182236/4192956 [pid=6837] ppid=6835 vsize=1752192 CPUtime=434.87 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 2120312 0 1 0 42582 905 0 0 19 0 9 0 194386645 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 438048 405519 2163 9 0 432959 0 [pid=6837/tid=6839] ppid=6835 vsize=1752192 CPUtime=40.89 /proc/6837/task/6839/stat : 6839 (java) S 6835 6837 5911 0 -1 64 16941 0 1 0 4061 28 0 0 16 0 9 0 194386646 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1752192 CPUtime=393.85 /proc/6837/task/6840/stat : 6840 (java) R 6835 6837 5911 0 -1 64 2102304 0 0 0 38509 876 0 0 25 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 103830963 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1752192 CPUtime=0.11 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 334 0 0 0 11 0 0 0 16 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 434.87 Current children cumulated vsize (KiB) 1752192 [startup+436.706 s] /proc/loadavg: 1.00 1.02 1.00 2/74 6846 /proc/meminfo: memFree=44648/2055920 swapFree=4182236/4192956 [pid=6837] ppid=6835 vsize=1752192 CPUtime=436.47 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 2120312 0 1 0 42742 905 0 0 19 0 9 0 194386645 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 438048 405519 2163 9 0 432959 0 [pid=6837/tid=6839] ppid=6835 vsize=1752192 CPUtime=40.89 /proc/6837/task/6839/stat : 6839 (java) S 6835 6837 5911 0 -1 64 16941 0 1 0 4061 28 0 0 16 0 9 0 194386646 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1752192 CPUtime=395.45 /proc/6837/task/6840/stat : 6840 (java) R 6835 6837 5911 0 -1 64 2102304 0 0 0 38669 876 0 0 25 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 103830994 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1752192 CPUtime=0.11 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 334 0 0 0 11 0 0 0 16 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 436.47 Current children cumulated vsize (KiB) 1752192 [startup+438.302 s] /proc/loadavg: 1.00 1.02 1.00 2/74 6846 /proc/meminfo: memFree=44648/2055920 swapFree=4182236/4192956 [pid=6837] ppid=6835 vsize=1752192 CPUtime=438.07 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 2120312 0 1 0 42902 905 0 0 19 0 9 0 194386645 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 438048 405519 2163 9 0 432959 0 [pid=6837/tid=6839] ppid=6835 vsize=1752192 CPUtime=40.89 /proc/6837/task/6839/stat : 6839 (java) S 6835 6837 5911 0 -1 64 16941 0 1 0 4061 28 0 0 16 0 9 0 194386646 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1752192 CPUtime=397.05 /proc/6837/task/6840/stat : 6840 (java) R 6835 6837 5911 0 -1 64 2102304 0 0 0 38829 876 0 0 25 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 104191083 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1752192 CPUtime=0.11 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 334 0 0 0 11 0 0 0 16 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 438.07 Current children cumulated vsize (KiB) 1752192 [startup+438.702 s] /proc/loadavg: 1.00 1.02 1.00 2/74 6846 /proc/meminfo: memFree=44648/2055920 swapFree=4182236/4192956 [pid=6837] ppid=6835 vsize=1752192 CPUtime=438.47 /proc/6837/stat : 6837 (java) S 6835 6837 5911 0 -1 0 2120312 0 1 0 42942 905 0 0 19 0 9 0 194386645 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 438048 405519 2163 9 0 432959 0 [pid=6837/tid=6839] ppid=6835 vsize=1752192 CPUtime=40.89 /proc/6837/task/6839/stat : 6839 (java) S 6835 6837 5911 0 -1 64 16941 0 1 0 4061 28 0 0 16 0 9 0 194386646 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6837/tid=6840] ppid=6835 vsize=1752192 CPUtime=397.45 /proc/6837/task/6840/stat : 6840 (java) R 6835 6837 5911 0 -1 64 2102304 0 0 0 38869 876 0 0 25 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 104191050 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6841] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6841/stat : 6841 (java) S 6835 6837 5911 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6842] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6842/stat : 6842 (java) S 6835 6837 5911 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 194386647 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6843] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6843/stat : 6843 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6844] ppid=6835 vsize=1752192 CPUtime=0.11 /proc/6837/task/6844/stat : 6844 (java) S 6835 6837 5911 0 -1 64 334 0 0 0 11 0 0 0 16 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6845] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6845/stat : 6845 (java) S 6835 6837 5911 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6837/tid=6846] ppid=6835 vsize=1752192 CPUtime=0 /proc/6837/task/6846/stat : 6846 (java) S 6835 6837 5911 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 194386649 1794244608 405519 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 438.47 Current children cumulated vsize (KiB) 1752192 [startup+439.103 s] /proc/loadavg: 1.00 1.02 1.00 2/74 6846 /proc/meminfo: memFree=44648/2055920 swapFree=4182236/4192956 [pid=6837] ppid=6835 vsize=0 CPUtime=438.82 /proc/6837/stat : 6837 (java) Z 6835 6837 5911 0 -1 12 2120322 0 2 0 42963 919 0 0 16 0 2 0 194386645 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/6837/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 438.82 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 439.191 CPU time (s): 438.918 CPU user time (s): 429.633 CPU system time (s): 9.28559 CPU usage (%): 99.938 Max. virtual memory (cumulated for all children) (KiB): 1781628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 429.633 system time used= 9.28559 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2120322 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9494 involuntary context switches= 2622 runsolver used 0.485926 second user time and 1.12383 second system time The end
Begin job on node85 at 2009-06-17 21:44:41 IDJOB=1885600 IDBENCH=72073 IDSOLVER=688 FILE ID=node85/1885600-1245267876 PBS_JOBID= 9372377 Free space on /tmp= 126744 MiB SOLVER NAME= BoolVar 2009-04-26 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/bioinfo/q_query_2_L324_coli.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-1885600-1245267876/watcher-1885600-1245267876 -o /tmp/evaluation-result-1885600-1245267876/solver-1885600-1245267876 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1885600-1245267876.opb minisat %dimacs %var TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68f429eccd802e443e87ec1c26683838 RANDOM SEED=1429600273 node85.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.213 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 : 5931.00 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.213 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: 1627720 kB Buffers: 43356 kB Cached: 307496 kB SwapCached: 5196 kB Active: 170488 kB Inactive: 188568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1627720 kB SwapTotal: 4192956 kB SwapFree: 4182240 kB Dirty: 96388 kB Writeback: 0 kB Mapped: 13828 kB Slab: 55088 kB Committed_AS: 99460 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-1885600-1245267876.opb Free space on /tmp at the end= 126736 MiB End job on node85 at 2009-06-17 21:52:00