Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.36 | 1784.43 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ prestwich/armies/normalized-army12.21ls.opb |
MD5SUM | 3d28f31cd61cfb39466f429c599fdb4f |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 0.455929 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 428 |
Total number of constraints | 644 |
Number of constraints which are clauses | 354 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 288 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 144 |
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 | 21 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 165 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-34.ELsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.20 c solving ROOT/tmp/node79/43426-1149206628/instance-43426-1149206628.opb 0.20 c reading problem ... 0.44 c ... done. Time 0.235 ms. 0.44 c #vars 428 0.44 c #constraints 644 1784.30 c starts : 12 1784.30 c conflicts : 22535 1784.30 c decisions : 40711 1784.30 c propagations : 783034 1784.30 c inspects : 454687280 1784.30 c learnt literals : 0 1784.30 c learnt binary clauses : 0 1784.30 c learnt ternary clauses : 0 1784.30 c learnt clauses : 22534 1784.30 c root simplifications : 0 1784.30 c removed literals (reason simplification) : 0 1784.30 c reason swapping (by a shorter reason) : 0 1784.30 c Calls to reduceDB : 0 1784.30 c speed (decisions/second) : 22.8218710111057 1784.30 c non guided choices 52 1784.30 s UNKNOWN 1784.30 c Total wall clock time (ms): 1784.097
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node79/watcher-43426-1149206628 -o ROOT/results/node79/solver-43426-1149206628 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node79/43426-1149206628/instance-43426-1149206628.opb 424204177 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.92 0.82 2/67 17004 /proc/meminfo: memFree=1572216/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=0 CPUtime=0 /proc/17004/stat : 17004 (runsolver) R 17002 17004 16959 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 186301432 0 0 18446744073709551615 0 0 0 18446744073709551615 241011586071 0 0 4096 24578 0 0 0 17 1 0 0 /proc/17004/statm: 41 2 0 0 0 1 0 [startup+10.0026 s] /proc/loadavg: 0.81 0.92 0.82 2/79 17016 /proc/meminfo: memFree=1381216/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=11.4 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 53854 0 1 0 1116 24 0 0 25 0 13 0 186301432 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071407543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 49567 1909 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=0.25 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 6227 0 0 0 23 2 0 0 16 0 13 0 186301436 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=0.26 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 5593 0 0 0 23 3 0 0 16 0 13 0 186301436 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 26 0 0 0 0 0 0 0 17 0 13 0 186301438 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.88 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 87 1 0 0 17 0 13 0 186301442 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.78 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 78 0 0 0 16 0 13 0 186301442 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186301477 1757536256 49567 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.4 Current children cumulated vsize (Kb) 1716344 [startup+20.0097 s] /proc/loadavg: 0.84 0.93 0.82 2/79 17016 /proc/meminfo: memFree=1366112/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=21.52 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 58184 0 1 0 2126 26 0 0 25 0 13 0 186301432 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071384629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 53337 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=0.36 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 8232 0 0 0 33 3 0 0 16 0 13 0 186301436 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=0.35 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 7909 0 0 0 32 3 0 0 16 0 13 0 186301436 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186301438 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.89 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 88 1 0 0 17 0 13 0 186301442 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.78 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 78 0 0 0 16 0 13 0 186301442 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186301477 1757536256 53337 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 21.52 Current children cumulated vsize (Kb) 1716344 [startup+30.0168 s] /proc/loadavg: 0.86 0.93 0.83 2/79 17016 /proc/meminfo: memFree=1353760/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=31.61 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 61667 0 1 0 3134 27 0 0 20 0 13 0 186301432 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071446242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 56383 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=0.45 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 9857 0 0 0 41 4 0 0 17 0 13 0 186301436 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=0.44 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 9759 0 0 0 40 4 0 0 17 0 13 0 186301436 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186301438 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.89 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 88 1 0 0 17 0 13 0 186301442 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 186301477 1757536256 56383 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.61 Current children cumulated vsize (Kb) 1716344 [startup+40.0228 s] /proc/loadavg: 0.88 0.93 0.83 2/79 17016 /proc/meminfo: memFree=1353696/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=41.68 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 64037 0 1 0 4139 29 0 0 25 0 13 0 186301432 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071460967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 56401 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=0.52 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 11097 0 0 0 48 4 0 0 16 0 13 0 186301436 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=0.51 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 10883 0 0 0 46 5 0 0 17 0 13 0 186301436 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 26 0 0 0 0 0 0 0 17 0 13 0 186301438 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.89 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 88 1 0 0 17 0 13 0 186301442 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 56401 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.68 Current children cumulated vsize (Kb) 1716344 [startup+50.0299 s] /proc/loadavg: 0.90 0.93 0.83 2/79 17016 /proc/meminfo: memFree=1353952/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=51.74 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 65917 0 1 0 5145 29 0 0 25 0 13 0 186301432 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071424281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 56318 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=0.57 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 12104 0 0 0 53 4 0 0 16 0 13 0 186301436 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=0.57 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 11749 0 0 0 52 5 0 0 16 0 13 0 186301436 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 186301438 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.89 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 88 1 0 0 17 0 13 0 186301442 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 56318 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.74 Current children cumulated vsize (Kb) 1716344 [startup+60.037 s] /proc/loadavg: 0.91 0.93 0.83 2/79 17016 /proc/meminfo: memFree=1353504/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=61.82 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 67931 0 1 0 6152 30 0 0 24 0 13 0 186301432 1757536256 56442 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071569685 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 56442 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=0.65 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 13167 0 0 0 60 5 0 0 16 0 13 0 186301436 1757536256 56442 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=0.63 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 12694 0 0 0 58 5 0 0 16 0 13 0 186301436 1757536256 56442 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 26 0 0 0 0 0 0 0 15 0 13 0 186301438 1757536256 56442 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56442 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 56442 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 56442 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.9 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 89 1 0 0 17 0 13 0 186301442 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 134182 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (Kb) 1716344 [startup+1781.28 s] /proc/loadavg: 1.00 0.99 0.91 2/79 17016 /proc/meminfo: memFree=1041696/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=1797.18 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 225225 0 1 0 179612 106 0 0 18 0 13 0 186301432 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071449132 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 134003 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=15.53 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 68407 0 0 0 1523 30 0 0 16 0 13 0 186301436 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=15.45 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 64534 0 0 0 1518 27 0 0 17 0 13 0 186301436 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0.29 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 173 0 0 0 17 12 0 0 15 0 13 0 186301438 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.9 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 89 1 0 0 17 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.18 Current children cumulated vsize (Kb) 1716344 [startup+1782.28 s] /proc/loadavg: 1.00 0.99 0.91 2/79 17016 /proc/meminfo: memFree=1041696/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=1798.19 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 225225 0 1 0 179713 106 0 0 25 0 13 0 186301432 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071547967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 134003 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=15.53 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 68407 0 0 0 1523 30 0 0 16 0 13 0 186301436 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=15.45 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 64534 0 0 0 1518 27 0 0 17 0 13 0 186301436 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0.29 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 173 0 0 0 17 12 0 0 16 0 13 0 186301438 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.9 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 89 1 0 0 17 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.19 Current children cumulated vsize (Kb) 1716344 [startup+1783.29 s] /proc/loadavg: 1.00 0.99 0.91 2/79 17016 /proc/meminfo: memFree=1041696/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=1799.19 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 225225 0 1 0 179813 106 0 0 25 0 13 0 186301432 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071449202 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 134003 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=15.53 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 68407 0 0 0 1523 30 0 0 16 0 13 0 186301436 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=15.45 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 64534 0 0 0 1518 27 0 0 17 0 13 0 186301436 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0.29 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 173 0 0 0 17 12 0 0 16 0 13 0 186301438 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.9 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 89 1 0 0 17 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 134003 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (Kb) 1716344 [startup+1784.29 s] /proc/loadavg: 1.00 0.99 0.91 2/79 17016 /proc/meminfo: memFree=1041568/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=1800.22 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 225286 0 1 0 179916 106 0 0 21 0 13 0 186301432 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071384211 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 134061 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=15.56 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 68436 0 0 0 1526 30 0 0 16 0 13 0 186301436 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=15.48 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 64565 0 0 0 1521 27 0 0 16 0 13 0 186301436 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0.29 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 173 0 0 0 17 12 0 0 15 0 13 0 186301438 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.9 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 89 1 0 0 17 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.22 Current children cumulated vsize (Kb) 1716344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.3 s] /proc/loadavg: 1.00 0.99 0.91 2/79 17016 /proc/meminfo: memFree=1041568/2055892 swapFree=4085424/4096564 [pid=17004] ppid=17002 vsize=1716344 CPUtime=1800.23 /proc/17004/stat : 17004 (java) R 17002 17004 16959 0 -1 0 225286 0 1 0 179917 106 0 0 21 0 13 0 186301432 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071446242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/17004/statm: 429086 134061 1910 14 0 415832 0 [pid=17004/tid=17005] ppid=17002 vsize=1716344 CPUtime=15.56 /proc/17004/task/17005/stat : 17005 (java) S 17002 17004 16959 0 -1 64 68436 0 0 0 1526 30 0 0 16 0 13 0 186301436 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17006] ppid=17002 vsize=1716344 CPUtime=15.48 /proc/17004/task/17006/stat : 17006 (java) S 17002 17004 16959 0 -1 64 64565 0 0 0 1521 27 0 0 16 0 13 0 186301436 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17007] ppid=17002 vsize=1716344 CPUtime=0.29 /proc/17004/task/17007/stat : 17007 (java) S 17002 17004 16959 0 -1 64 173 0 0 0 17 12 0 0 15 0 13 0 186301438 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17008] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17008/stat : 17008 (java) S 17002 17004 16959 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17009] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17009/stat : 17009 (java) S 17002 17004 16959 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186301439 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17010] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17010/stat : 17010 (java) S 17002 17004 16959 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17011] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17011/stat : 17011 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17012] ppid=17002 vsize=1716344 CPUtime=0.9 /proc/17004/task/17012/stat : 17012 (java) S 17002 17004 16959 0 -1 64 3731 0 0 0 89 1 0 0 17 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=17004/tid=17013] ppid=17002 vsize=1716344 CPUtime=0.79 /proc/17004/task/17013/stat : 17013 (java) S 17002 17004 16959 0 -1 64 1087 0 0 0 79 0 0 0 16 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17014] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17014/stat : 17014 (java) S 17002 17004 16959 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17015] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17015/stat : 17015 (java) S 17002 17004 16959 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186301442 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=17004/tid=17016] ppid=17002 vsize=1716344 CPUtime=0 /proc/17004/task/17016/stat : 17016 (java) S 17002 17004 16959 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186301477 1757536256 134061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (Kb) 1716344 Sending SIGTERM to -17004 Sleeping 2 seconds Child status: 143 Real time (s): 1784.43 CPU time (s): 1800.36 CPU user time (s): 1799.22 CPU system time (s): 1.14682 CPU usage (%): 100.893 Max. virtual memory (cumulated for all children) (Kb): 1716344
Begin job on node79 on Fri Jun 2 00:03:48 UTC 2006 FILE ID= 43426-1149206628 PBS_JOBID= 293155 BENCH NAME= ROOT/tmp/node79/43426-1149206628/instance-43426-1149206628.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node79/43426-1149206628/instance-43426-1149206628.opb 424204177 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node79/watcher-43426-1149206628 -o ROOT/results/node79/solver-43426-1149206628 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node79/43426-1149206628/instance-43426-1149206628.opb 424204177 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 3d28f31cd61cfb39466f429c599fdb4f RANDOM SEED= 424204177 /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 : 6006.18 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1572616 kB Buffers: 21912 kB Cached: 392792 kB SwapCached: 2612 kB Active: 81684 kB Inactive: 341924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1572616 kB SwapTotal: 4096564 kB SwapFree: 4085424 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16672 kB Slab: 46348 kB Committed_AS: 157540 kB PageTables: 1304 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node79 on Fri Jun 2 00:33:33 UTC 2006