Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.39 | 1760.34 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb |
MD5SUM | dc49834323ec8562456880bec34886cf |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 242.482 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 65701 |
Total number of constraints | 195481 |
Number of constraints which are clauses | 195480 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 65160 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 1532495540865888858358347027150309183618739122183602176 |
Number of bits for the biggest coefficient in the objective function | 181 |
Sum of the numbers in the objective function | 3064991081731777716716694054300618367237478244367204351 |
Number of bits of the sum of numbers in the objective function | 181 |
Biggest number in a constraint | 1799565517817278553124215403074392743547878847320766653240302229044735032268595148127616274441556342859968364253408358049283306422197719875603406072346065542053888 |
Number of bits of the biggest number in a constraint | 540 |
Biggest sum of numbers in a constraint | 7198262071269114212496861612297570974191515389283066611663944849260137495841993663922586015605314649454542626583271372705247225059695176544033188317685768654897628 |
Number of bits of the biggest sum of numbers | 541 |
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.22 c Cutting planes based inference 0.22 c --- Begin Solver configuration --- 0.22 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.22 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.22 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.22 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.22 c VSIDS like heuristics from MiniSAT using a heap 0.22 c No reason simplification 0.22 c --- End Solver configuration --- 0.22 c solving ROOT/tmp/node16/50981-1154120969/instance-50981-1154120969.opb 0.22 c reading problem ... 259.35 c ... done. Time 259.14 ms. 259.36 c #vars 65701 259.36 c #constraints 195482 1760.09 c starts : 1 1760.09 c conflicts : 1 1760.09 c decisions : 47816 1760.09 c propagations : 65692 1760.09 c inspects : 178302 1760.09 c learnt literals : 0 1760.09 c learnt binary clauses : 0 1760.09 c learnt ternary clauses : 0 1760.09 c learnt clauses : 0 1760.09 c root simplifications : 0 1760.09 c removed literals (reason simplification) : 0 1760.09 c reason swapping (by a shorter reason) : 0 1760.09 c Calls to reduceDB : 0 1760.09 c speed (decisions/second) : 31.862634038163726 1760.09 c non guided choices 47816 1760.09 s UNKNOWN 1760.09 c Total wall clock time (ms): 1759.88
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/node16/watcher-50981-1154120969 -o ROOT/results/node16/solver-50981-1154120969 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/50981-1154120969/instance-50981-1154120969.opb 923202296 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 28935 /proc/meminfo: memFree=1037704/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=168 CPUtime=0 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 158957866 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7205668 0 0 4096 0 0 0 0 17 1 0 0 /proc/28935/statm: 42 23 18 14 0 2 0 [startup+10.0007 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28946 /proc/meminfo: memFree=866752/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1709412 CPUtime=10.4 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 47772 0 1 0 1020 20 0 0 25 0 12 0 158957866 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071346582 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 427353 44525 1872 14 0 414100 0 [pid=28935/tid=28936] ppid=28933 vsize=1709412 CPUtime=0.04 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 1422 0 0 0 4 0 0 0 16 0 12 0 158957870 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1709412 CPUtime=0.04 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 1523 0 0 0 4 0 0 0 15 0 12 0 158957870 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 158957873 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158957873 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158957873 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158957876 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 158957876 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1709412 CPUtime=0.28 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 464 0 0 0 28 0 0 0 16 0 12 0 158957876 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1709412 CPUtime=0.24 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 411 0 0 0 24 0 0 0 16 0 12 0 158957876 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158957876 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158957877 1750437888 44525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.4 Current children cumulated vsize (Kb) 1709412 [startup+20.0066 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28946 /proc/meminfo: memFree=880256/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1709412 CPUtime=20.47 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 48090 0 1 0 2025 22 0 0 25 0 12 0 158957866 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071346610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 427353 41235 1872 14 0 414100 0 [pid=28935/tid=28936] ppid=28933 vsize=1709412 CPUtime=0.07 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 1526 0 0 0 7 0 0 0 16 0 12 0 158957870 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1709412 CPUtime=0.09 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 1704 0 0 0 8 1 0 0 16 0 12 0 158957870 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1709412 CPUtime=0.01 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 28 0 0 0 0 1 0 0 16 0 12 0 158957873 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158957873 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158957873 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158957876 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 158957876 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1709412 CPUtime=0.33 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 467 0 0 0 33 0 0 0 16 0 12 0 158957876 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1709412 CPUtime=0.27 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 413 0 0 0 27 0 0 0 16 0 12 0 158957876 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158957876 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158957877 1750437888 41235 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.47 Current children cumulated vsize (Kb) 1709412 [startup+30.0115 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28946 /proc/meminfo: memFree=881216/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1709412 CPUtime=30.52 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 48385 0 1 0 3029 23 0 0 25 0 12 0 158957866 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152709496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 427353 41011 1872 14 0 414100 0 [pid=28935/tid=28936] ppid=28933 vsize=1709412 CPUtime=0.11 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 1663 0 0 0 11 0 0 0 16 0 12 0 158957870 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1709412 CPUtime=0.13 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 1823 0 0 0 12 1 0 0 16 0 12 0 158957870 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1709412 CPUtime=0.01 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 28 0 0 0 0 1 0 0 16 0 12 0 158957873 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158957873 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158957873 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158957876 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 158957876 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1709412 CPUtime=0.34 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 473 0 0 0 34 0 0 0 16 0 12 0 158957876 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1709412 CPUtime=0.27 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 413 0 0 0 27 0 0 0 17 0 12 0 158957876 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158957876 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158957877 1750437888 41011 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.52 Current children cumulated vsize (Kb) 1709412 [startup+40.0164 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28946 /proc/meminfo: memFree=880896/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1709412 CPUtime=40.55 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 48761 0 1 0 4031 24 0 0 25 0 12 0 158957866 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071346570 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 427353 41117 1872 14 0 414100 0 [pid=28935/tid=28936] ppid=28933 vsize=1709412 CPUtime=0.15 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 1789 0 0 0 14 1 0 0 16 0 12 0 158957870 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1709412 CPUtime=0.17 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 2037 0 0 0 16 1 0 0 16 0 12 0 158957870 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1709412 CPUtime=0.02 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 28 0 0 0 1 1 0 0 16 0 12 0 158957873 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158957873 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158957873 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158957876 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 158957876 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1709412 CPUtime=0.34 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 473 0 0 0 34 0 0 0 16 0 12 0 158957876 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1709412 CPUtime=0.27 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 413 0 0 0 27 0 0 0 17 0 12 0 158957876 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158957876 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158957877 1750437888 41117 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.55 Current children cumulated vsize (Kb) 1709412 [startup+50.0213 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28946 /proc/meminfo: memFree=880512/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1709412 CPUtime=50.58 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 49050 0 1 0 5033 25 0 0 25 0 12 0 158957866 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152709496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 427353 41265 1872 14 0 414100 0 [pid=28935/tid=28936] ppid=28933 vsize=1709412 CPUtime=0.21 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 1945 0 0 0 20 1 0 0 16 0 12 0 158957870 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1709412 CPUtime=0.2 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 2128 0 0 0 19 1 0 0 16 0 12 0 158957870 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1709412 CPUtime=0.04 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 29 0 0 0 2 2 0 0 15 0 12 0 158957873 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158957873 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158957873 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158957876 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 158957876 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1709412 CPUtime=0.34 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 473 0 0 0 34 0 0 0 16 0 12 0 158957876 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1709412 CPUtime=0.27 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 413 0 0 0 27 0 0 0 17 0 12 0 158957876 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158957876 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 158957877 1750437888 41265 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.58 Current children cumulated vsize (Kb) 1709412 [startup+60.0261 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28946 /proc/meminfo: memFree=879552/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1709412 CPUtime=60.59 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 49337 0 1 0 6034 25 0 0 25 0 12 0 158957866 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436682 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28935/statm: 427353 41507 1872 14 0 414100 0 [pid=28935/tid=28936] ppid=28933 vsize=1709412 CPUtime=0.25 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 2060 0 0 0 24 1 0 0 16 0 12 0 158957870 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1709412 CPUtime=0.25 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 2254 0 0 0 24 1 0 0 16 0 12 0 158957870 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1709412 CPUtime=0.04 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 30 0 0 0 2 2 0 0 15 0 12 0 158957873 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 158957873 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 158957873 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 158957876 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 158957876 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1709412 CPUtime=0.34 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 473 0 0 0 34 0 0 0 16 0 12 0 158957876 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1709412 CPUtime=0.27 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 413 0 0 0 27 0 0 0 17 0 12 0 158957876 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1709412 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 158957876 1750437888 41507 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1709412 CPUtime=0 ################ # More data... # ################ /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158957873 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158957873 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158957876 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158957876 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1722228 CPUtime=1.05 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 1055 0 0 0 105 0 0 0 17 0 13 0 158957876 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1722228 CPUtime=1.47 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 5320 0 0 0 146 1 0 0 17 0 13 0 158957876 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158957876 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158957877 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28886 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 158983810 1763561472 390822 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.04 Current children cumulated vsize (Kb) 1722228 [startup+1757.06 s] /proc/loadavg: 1.00 1.00 1.00 2/76 28949 /proc/meminfo: memFree=19008/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1722228 CPUtime=1797.06 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 583891 0 1 0 178971 735 0 0 17 0 13 0 158957866 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 430557 390998 1910 14 0 417304 0 [pid=28935/tid=28936] ppid=28933 vsize=1722228 CPUtime=39 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 247238 0 0 0 3590 310 0 0 16 0 13 0 158957870 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1722228 CPUtime=39.21 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 216558 0 0 0 3607 314 0 0 15 0 13 0 158957870 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1722228 CPUtime=3.45 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 1301 0 0 0 300 45 0 0 16 0 13 0 158957873 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158957873 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158957873 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158957876 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158957876 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1722228 CPUtime=1.05 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 1055 0 0 0 105 0 0 0 17 0 13 0 158957876 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1722228 CPUtime=1.47 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 5320 0 0 0 146 1 0 0 17 0 13 0 158957876 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158957876 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158957877 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28886 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 158983810 1763561472 390998 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.06 Current children cumulated vsize (Kb) 1722228 [startup+1758.07 s] /proc/loadavg: 1.00 1.00 1.00 2/76 28949 /proc/meminfo: memFree=18432/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1722228 CPUtime=1798.09 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 584037 0 1 0 179074 735 0 0 25 0 13 0 158957866 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 430557 391142 1910 14 0 417304 0 [pid=28935/tid=28936] ppid=28933 vsize=1722228 CPUtime=39.02 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 247242 0 0 0 3592 310 0 0 16 0 13 0 158957870 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1722228 CPUtime=39.23 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 216560 0 0 0 3609 314 0 0 16 0 13 0 158957870 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1722228 CPUtime=3.45 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 1301 0 0 0 300 45 0 0 16 0 13 0 158957873 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158957873 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158957873 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158957876 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158957876 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1722228 CPUtime=1.05 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 1055 0 0 0 105 0 0 0 17 0 13 0 158957876 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1722228 CPUtime=1.47 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 5320 0 0 0 146 1 0 0 17 0 13 0 158957876 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158957876 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158957877 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28886 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 158983810 1763561472 391142 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.09 Current children cumulated vsize (Kb) 1722228 [startup+1759.07 s] /proc/loadavg: 1.00 1.00 1.00 2/76 28949 /proc/meminfo: memFree=17984/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1722228 CPUtime=1799.11 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 584167 0 1 0 179176 735 0 0 17 0 13 0 158957866 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 430557 391270 1910 14 0 417304 0 [pid=28935/tid=28936] ppid=28933 vsize=1722228 CPUtime=39.03 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 247246 0 0 0 3593 310 0 0 16 0 13 0 158957870 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1722228 CPUtime=39.25 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 216562 0 0 0 3611 314 0 0 15 0 13 0 158957870 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1722228 CPUtime=3.45 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 1301 0 0 0 300 45 0 0 16 0 13 0 158957873 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158957873 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158957873 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158957876 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158957876 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1722228 CPUtime=1.05 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 1055 0 0 0 105 0 0 0 17 0 13 0 158957876 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1722228 CPUtime=1.47 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 5320 0 0 0 146 1 0 0 17 0 13 0 158957876 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158957876 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158957877 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28886 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 158983810 1763561472 391270 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.11 Current children cumulated vsize (Kb) 1722228 [startup+1760.08 s] /proc/loadavg: 1.00 1.00 1.00 3/76 28949 /proc/meminfo: memFree=17472/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1722228 CPUtime=1800.13 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 584281 0 1 0 179278 735 0 0 25 0 13 0 158957866 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493465 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 430557 391382 1910 14 0 417304 0 [pid=28935/tid=28936] ppid=28933 vsize=1722228 CPUtime=39.05 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 247250 0 0 0 3595 310 0 0 16 0 13 0 158957870 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1722228 CPUtime=39.27 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 216564 0 0 0 3613 314 0 0 15 0 13 0 158957870 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1722228 CPUtime=3.45 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 1301 0 0 0 300 45 0 0 16 0 13 0 158957873 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158957873 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158957873 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1722228 CPUtime=1.05 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 1055 0 0 0 105 0 0 0 17 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1722228 CPUtime=1.47 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 5320 0 0 0 146 1 0 0 17 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158957877 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28886 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 158983810 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (Kb) 1722228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1760.09 s] /proc/loadavg: 1.00 1.00 1.00 2/76 28949 /proc/meminfo: memFree=17472/2055920 swapFree=4183200/4192956 [pid=28935] ppid=28933 vsize=1722228 CPUtime=1800.14 /proc/28935/stat : 28935 (java) R 28933 28935 28886 0 -1 0 584281 0 1 0 179279 735 0 0 25 0 13 0 158957866 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071493413 0 4 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/28935/statm: 430557 391382 1910 14 0 417304 0 [pid=28935/tid=28936] ppid=28933 vsize=1722228 CPUtime=39.05 /proc/28935/task/28936/stat : 28936 (java) S 28933 28935 28886 0 -1 64 247250 0 0 0 3595 310 0 0 16 0 13 0 158957870 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28937] ppid=28933 vsize=1722228 CPUtime=39.27 /proc/28935/task/28937/stat : 28937 (java) S 28933 28935 28886 0 -1 64 216564 0 0 0 3613 314 0 0 15 0 13 0 158957870 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28938] ppid=28933 vsize=1722228 CPUtime=3.45 /proc/28935/task/28938/stat : 28938 (java) S 28933 28935 28886 0 -1 64 1301 0 0 0 300 45 0 0 16 0 13 0 158957873 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28939] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28939/stat : 28939 (java) S 28933 28935 28886 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158957873 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28940] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28940/stat : 28940 (java) S 28933 28935 28886 0 -1 64 5 0 0 0 0 0 0 0 15 0 13 0 158957873 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28941] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28941/stat : 28941 (java) S 28933 28935 28886 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28942] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28942/stat : 28942 (java) S 28933 28935 28886 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28943] ppid=28933 vsize=1722228 CPUtime=1.05 /proc/28935/task/28943/stat : 28943 (java) S 28933 28935 28886 0 -1 64 1055 0 0 0 105 0 0 0 17 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28944] ppid=28933 vsize=1722228 CPUtime=1.47 /proc/28935/task/28944/stat : 28944 (java) S 28933 28935 28886 0 -1 64 5320 0 0 0 146 1 0 0 17 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28945] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28945/stat : 28945 (java) S 28933 28935 28886 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 158957876 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28935/tid=28946] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28946/stat : 28946 (java) S 28933 28935 28886 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 158957877 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28935/tid=28947] ppid=28933 vsize=1722228 CPUtime=0 /proc/28935/task/28947/stat : 28947 (java) S 28933 28935 28886 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 158983810 1763561472 391382 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (Kb) 1722228 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1760.34 CPU time (s): 1800.39 CPU user time (s): 1792.8 CPU system time (s): 7.58785 CPU usage (%): 102.275 Max. virtual memory (cumulated for all children) (Kb): 1722264 The end
Begin job on node16 on Fri Jul 28 21:09:30 UTC 2006 FILE ID= 50981-1154120969 PBS_JOBID= 886971 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/50981-1154120969/instance-50981-1154120969.opb 923202296 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-50981-1154120969 -o ROOT/results/node16/solver-50981-1154120969 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node16/50981-1154120969/instance-50981-1154120969.opb 923202296 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= dc49834323ec8562456880bec34886cf RANDOM SEED= 923202296 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.229 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.229 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: 1038104 kB Buffers: 34444 kB Cached: 928392 kB SwapCached: 3716 kB Active: 201488 kB Inactive: 770160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1038104 kB SwapTotal: 4192956 kB SwapFree: 4183200 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14464 kB Slab: 32180 kB Committed_AS: 676324 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node16 on Fri Jul 28 21:38:51 UTC 2006