Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.35 | 1783.48 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111217380.opb |
MD5SUM | fbac82926fe3d2a8355fb98756d16ff9 |
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.077988 |
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 | 169 |
Total number of constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
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 | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1172 |
Number of bits of the biggest sum of numbers | 11 |
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-22.EL.rootsmp 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.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.21 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node38/42003-1149206676/instance-42003-1149206676.opb 0.21 c reading problem ... 0.35 c ... done. Time 0.141 ms. 0.35 c #vars 169 0.35 c #constraints 101 1783.34 c starts : 12 1783.34 c conflicts : 24002 1783.34 c decisions : 93327 1783.34 c propagations : 494627 1783.34 c inspects : 411465906 1783.34 c learnt literals : 0 1783.34 c learnt binary clauses : 0 1783.34 c learnt ternary clauses : 0 1783.34 c learnt clauses : 24001 1783.34 c root simplifications : 0 1783.34 c removed literals (reason simplification) : 0 1783.34 c reason swapping (by a shorter reason) : 0 1783.34 c Calls to reduceDB : 0 1783.34 c speed (decisions/second) : 52.3428863713991 1783.34 c non guided choices 48 1783.34 s UNKNOWN 1783.34 c Total wall clock time (ms): 1783.136
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/node38/watcher-42003-1149206676 -o ROOT/results/node38/solver-42003-1149206676 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node38/42003-1149206676/instance-42003-1149206676.opb 761054074 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.40 0.80 0.79 2/64 31350 /proc/meminfo: memFree=1423696/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1784 CPUtime=0 /proc/31350/stat : 31350 (java) D 31348 31350 31305 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 186333878 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/31350/statm: 446 137 102 14 0 91 0 [startup+10.0022 s] /proc/loadavg: 0.49 0.80 0.79 2/76 31362 /proc/meminfo: memFree=1231616/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=11.43 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 53726 0 1 0 1119 24 0 0 25 0 13 0 186333878 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071416887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 49796 1908 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=0.21 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 6260 0 0 0 19 2 0 0 16 0 13 0 186333881 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=0.21 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 6126 0 0 0 18 3 0 0 16 0 13 0 186333881 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.78 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 77 1 0 0 17 0 13 0 186333888 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.71 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1110 0 0 0 71 0 0 0 17 0 13 0 186333888 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 49796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 11.43 Current children cumulated vsize (Kb) 1714664 [startup+20.0092 s] /proc/loadavg: 0.57 0.81 0.79 2/76 31362 /proc/meminfo: memFree=1223552/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=21.52 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 56270 0 1 0 2127 25 0 0 25 0 13 0 186333878 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071391298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 51756 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=0.28 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 7516 0 0 0 25 3 0 0 16 0 13 0 186333881 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=0.27 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 7403 0 0 0 24 3 0 0 16 0 13 0 186333881 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 17 0 13 0 186333888 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.72 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1110 0 0 0 72 0 0 0 16 0 13 0 186333888 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 51756 18446744073709551615 134512640 134570276 4294956448 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) 1714664 [startup+30.0161 s] /proc/loadavg: 0.63 0.81 0.79 2/76 31362 /proc/meminfo: memFree=1223936/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=31.58 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 58902 0 1 0 3132 26 0 0 25 0 13 0 186333878 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071397403 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 51662 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=0.35 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 8792 0 0 0 32 3 0 0 16 0 13 0 186333881 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=0.35 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 8749 0 0 0 31 4 0 0 16 0 13 0 186333881 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 17 0 13 0 186333888 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.72 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1110 0 0 0 72 0 0 0 17 0 13 0 186333888 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 51662 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 31.58 Current children cumulated vsize (Kb) 1714664 [startup+40.023 s] /proc/loadavg: 0.69 0.82 0.79 2/76 31362 /proc/meminfo: memFree=1226112/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=41.65 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 60284 0 1 0 4137 28 0 0 25 0 13 0 186333878 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071679733 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 51127 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=0.41 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 9400 0 0 0 37 4 0 0 17 0 13 0 186333881 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=0.41 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 9516 0 0 0 36 5 0 0 16 0 13 0 186333881 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 17 0 13 0 186333888 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.72 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1110 0 0 0 72 0 0 0 17 0 13 0 186333888 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 51127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 41.65 Current children cumulated vsize (Kb) 1714664 [startup+50.03 s] /proc/loadavg: 0.74 0.83 0.80 2/76 31362 /proc/meminfo: memFree=1227904/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=51.71 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 61392 0 1 0 5142 29 0 0 25 0 13 0 186333878 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071359320 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 50680 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=0.46 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 9940 0 0 0 42 4 0 0 17 0 13 0 186333881 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=0.46 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 10076 0 0 0 41 5 0 0 16 0 13 0 186333881 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 186333884 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 17 0 13 0 186333888 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.72 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1110 0 0 0 72 0 0 0 17 0 13 0 186333888 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 50680 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 51.71 Current children cumulated vsize (Kb) 1714664 [startup+60.0369 s] /proc/loadavg: 0.78 0.83 0.80 2/76 31362 /proc/meminfo: memFree=1229504/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=61.75 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 62397 0 1 0 6146 29 0 0 24 0 13 0 186333878 1755815936 50269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071418906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 50269 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=0.51 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 10436 0 0 0 47 4 0 0 16 0 13 0 186333881 1755815936 50269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=0.51 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 10578 0 0 0 46 5 0 0 16 0 13 0 186333881 1755815936 50269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0.01 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 30 0 0 0 0 1 0 0 16 0 13 0 186333884 1755815936 50269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 50269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 50269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 50269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 16 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.75 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1111 0 0 0 75 0 0 0 17 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.15 Current children cumulated vsize (Kb) 1714664 [startup+1780.32 s] /proc/loadavg: 1.00 1.00 0.93 2/76 31362 /proc/meminfo: memFree=881216/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=1797.16 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 212053 0 1 0 179605 111 0 0 25 0 13 0 186333878 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071589331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 136944 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=16.64 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 59493 0 0 0 1635 29 0 0 16 0 13 0 186333881 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=16.53 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 57100 0 0 0 1627 26 0 0 17 0 13 0 186333881 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0.26 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 171 0 0 0 13 13 0 0 16 0 13 0 186333884 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 16 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.75 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1111 0 0 0 75 0 0 0 17 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 136944 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.16 Current children cumulated vsize (Kb) 1714664 [startup+1781.32 s] /proc/loadavg: 1.00 1.00 0.93 2/76 31362 /proc/meminfo: memFree=880896/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=1798.18 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 212136 0 1 0 179707 111 0 0 18 0 13 0 186333878 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071386241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 137026 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=16.66 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 59499 0 0 0 1637 29 0 0 17 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=16.56 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 57176 0 0 0 1630 26 0 0 16 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0.26 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 171 0 0 0 13 13 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 16 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.75 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1111 0 0 0 75 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.18 Current children cumulated vsize (Kb) 1714664 [startup+1782.33 s] /proc/loadavg: 1.00 1.00 0.93 2/76 31362 /proc/meminfo: memFree=880896/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=1799.19 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 212136 0 1 0 179808 111 0 0 25 0 13 0 186333878 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 137026 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=16.66 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 59499 0 0 0 1637 29 0 0 17 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=16.56 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 57176 0 0 0 1630 26 0 0 16 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0.26 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 171 0 0 0 13 13 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 16 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.75 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1111 0 0 0 75 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (Kb) 1714664 [startup+1783.34 s] /proc/loadavg: 1.00 1.00 0.93 2/76 31362 /proc/meminfo: memFree=880896/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=1800.2 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 212136 0 1 0 179909 111 0 0 25 0 13 0 186333878 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071377367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 137026 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=16.66 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 59499 0 0 0 1637 29 0 0 17 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=16.56 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 57176 0 0 0 1630 26 0 0 16 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0.26 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 171 0 0 0 13 13 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 16 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.75 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1111 0 0 0 75 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (Kb) 1714664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1783.34 s] /proc/loadavg: 1.00 1.00 0.93 2/76 31362 /proc/meminfo: memFree=880896/2055920 swapFree=4181196/4192956 [pid=31350] ppid=31348 vsize=1714664 CPUtime=1800.2 /proc/31350/stat : 31350 (java) R 31348 31350 31305 0 -1 0 212136 0 1 0 179909 111 0 0 25 0 13 0 186333878 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071596316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/31350/statm: 428666 137026 1909 14 0 415413 0 [pid=31350/tid=31351] ppid=31348 vsize=1714664 CPUtime=16.66 /proc/31350/task/31351/stat : 31351 (java) S 31348 31350 31305 0 -1 64 59499 0 0 0 1637 29 0 0 17 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31352] ppid=31348 vsize=1714664 CPUtime=16.56 /proc/31350/task/31352/stat : 31352 (java) S 31348 31350 31305 0 -1 64 57176 0 0 0 1630 26 0 0 16 0 13 0 186333881 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31353] ppid=31348 vsize=1714664 CPUtime=0.26 /proc/31350/task/31353/stat : 31353 (java) S 31348 31350 31305 0 -1 64 171 0 0 0 13 13 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31354] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31354/stat : 31354 (java) S 31348 31350 31305 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31355] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31355/stat : 31355 (java) S 31348 31350 31305 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 186333884 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31356] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31356/stat : 31356 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31357] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31357/stat : 31357 (java) S 31348 31350 31305 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31358] ppid=31348 vsize=1714664 CPUtime=0.79 /proc/31350/task/31358/stat : 31358 (java) S 31348 31350 31305 0 -1 64 2215 0 0 0 78 1 0 0 16 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31359] ppid=31348 vsize=1714664 CPUtime=0.75 /proc/31350/task/31359/stat : 31359 (java) S 31348 31350 31305 0 -1 64 1111 0 0 0 75 0 0 0 17 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=31350/tid=31360] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31360/stat : 31360 (java) S 31348 31350 31305 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31361] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31361/stat : 31361 (java) S 31348 31350 31305 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 186333888 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=31350/tid=31362] ppid=31348 vsize=1714664 CPUtime=0 /proc/31350/task/31362/stat : 31362 (java) S 31348 31350 31305 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 186333913 1755815936 137026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (Kb) 1714664 Sending SIGTERM to -31350 Sleeping 2 seconds Child status: 143 Real time (s): 1783.48 CPU time (s): 1800.35 CPU user time (s): 1799.14 CPU system time (s): 1.20882 CPU usage (%): 100.946 Max. virtual memory (cumulated for all children) (Kb): 1714664
Begin job on node38 on Fri Jun 2 00:04:36 UTC 2006 FILE ID= 42003-1149206676 PBS_JOBID= 293244 BENCH NAME= ROOT/tmp/node38/42003-1149206676/instance-42003-1149206676.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node38/42003-1149206676/instance-42003-1149206676.opb 761054074 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-42003-1149206676 -o ROOT/results/node38/solver-42003-1149206676 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node38/42003-1149206676/instance-42003-1149206676.opb 761054074 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= fbac82926fe3d2a8355fb98756d16ff9 RANDOM SEED= 761054074 /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.267 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.267 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: 1423904 kB Buffers: 16776 kB Cached: 543716 kB SwapCached: 3636 kB Active: 78472 kB Inactive: 490944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1423904 kB SwapTotal: 4192956 kB SwapFree: 4181196 kB Dirty: 300 kB Writeback: 0 kB Mapped: 14892 kB Slab: 48624 kB Committed_AS: 200200 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Fri Jun 2 00:34:19 UTC 2006