Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J Pseudo CP 2.1.1 | UNSAT | 416.554 | 414.638 |
Name | /PURE-SAT/SAT09/APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.opb |
MD5SUM | 7bf5920ed00dc15772939840f2f3078d |
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 | 11.6882 |
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 | 4567 |
Total number of constraints | 13652 |
Number of constraints which are clauses | 13652 |
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 | 3 |
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 | 4 |
Number of bits of the biggest sum of numbers | 3 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.1.1.v20090612 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1342000320 0.08/0.15 c Max memory 1344274432 0.08/0.15 c Total memory 1344274432 0.08/0.15 c Number of processors 2 0.23/0.22 c Pseudo Boolean Optimization 0.23/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.23/0.22 c --- Begin Solver configuration --- 0.23/0.22 c Stops conflict analysis at the first Unique Implication Point 0.23/0.22 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ecd7e 0.23/0.22 c Learn all clauses as in MiniSAT 0.23/0.22 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.23/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.23/0.22 c No reason simplification 0.23/0.22 c MiniSAT restarts strategy 0.23/0.22 c Memory based learned constraints deletion strategy 0.23/0.22 c timeout=2147483s 0.23/0.22 c DB Simplification allowed=false 0.23/0.22 c --- End Solver configuration --- 0.23/0.22 c solving HOME/instance-1885265-1245264975.opb 0.23/0.22 c reading problem ... 1.42/1.03 c ... done. Wall clock time 0.815s. 1.42/1.03 c #vars 4567 1.42/1.03 c #constraints 13652 1.42/1.03 c constraints type 1.42/1.03 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9100 1.42/1.03 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4550 416.42/414.50 c starts : 13 416.42/414.50 c conflicts : 36210 416.42/414.50 c decisions : 46358 416.42/414.50 c propagations : 29497992 416.42/414.50 c inspects : 149472003 416.42/414.50 c learnt literals : 1 416.42/414.50 c learnt binary clauses : 62 416.42/414.51 c learnt ternary clauses : 237 416.42/414.51 c learnt clauses : 36208 416.42/414.51 c ignored clauses : 0 416.42/414.51 c root simplifications : 0 416.42/414.51 c removed literals (reason simplification) : 0 416.42/414.51 c reason swapping (by a shorter reason) : 0 416.42/414.51 c Calls to reduceDB : 0 416.42/414.51 c speed (assignments/second) : 71342.0029844754 416.42/414.51 c non guided choices 91 416.42/414.54 c learnt constraints type 416.42/414.54 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 36146 416.42/414.54 c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 62 416.42/414.54 c constraints type 416.42/414.54 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9100 416.42/414.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4550 416.42/414.54 s UNSATISFIABLE 416.42/414.54 c Total wall clock time (in seconds): 414.326
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-1885265-1245264975/watcher-1885265-1245264975 -o /tmp/evaluation-result-1885265-1245264975/solver-1885265-1245264975 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1885265-1245264975.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.92 3/64 6706 /proc/meminfo: memFree=1812928/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1520 CPUtime=0 /proc/6706/stat : 6706 (java6) R 6704 6706 6296 0 -1 0 90 0 0 0 0 0 0 0 20 0 1 0 194097608 1556480 73 1992294400 134512640 134550932 4294956160 18446744073709551615 7455328 0 0 4096 0 0 0 0 17 1 0 0 /proc/6706/statm: 380 73 56 9 0 10 0 [startup+0.0653061 s] /proc/loadavg: 1.00 1.00 0.92 3/64 6706 /proc/meminfo: memFree=1812928/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1470220 CPUtime=0.05 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 3328 0 1 0 3 2 0 0 18 0 7 0 194097608 1505505280 3073 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 367555 3073 1029 9 0 364906 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1470220 [startup+0.101319 s] /proc/loadavg: 1.00 1.00 0.92 3/64 6706 /proc/meminfo: memFree=1812928/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1472584 CPUtime=0.08 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 3610 0 1 0 6 2 0 0 18 0 12 0 194097608 1507926016 3353 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 368146 3353 1068 9 0 365494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1472584 [startup+0.301331 s] /proc/loadavg: 1.00 1.00 0.92 3/64 6706 /proc/meminfo: memFree=1812928/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1474632 CPUtime=0.35 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 5062 0 1 0 31 4 0 0 18 0 12 0 194097608 1510023168 4799 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 368658 4799 1356 9 0 366001 0 Current children cumulated CPU time (s) 0.35 Current children cumulated vsize (KiB) 1474632 [startup+0.701377 s] /proc/loadavg: 1.00 1.00 0.92 3/64 6706 /proc/meminfo: memFree=1812928/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1476200 CPUtime=1 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 7214 0 1 0 95 5 0 0 18 0 12 0 194097608 1511628800 6613 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 369050 6613 1397 9 0 366393 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 1476200 [startup+1.50246 s] /proc/loadavg: 1.00 1.00 0.92 2/76 6718 /proc/meminfo: memFree=1781280/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1483436 CPUtime=2.28 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 14303 0 1 0 220 8 0 0 18 0 13 0 194097608 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370859 12204 1415 9 0 368202 0 [pid=6706/tid=6708] ppid=6704 vsize=1483436 CPUtime=1.04 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 8897 0 1 0 99 5 0 0 19 0 13 0 194097610 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4109162276 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 194097611 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 194097611 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 194097613 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 194097613 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 194097613 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1483436 CPUtime=0.59 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2194 0 0 0 59 0 0 0 16 0 13 0 194097618 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1483436 CPUtime=0.62 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 2468 0 0 0 61 1 0 0 16 0 13 0 194097618 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1519038464 12204 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.28 Current children cumulated vsize (KiB) 1483436 [startup+3.10263 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6719 /proc/meminfo: memFree=1755608/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1483436 CPUtime=4.34 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 28698 0 1 0 420 14 0 0 18 0 13 0 194097608 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370859 26011 1419 9 0 368202 0 [pid=6706/tid=6708] ppid=6704 vsize=1483436 CPUtime=2.55 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 22660 0 1 0 245 10 0 0 25 0 13 0 194097610 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4109738983 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 194097611 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 194097611 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 194097613 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 194097613 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 194097613 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1483436 CPUtime=0.92 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2223 0 0 0 92 0 0 0 16 0 13 0 194097618 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1483436 CPUtime=0.83 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3071 0 0 0 82 1 0 0 16 0 13 0 194097618 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1483436 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1519038464 26011 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 1483436 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6719 /proc/meminfo: memFree=1679576/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1482736 CPUtime=7.6 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 38243 0 1 0 742 18 0 0 18 0 13 0 194097608 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 35182 1428 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=5.68 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 30984 0 1 0 554 14 0 0 17 0 13 0 194097610 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4109706704 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.01 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 723 0 0 0 1 0 0 0 16 0 13 0 194097611 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.01 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 454 0 0 0 1 0 0 0 16 0 13 0 194097611 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1482736 CPUtime=0.98 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2227 0 0 0 98 0 0 0 17 0 13 0 194097618 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1482736 CPUtime=0.86 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3097 0 0 0 85 1 0 0 16 0 13 0 194097618 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1518321664 35182 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.6 Current children cumulated vsize (KiB) 1482736 [startup+12.7027 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6719 /proc/meminfo: memFree=1674904/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1482736 CPUtime=14.01 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 38733 0 1 0 1383 18 0 0 18 0 13 0 194097608 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 35665 1428 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=12.06 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 30988 0 1 0 1192 14 0 0 25 0 13 0 194097610 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4109706280 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.02 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 992 0 0 0 2 0 0 0 16 0 13 0 194097611 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.03 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 662 0 0 0 3 0 0 0 16 0 13 0 194097611 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 22 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1482736 CPUtime=0.98 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2227 0 0 0 98 0 0 0 17 0 13 0 194097618 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1482736 CPUtime=0.86 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3097 0 0 0 85 1 0 0 16 0 13 0 194097618 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1518321664 35665 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.01 Current children cumulated vsize (KiB) 1482736 [startup+25.503 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6719 /proc/meminfo: memFree=1643544/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1482736 CPUtime=26.87 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 46679 0 1 0 2666 21 0 0 18 0 13 0 194097608 1518321664 43496 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 43496 1428 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=24.82 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 35752 0 1 0 2467 15 0 0 25 0 13 0 194097610 1518321664 43496 1992294400 134512640 134550932 4294956000 18446744073709551615 4109744353 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.06 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 3062 0 0 0 5 1 0 0 16 0 13 0 194097611 1518321664 43496 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.06 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 1765 0 0 0 6 0 0 0 16 0 13 0 194097611 1518321664 43496 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 43496 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 ################ # More data... # ################ [pid=6706] ppid=6704 vsize=1482736 CPUtime=411.42 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 70988 0 1 0 41107 35 0 0 18 0 13 0 194097608 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 63650 1432 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=408.26 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 35848 0 1 0 40810 16 0 0 25 0 13 0 194097610 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4109706878 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.48 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 15107 0 0 0 42 6 0 0 16 0 13 0 194097611 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.48 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 13876 0 0 0 41 7 0 0 16 0 13 0 194097611 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0.02 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 194097613 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1482736 CPUtime=1.06 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2227 0 0 0 106 0 0 0 16 0 13 0 194097618 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1482736 CPUtime=1.04 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3154 0 0 0 103 1 0 0 16 0 13 0 194097618 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1518321664 63650 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 411.42 Current children cumulated vsize (KiB) 1482736 [startup+412.703 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6725 /proc/meminfo: memFree=1561816/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1482736 CPUtime=414.63 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 71230 0 1 0 41428 35 0 0 18 0 13 0 194097608 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 63853 1432 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=411.46 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 35849 0 1 0 41130 16 0 0 25 0 13 0 194097610 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4109739071 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.48 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 15228 0 0 0 42 6 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.49 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 13996 0 0 0 42 7 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0.02 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1482736 CPUtime=1.06 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2227 0 0 0 106 0 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1482736 CPUtime=1.04 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3154 0 0 0 103 1 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 414.63 Current children cumulated vsize (KiB) 1482736 [startup+413.503 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6725 /proc/meminfo: memFree=1561816/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1482736 CPUtime=415.43 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 71230 0 1 0 41508 35 0 0 18 0 13 0 194097608 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 63853 1432 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=412.26 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 35849 0 1 0 41210 16 0 0 25 0 13 0 194097610 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4109731991 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.48 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 15228 0 0 0 42 6 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.49 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 13996 0 0 0 42 7 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0.02 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1482736 CPUtime=1.06 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2227 0 0 0 106 0 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1482736 CPUtime=1.04 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3154 0 0 0 103 1 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 415.43 Current children cumulated vsize (KiB) 1482736 [startup+414.303 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6725 /proc/meminfo: memFree=1561816/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1482736 CPUtime=416.22 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 71230 0 1 0 41587 35 0 0 18 0 13 0 194097608 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 63853 1432 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=413.06 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 35849 0 1 0 41290 16 0 0 25 0 13 0 194097610 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4109644600 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.48 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 15228 0 0 0 42 6 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.49 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 13996 0 0 0 42 7 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0.02 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1482736 CPUtime=1.06 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2227 0 0 0 106 0 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1482736 CPUtime=1.04 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3154 0 0 0 103 1 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 416.22 Current children cumulated vsize (KiB) 1482736 [startup+414.503 s] /proc/loadavg: 1.00 1.00 0.92 2/77 6725 /proc/meminfo: memFree=1561816/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=1482736 CPUtime=416.42 /proc/6706/stat : 6706 (java) S 6704 6706 6296 0 -1 0 71230 0 1 0 41607 35 0 0 18 0 13 0 194097608 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 370684 63853 1432 9 0 368027 0 [pid=6706/tid=6708] ppid=6704 vsize=1482736 CPUtime=413.26 /proc/6706/task/6708/stat : 6708 (java) R 6704 6706 6296 0 -1 64 35849 0 1 0 41310 16 0 0 25 0 13 0 194097610 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4109706804 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6709] ppid=6704 vsize=1482736 CPUtime=0.48 /proc/6706/task/6709/stat : 6709 (java) S 6704 6706 6296 0 -1 64 15228 0 0 0 42 6 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6710] ppid=6704 vsize=1482736 CPUtime=0.49 /proc/6706/task/6710/stat : 6710 (java) S 6704 6706 6296 0 -1 64 13996 0 0 0 42 7 0 0 16 0 13 0 194097611 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6711] ppid=6704 vsize=1482736 CPUtime=0.02 /proc/6706/task/6711/stat : 6711 (java) S 6704 6706 6296 0 -1 64 31 0 0 0 1 1 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6712] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6712/stat : 6712 (java) S 6704 6706 6296 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6713] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6713/stat : 6713 (java) S 6704 6706 6296 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 194097613 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6714] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6714/stat : 6714 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6715] ppid=6704 vsize=1482736 CPUtime=1.06 /proc/6706/task/6715/stat : 6715 (java) S 6704 6706 6296 0 -1 64 2227 0 0 0 106 0 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6716] ppid=6704 vsize=1482736 CPUtime=1.04 /proc/6706/task/6716/stat : 6716 (java) S 6704 6706 6296 0 -1 64 3154 0 0 0 103 1 0 0 16 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6717] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6717/stat : 6717 (java) S 6704 6706 6296 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=6706/tid=6718] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6718/stat : 6718 (java) S 6704 6706 6296 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 194097618 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=6706/tid=6719] ppid=6704 vsize=1482736 CPUtime=0 /proc/6706/task/6719/stat : 6719 (java) S 6704 6706 6296 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 194097714 1518321664 63853 1992294400 134512640 134550932 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 416.42 Current children cumulated vsize (KiB) 1482736 [startup+414.603 s] /proc/loadavg: 1.00 1.00 0.92 2/66 6726 /proc/meminfo: memFree=1618776/2055920 swapFree=4181552/4192956 [pid=6706] ppid=6704 vsize=0 CPUtime=416.52 /proc/6706/stat : 6706 (java) Z 6704 6706 6296 0 -1 1036 71249 0 1 0 41615 37 0 0 16 0 2 0 194097608 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/6706/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 416.52 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 414.638 CPU time (s): 416.554 CPU user time (s): 416.152 CPU system time (s): 0.401938 CPU usage (%): 100.462 Max. virtual memory (cumulated for all children) (KiB): 1485032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 416.152 system time used= 0.401938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 71249 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= 9976 involuntary context switches= 9857 runsolver used 0.436933 second user time and 1.08683 second system time The end
Begin job on node19 at 2009-06-17 20:56:15 IDJOB=1885265 IDBENCH=72040 IDSOLVER=681 FILE ID=node19/1885265-1245264975 PBS_JOBID= 9372434 Free space on /tmp= 66136 MiB SOLVER NAME= SAT4J Pseudo CP 2.1.1 BENCH NAME= PB09/normalized-PB09/PURE-SAT/SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl016.opb COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1885265-1245264975/watcher-1885265-1245264975 -o /tmp/evaluation-result-1885265-1245264975/solver-1885265-1245264975 -C 1800 -W 2000 -M 1800 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar CuttingPlanes HOME/instance-1885265-1245264975.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7bf5920ed00dc15772939840f2f3078d RANDOM SEED=212317170 node19.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.234 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.234 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: 1813408 kB Buffers: 42236 kB Cached: 135196 kB SwapCached: 6236 kB Active: 45784 kB Inactive: 140608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813408 kB SwapTotal: 4192956 kB SwapFree: 4181552 kB Dirty: 648 kB Writeback: 0 kB Mapped: 13636 kB Slab: 42092 kB Committed_AS: 215052 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66132 MiB End job on node19 at 2009-06-17 21:03:10