Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 Heuristics | ? (TO) | 1800.83 | 1793.5 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-65-60.opb |
MD5SUM | e2f35c503d924e79e4ebd2cc0bd6c322 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3900 |
Total number of constraints | 124865 |
Number of constraints which are clauses | 124865 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 61 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.20 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.20 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.20 c no version file found!!! 0.20 c sun.arch.data.model 32 0.20 c java.version 1.5.0_06 0.20 c os.name Linux 0.20 c os.version 2.6.9-22.EL.rootsmp 0.20 c os.arch i386 0.20 c Free memory 1548419056 0.20 c Max memory 1551040512 0.20 c Total memory 1551040512 0.20 c Number of processors 2 0.27 c Cutting planes based inference 0.27 c --- Begin Solver configuration --- 0.27 c org.sat4j.minisat.uip.FirstUIP@1df073d 0.27 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1546e25 0.27 c org.sat4j.minisat.learning.MiniSATLearning@b66cc 0.27 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.27 c VSIDS like heuristics from MiniSAT using a heap 0.27 c No reason simplification 0.27 c --- End Solver configuration --- 0.27 c solving ROOT/tmp/node58/46347-1154059877/instance-46347-1154059877.opb 0.27 c reading problem ... 14.93 c ... done. Time 14.662 ms. 14.93 c #vars 3900 14.93 c #constraints 124865 1793.36 c starts : 17 1793.37 c conflicts : 180105 1793.37 c decisions : 214724 1793.37 c propagations : 7370054 1793.37 c inspects : 509311109 1793.37 c learnt literals : 0 1793.37 c learnt binary clauses : 0 1793.37 c learnt ternary clauses : 0 1793.37 c learnt clauses : 180105 1793.37 c root simplifications : 0 1793.37 c removed literals (reason simplification) : 0 1793.37 c reason swapping (by a shorter reason) : 0 1793.37 c Calls to reduceDB : 0 1793.37 c speed (decisions/second) : 120.73822582440879 1793.37 c non guided choices 1947 1793.37 s UNKNOWN 1793.37 c Total wall clock time (ms): 1793.099
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node58/watcher-46347-1154059877 -o ROOT/results/node58/solver-46347-1154059877 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node58/46347-1154059877/instance-46347-1154059877.opb 197756677 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 1.00 0.98 3/64 19843 /proc/meminfo: memFree=1243672/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=292 CPUtime=0 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 53 0 0 0 0 0 0 0 19 0 1 0 152857587 299008 35 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4870948 0 0 4096 0 0 0 0 17 1 0 0 /proc/19843/statm: 73 37 29 14 0 5 0 [startup+10.0028 s] /proc/loadavg: 1.06 1.00 0.98 2/75 19854 /proc/meminfo: memFree=1056912/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710224 CPUtime=10.5 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 49557 0 1 0 1027 23 0 0 25 0 12 0 152857587 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071344665 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19843/statm: 427556 48478 1874 14 0 414303 0 [pid=19843/tid=19844] ppid=19841 vsize=1710224 CPUtime=0.14 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 2390 0 0 0 14 0 0 0 16 0 12 0 152857596 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710224 CPUtime=0.14 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 2216 0 0 0 13 1 0 0 16 0 12 0 152857596 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710224 CPUtime=0 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 30 0 0 0 0 0 0 0 17 0 12 0 152857598 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710224 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 152857599 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710224 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 152857599 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710224 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 152857602 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710224 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 152857602 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710224 CPUtime=0.3 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 558 0 0 0 30 0 0 0 17 0 12 0 152857602 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710224 CPUtime=0.32 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 339 0 0 0 32 0 0 0 16 0 12 0 152857602 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710224 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 152857602 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710224 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 152857602 1751269376 48478 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.5 Current children cumulated vsize (Kb) 1710224 [startup+20.0109 s] /proc/loadavg: 1.05 1.00 0.98 2/76 19855 /proc/meminfo: memFree=1052104/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710944 CPUtime=20.87 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 50950 0 1 0 2063 24 0 0 25 0 13 0 152857587 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071512378 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19843/statm: 427736 49710 1898 14 0 414483 0 [pid=19843/tid=19844] ppid=19841 vsize=1710944 CPUtime=0.19 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 2889 0 0 0 19 0 0 0 16 0 13 0 152857596 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710944 CPUtime=0.19 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 2869 0 0 0 18 1 0 0 16 0 13 0 152857596 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 152857598 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 152857602 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710944 CPUtime=0.49 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 662 0 0 0 49 0 0 0 16 0 13 0 152857602 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710944 CPUtime=0.51 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 414 0 0 0 51 0 0 0 16 0 13 0 152857602 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710944 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 152859082 1752006656 49710 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 20.87 Current children cumulated vsize (Kb) 1710944 [startup+30.019 s] /proc/loadavg: 1.04 1.00 0.98 2/76 19855 /proc/meminfo: memFree=1052360/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=30.89 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 51080 0 1 0 3065 24 0 0 25 0 13 0 152857587 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071517936 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19843/statm: 427728 49628 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=0.19 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 2957 0 0 0 19 0 0 0 16 0 13 0 152857596 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=0.19 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 2924 0 0 0 18 1 0 0 17 0 13 0 152857596 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 152857598 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 152857602 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.51 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 665 0 0 0 51 0 0 0 16 0 13 0 152857602 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.52 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 414 0 0 0 52 0 0 0 17 0 13 0 152857602 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 152859082 1751973888 49628 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.89 Current children cumulated vsize (Kb) 1710912 [startup+40.0251 s] /proc/loadavg: 1.04 1.00 0.98 2/76 19855 /proc/meminfo: memFree=1050248/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=40.9 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 52226 0 1 0 4066 24 0 0 25 0 13 0 152857587 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071509593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19843/statm: 427728 50181 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=0.2 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 3486 0 0 0 20 0 0 0 16 0 13 0 152857596 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=0.2 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 3539 0 0 0 19 1 0 0 16 0 13 0 152857596 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 152857598 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.51 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 665 0 0 0 51 0 0 0 16 0 13 0 152857602 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.52 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 414 0 0 0 52 0 0 0 17 0 13 0 152857602 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 152859082 1751973888 50181 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.9 Current children cumulated vsize (Kb) 1710912 [startup+50.0321 s] /proc/loadavg: 1.11 1.02 0.99 2/76 19855 /proc/meminfo: memFree=1050504/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=50.92 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 52495 0 1 0 5067 25 0 0 25 0 13 0 152857587 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071518298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19843/statm: 427728 50115 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=0.21 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 3653 0 0 0 20 1 0 0 16 0 13 0 152857596 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=0.2 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 3639 0 0 0 19 1 0 0 17 0 13 0 152857596 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 152857598 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.51 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 665 0 0 0 51 0 0 0 16 0 13 0 152857602 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.52 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 414 0 0 0 52 0 0 0 17 0 13 0 152857602 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 152859082 1751973888 50115 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.92 Current children cumulated vsize (Kb) 1710912 [startup+60.0392 s] /proc/loadavg: 1.09 1.02 0.99 2/76 19855 /proc/meminfo: memFree=1047688/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=60.94 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 53398 0 1 0 6069 25 0 0 25 0 13 0 152857587 1751973888 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071510092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/19843/statm: 427728 50824 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=0.22 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 4141 0 0 0 21 1 0 0 16 0 13 0 152857596 1751973888 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=0.21 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 4049 0 0 0 20 1 0 0 16 0 13 0 152857596 1751973888 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 152857598 1751973888 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 50824 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 ################ # More data... # ################ /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.57 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 670 0 0 0 57 0 0 0 17 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.53 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 415 0 0 0 53 0 0 0 16 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152859082 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 1710912 [startup+1790.33 s] /proc/loadavg: 1.00 1.00 1.00 2/76 19857 /proc/meminfo: memFree=782344/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=1797.63 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 170475 0 1 0 179652 111 0 0 25 0 13 0 152857587 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071518158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19843/statm: 427728 116796 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=7.28 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 54885 0 0 0 699 29 0 0 16 0 13 0 152857596 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=7.29 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 57920 0 0 0 685 44 0 0 16 0 13 0 152857596 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0.15 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 65 0 0 0 8 7 0 0 16 0 13 0 152857598 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.57 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 670 0 0 0 57 0 0 0 17 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.53 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 415 0 0 0 53 0 0 0 16 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152859082 1751973888 116796 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 1710912 [startup+1791.34 s] /proc/loadavg: 1.00 1.00 1.00 2/76 19857 /proc/meminfo: memFree=782216/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=1798.65 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 170540 0 1 0 179754 111 0 0 25 0 13 0 152857587 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071512776 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19843/statm: 427728 116827 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=7.31 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 54948 0 0 0 701 30 0 0 16 0 13 0 152857596 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=7.3 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 57921 0 0 0 686 44 0 0 16 0 13 0 152857596 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0.16 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 65 0 0 0 9 7 0 0 16 0 13 0 152857598 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.57 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 670 0 0 0 57 0 0 0 17 0 13 0 152857602 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.53 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 415 0 0 0 53 0 0 0 16 0 13 0 152857602 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152859082 1751973888 116827 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 1710912 [startup+1792.35 s] /proc/loadavg: 1.00 1.00 1.00 2/76 19857 /proc/meminfo: memFree=782024/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=1799.67 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 170605 0 1 0 179856 111 0 0 25 0 13 0 152857587 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071517834 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19843/statm: 427728 116859 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=7.32 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 54950 0 0 0 702 30 0 0 16 0 13 0 152857596 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=7.32 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 57983 0 0 0 688 44 0 0 16 0 13 0 152857596 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0.16 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 65 0 0 0 9 7 0 0 15 0 13 0 152857598 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.57 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 670 0 0 0 57 0 0 0 17 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.53 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 415 0 0 0 53 0 0 0 16 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152859082 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 1710912 [startup+1793.35 s] /proc/loadavg: 1.00 1.00 1.00 2/76 19857 /proc/meminfo: memFree=782024/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=1800.68 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 170605 0 1 0 179957 111 0 0 25 0 13 0 152857587 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071512695 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19843/statm: 427728 116859 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=7.32 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 54950 0 0 0 702 30 0 0 16 0 13 0 152857596 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=7.32 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 57983 0 0 0 688 44 0 0 16 0 13 0 152857596 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0.16 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 65 0 0 0 9 7 0 0 16 0 13 0 152857598 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.57 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 670 0 0 0 57 0 0 0 17 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.53 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 415 0 0 0 53 0 0 0 16 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152859082 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 1710912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.36 s] /proc/loadavg: 1.00 1.00 1.00 2/76 19857 /proc/meminfo: memFree=782024/2055920 swapFree=4182944/4192956 [pid=19843] ppid=19841 vsize=1710912 CPUtime=1800.68 /proc/19843/stat : 19843 (java) R 19841 19843 19794 0 -1 0 170605 0 1 0 179957 111 0 0 25 0 13 0 152857587 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071512369 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/19843/statm: 427728 116859 1899 14 0 414475 0 [pid=19843/tid=19844] ppid=19841 vsize=1710912 CPUtime=7.32 /proc/19843/task/19844/stat : 19844 (java) S 19841 19843 19794 0 -1 64 54950 0 0 0 702 30 0 0 16 0 13 0 152857596 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19845] ppid=19841 vsize=1710912 CPUtime=7.32 /proc/19843/task/19845/stat : 19845 (java) S 19841 19843 19794 0 -1 64 57983 0 0 0 688 44 0 0 16 0 13 0 152857596 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19846] ppid=19841 vsize=1710912 CPUtime=0.16 /proc/19843/task/19846/stat : 19846 (java) S 19841 19843 19794 0 -1 64 65 0 0 0 9 7 0 0 16 0 13 0 152857598 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19847] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19847/stat : 19847 (java) S 19841 19843 19794 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19848] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19848/stat : 19848 (java) S 19841 19843 19794 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 152857599 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19849] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19849/stat : 19849 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19850] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19850/stat : 19850 (java) S 19841 19843 19794 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19851] ppid=19841 vsize=1710912 CPUtime=0.57 /proc/19843/task/19851/stat : 19851 (java) S 19841 19843 19794 0 -1 64 670 0 0 0 57 0 0 0 17 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19852] ppid=19841 vsize=1710912 CPUtime=0.53 /proc/19843/task/19852/stat : 19852 (java) S 19841 19843 19794 0 -1 64 415 0 0 0 53 0 0 0 16 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19853] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19853/stat : 19853 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=19843/tid=19854] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19854/stat : 19854 (java) S 19841 19843 19794 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 152857602 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=19843/tid=19855] ppid=19841 vsize=1710912 CPUtime=0 /proc/19843/task/19855/stat : 19855 (java) S 19841 19843 19794 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 152859082 1751973888 116859 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.68 Current children cumulated vsize (Kb) 1710912 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1793.5 CPU time (s): 1800.83 CPU user time (s): 1799.63 CPU system time (s): 1.19582 CPU usage (%): 100.409 Max. virtual memory (cumulated for all children) (Kb): 1710944 The end
Begin job on node58 on Fri Jul 28 04:11:17 UTC 2006 FILE ID= 46347-1154059877 PBS_JOBID= 882193 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node58/46347-1154059877/instance-46347-1154059877.opb 197756677 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-46347-1154059877 -o ROOT/results/node58/solver-46347-1154059877 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node58/46347-1154059877/instance-46347-1154059877.opb 197756677 MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70 MD5SUM BENCH= e2f35c503d924e79e4ebd2cc0bd6c322 RANDOM SEED= 197756677 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1243880 kB Buffers: 34212 kB Cached: 708112 kB SwapCached: 3840 kB Active: 223380 kB Inactive: 527532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1243880 kB SwapTotal: 4192956 kB SwapFree: 4182944 kB Dirty: 128 kB Writeback: 0 kB Mapped: 14728 kB Slab: 47144 kB Committed_AS: 1022144 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Fri Jul 28 04:41:11 UTC 2006