Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
BoolVar 2009-04-26 | ? (exit code) | 617.361 | 617.865 |
Name | /PURE-SAT/SAT09/ CRAFTED/ramseycube/Q3inK11.opb |
MD5SUM | 9974c39530204bf665729cefd35195fb |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 4.40033 |
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 | 55 |
Total number of constraints | 277200 |
Number of constraints which are clauses | 277200 |
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 | 12 |
Maximum length of a constraint | 12 |
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 | 11 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 23 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
598.64/599.19 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space 617.03/617.60 at java.util.ArrayList.<init>(Unknown Source) 617.03/617.60 at boolvar.model.constraints.global.PBconstraint.makeTC(PBconstraint.java:1010) 617.03/617.60 at boolvar.model.constraints.global.PBconstraint.makeTC(PBconstraint.java:1026) 617.03/617.60 at boolvar.model.constraints.global.PBconstraint.makeCascadingBargraphs(PBconstraint.java:1258) 617.03/617.60 at boolvar.model.constraints.global.PBconstraint.getGloBarCascadingCNF(PBconstraint.java:1163) 617.03/617.60 at boolvar.model.constraints.global.PBconstraint.getCNF(PBconstraint.java:259) 617.03/617.60 at boolvar.output.CnfProblem.read(CnfProblem.java:118) 617.03/617.60 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-1884560-1245259551/watcher-1884560-1245259551 -o /tmp/evaluation-result-1884560-1245259551/solver-1884560-1245259551 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1884560-1245259551.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 0.92 3/64 7294 /proc/meminfo: memFree=1552848/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=308 CPUtime=0 /proc/7294/stat : 7294 (java) R 7292 7294 7137 0 -1 0 57 0 0 0 0 0 0 0 18 0 1 0 193550972 315392 41 1992294400 134512640 134550932 4294956192 18446744073709551615 7394084 0 0 4096 0 0 0 0 17 0 0 0 /proc/7294/statm: 81 44 33 9 0 6 0 [startup+0.0987369 s] /proc/loadavg: 1.00 1.00 0.92 3/64 7294 /proc/meminfo: memFree=1552848/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1612 CPUtime=0 /proc/7294/stat : 7294 (java) D 7292 7294 7137 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 193550972 1650688 137 1992294400 134512640 134550932 4294956192 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/7294/statm: 403 137 102 9 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1612 [startup+0.101737 s] /proc/loadavg: 1.00 1.00 0.92 3/64 7294 /proc/meminfo: memFree=1552848/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1612 CPUtime=0 /proc/7294/stat : 7294 (java) D 7292 7294 7137 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 193550972 1650688 137 1992294400 134512640 134550932 4294956192 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/7294/statm: 403 137 102 9 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1612 [startup+0.301774 s] /proc/loadavg: 1.00 1.00 0.92 3/64 7294 /proc/meminfo: memFree=1552848/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1685288 CPUtime=0.1 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 2820 0 1 0 9 1 0 0 18 0 9 0 193550972 1725734912 2315 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 421322 2316 1215 9 0 416233 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1685288 [startup+0.70184 s] /proc/loadavg: 1.00 1.00 0.92 3/64 7294 /proc/meminfo: memFree=1552848/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1685444 CPUtime=0.53 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 5946 0 1 0 51 2 0 0 18 0 9 0 193550972 1725894656 5235 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 421361 5235 2153 9 0 416272 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1685444 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=1535048/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1685468 CPUtime=1.33 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 9523 0 1 0 129 4 0 0 18 0 9 0 193550972 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 421367 8638 2154 9 0 416278 0 [pid=7294/tid=7296] ppid=7292 vsize=1685468 CPUtime=0.95 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 7137 0 -1 64 2099 0 1 0 94 1 0 0 16 0 9 0 193550994 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4126394119 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1685468 CPUtime=0.31 /proc/7294/task/7297/stat : 7297 (java) S 7292 7294 7137 0 -1 64 6397 0 0 0 29 2 0 0 16 0 9 0 193550995 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1685468 CPUtime=0.04 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 292 0 0 0 4 0 0 0 15 0 9 0 193550997 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1725919232 8638 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.33 Current children cumulated vsize (KiB) 1685468 [startup+3.10224 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=1516232/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1685468 CPUtime=2.92 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 16815 0 1 0 285 7 0 0 18 0 9 0 193550972 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 421367 15449 2154 9 0 416278 0 [pid=7294/tid=7296] ppid=7292 vsize=1685468 CPUtime=1.99 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 7137 0 -1 64 2564 0 1 0 198 1 0 0 16 0 9 0 193550994 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1685468 CPUtime=0.85 /proc/7294/task/7297/stat : 7297 (java) S 7292 7294 7137 0 -1 64 13223 0 0 0 81 4 0 0 16 0 9 0 193550995 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1685468 CPUtime=0.04 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 293 0 0 0 4 0 0 0 16 0 9 0 193550997 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1725919232 15449 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.92 Current children cumulated vsize (KiB) 1685468 [startup+6.30178 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=1451592/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1685468 CPUtime=6.13 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 38195 0 1 0 595 18 0 0 18 0 9 0 193550972 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 421367 30308 2155 9 0 416278 0 [pid=7294/tid=7296] ppid=7292 vsize=1685468 CPUtime=3.79 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 3721 0 1 0 376 3 0 0 17 0 9 0 193550994 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1685468 CPUtime=2.25 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 33444 0 0 0 212 13 0 0 16 0 9 0 193550995 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 102759492 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1685468 CPUtime=0.05 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 295 0 0 0 5 0 0 0 16 0 9 0 193550997 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1725919232 30308 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 1685468 [startup+12.7028 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=1313672/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1685468 CPUtime=12.52 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 80738 0 1 0 1216 36 0 0 18 0 9 0 193550972 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 421367 65796 2155 9 0 416278 0 [pid=7294/tid=7296] ppid=7292 vsize=1685468 CPUtime=7.76 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 7137 0 -1 64 4910 0 1 0 771 5 0 0 17 0 9 0 193550994 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4126361299 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1685468 CPUtime=4.66 /proc/7294/task/7297/stat : 7297 (java) S 7292 7294 7137 0 -1 64 74794 0 0 0 437 29 0 0 16 0 9 0 193550995 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 193550995 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1685468 CPUtime=0.06 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 299 0 0 0 6 0 0 0 16 0 9 0 193550997 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1685468 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1725919232 65796 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.52 Current children cumulated vsize (KiB) 1685468 [startup+25.502 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=1042760/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1694736 CPUtime=25.35 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 153309 0 1 0 2468 67 0 0 18 0 9 0 193550972 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 423684 129119 2162 9 0 418595 0 [pid=7294/tid=7296] ppid=7292 vsize=1694736 CPUtime=14.93 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 6905 0 1 0 1486 7 0 0 17 0 9 0 193550994 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1694736 CPUtime=10.27 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 145314 0 0 0 969 58 0 0 18 0 9 0 193550995 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 102758065 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1694736 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1694736 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1694736 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1694736 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1694736 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1694736 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1735409664 129119 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 1694736 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=585928/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1685604 CPUtime=50.91 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 277038 0 1 0 4972 119 0 0 18 0 9 0 193550972 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 421401 247379 2162 9 0 416312 0 [pid=7294/tid=7296] ppid=7292 vsize=1685604 CPUtime=28.18 /proc/7294/task/7296/stat : 7296 (java) R 7292 7294 7137 0 -1 64 15629 0 1 0 2805 13 0 0 17 0 9 0 193550994 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 104749633 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1685604 CPUtime=22.58 /proc/7294/task/7297/stat : 7297 (java) S 7292 7294 7137 0 -1 64 260319 0 0 0 2154 104 0 0 16 0 9 0 193550995 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1685604 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1685604 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1685604 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1685604 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1685604 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1726058496 247379 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 ################ # More data... # ################ Current children cumulated CPU time (s) 588.24 Current children cumulated vsize (KiB) 1689608 [startup+601.501 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1689608 CPUtime=601.03 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 542924 0 1 0 59875 228 0 0 18 0 9 0 193550972 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 422402 389887 2163 9 0 417313 0 [pid=7294/tid=7296] ppid=7292 vsize=1689608 CPUtime=51.48 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 15720 0 1 0 5133 15 0 0 16 0 9 0 193550994 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1689608 CPUtime=549.41 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 526114 0 0 0 54729 212 0 0 19 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 102758056 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1689608 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 601.03 Current children cumulated vsize (KiB) 1689608 [startup+607.902 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1689608 CPUtime=607.43 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 544867 0 1 0 60514 229 0 0 18 0 9 0 193550972 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 422402 389887 2163 9 0 417313 0 [pid=7294/tid=7296] ppid=7292 vsize=1689608 CPUtime=51.48 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 15721 0 1 0 5133 15 0 0 16 0 9 0 193550994 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1689608 CPUtime=555.81 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 528056 0 0 0 55368 213 0 0 17 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 103731990 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1689608 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 607.43 Current children cumulated vsize (KiB) 1689608 [startup+614.302 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1689608 CPUtime=613.83 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 544867 0 1 0 61154 229 0 0 18 0 9 0 193550972 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 422402 389887 2163 9 0 417313 0 [pid=7294/tid=7296] ppid=7292 vsize=1689608 CPUtime=51.48 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 15721 0 1 0 5133 15 0 0 16 0 9 0 193550994 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1689608 CPUtime=562.21 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 528056 0 0 0 56008 213 0 0 25 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 103830924 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1689608 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 613.83 Current children cumulated vsize (KiB) 1689608 [startup+615.902 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1689608 CPUtime=615.43 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 544867 0 1 0 61314 229 0 0 18 0 9 0 193550972 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 422402 389887 2163 9 0 417313 0 [pid=7294/tid=7296] ppid=7292 vsize=1689608 CPUtime=51.48 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 15721 0 1 0 5133 15 0 0 16 0 9 0 193550994 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1689608 CPUtime=563.82 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 528056 0 0 0 56169 213 0 0 25 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 103830912 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1689608 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 615.43 Current children cumulated vsize (KiB) 1689608 [startup+616.702 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1689608 CPUtime=616.23 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 544867 0 1 0 61394 229 0 0 18 0 9 0 193550972 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 422402 389887 2163 9 0 417313 0 [pid=7294/tid=7296] ppid=7292 vsize=1689608 CPUtime=51.48 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 15721 0 1 0 5133 15 0 0 16 0 9 0 193550994 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1689608 CPUtime=564.61 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 528056 0 0 0 56248 213 0 0 25 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 104190884 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1689608 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 616.23 Current children cumulated vsize (KiB) 1689608 [startup+617.502 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=1689608 CPUtime=617.03 /proc/7294/stat : 7294 (java) S 7292 7294 7137 0 -1 0 544867 0 1 0 61474 229 0 0 18 0 9 0 193550972 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 422402 389887 2163 9 0 417313 0 [pid=7294/tid=7296] ppid=7292 vsize=1689608 CPUtime=51.48 /proc/7294/task/7296/stat : 7296 (java) S 7292 7294 7137 0 -1 64 15721 0 1 0 5133 15 0 0 16 0 9 0 193550994 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7297] ppid=7292 vsize=1689608 CPUtime=565.41 /proc/7294/task/7297/stat : 7297 (java) R 7292 7294 7137 0 -1 64 528056 0 0 0 56328 213 0 0 25 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 104190924 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=7294/tid=7298] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7298/stat : 7298 (java) S 7292 7294 7137 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7299] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7299/stat : 7299 (java) S 7292 7294 7137 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 193550995 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7300] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7300/stat : 7300 (java) S 7292 7294 7137 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7301] ppid=7292 vsize=1689608 CPUtime=0.11 /proc/7294/task/7301/stat : 7301 (java) S 7292 7294 7137 0 -1 64 355 0 0 0 11 0 0 0 16 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7302] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7302/stat : 7302 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=7294/tid=7303] ppid=7292 vsize=1689608 CPUtime=0 /proc/7294/task/7303/stat : 7303 (java) S 7292 7294 7137 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 193550997 1730158592 389887 1992294400 134512640 134550932 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 617.03 Current children cumulated vsize (KiB) 1689608 [startup+617.702 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=0 CPUtime=617.19 /proc/7294/stat : 7294 (java) Z 7292 7294 7137 0 -1 12 544880 0 1 0 61484 235 0 0 16 0 2 0 193550972 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 617.19 Current children cumulated vsize (KiB) 0 [startup+617.802 s] /proc/loadavg: 1.00 1.00 0.92 2/73 7303 /proc/meminfo: memFree=17288/2055920 swapFree=4192952/4192956 [pid=7294] ppid=7292 vsize=0 CPUtime=617.29 /proc/7294/stat : 7294 (java) Z 7292 7294 7137 0 -1 12 544880 0 1 0 61484 245 0 0 16 0 2 0 193550972 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 /proc/7294/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 617.29 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 617.865 CPU time (s): 617.361 CPU user time (s): 614.845 CPU system time (s): 2.51662 CPU usage (%): 99.9184 Max. virtual memory (cumulated for all children) (KiB): 1702440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 614.845 system time used= 2.51662 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 544880 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= 13225 involuntary context switches= 3416 runsolver used 0.733888 second user time and 1.58176 second system time The end
Begin job on node57 at 2009-06-17 19:25:52 IDJOB=1884560 IDBENCH=71969 IDSOLVER=688 FILE ID=node57/1884560-1245259551 PBS_JOBID= 9372399 Free space on /tmp= 66432 MiB SOLVER NAME= BoolVar 2009-04-26 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/CRAFTED/ramseycube/Q3inK11.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-1884560-1245259551/watcher-1884560-1245259551 -o /tmp/evaluation-result-1884560-1245259551/solver-1884560-1245259551 -C 1800 -W 2000 -M 1800 java -Xmx1500m -jar pb2cnfsolver.jar 6 HOME/instance-1884560-1245259551.opb minisat %dimacs %var TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9974c39530204bf665729cefd35195fb RANDOM SEED=2117801978 node57.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: 1553328 kB Buffers: 42344 kB Cached: 368576 kB SwapCached: 4 kB Active: 58300 kB Inactive: 365592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1553328 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 25220 kB Writeback: 0 kB Mapped: 22696 kB Slab: 64812 kB Committed_AS: 91052 kB PageTables: 1392 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-1884560-1245259551.opb Free space on /tmp at the end= 66428 MiB End job on node57 at 2009-06-17 19:36:10