Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.32 | 1789.49 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb |
MD5SUM | 0738d836bcd71a787d22a5f524715ac9 |
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 | 3.62645 |
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 | 5251 |
Total number of constraints | 15301 |
Number of constraints which are clauses | 15300 |
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 | 5100 |
Number of terms in the objective function | 51 |
Biggest coefficient in the objective function | 1125899906842624 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 2251799813685247 |
Number of bits of the sum of numbers in the objective function | 51 |
Biggest number in a constraint | 713623846352979940529142984724747568191373312 |
Number of bits of the biggest number in a constraint | 150 |
Biggest sum of numbers in a constraint | 2854495385411919209113085420553158722664919739 |
Number of bits of the biggest sum of numbers | 151 |
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.20 c Cutting planes based inference 0.20 c --- Begin Solver configuration --- 0.20 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.20 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.20 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20 c No reason simplification 0.20 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node6/50941-1154117970/instance-50941-1154117970.opb 0.21 c reading problem ... 2.56 c ... done. Time 2.359 ms. 2.56 c #vars 5251 2.56 c #constraints 15302 1789.38 c starts : 2 1789.38 c conflicts : 175 1789.38 c decisions : 4696 1789.38 c propagations : 31362 1789.38 c inspects : 764741 1789.38 c learnt literals : 0 1789.38 c learnt binary clauses : 0 1789.38 c learnt ternary clauses : 0 1789.38 c learnt clauses : 174 1789.38 c root simplifications : 0 1789.38 c removed literals (reason simplification) : 0 1789.38 c reason swapping (by a shorter reason) : 0 1789.38 c Calls to reduceDB : 0 1789.38 c speed (decisions/second) : 2.6281767863039307 1789.38 c non guided choices 3551 1789.38 s UNKNOWN 1789.38 c Total wall clock time (ms): 1789.172
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/node6/watcher-50941-1154117970 -o ROOT/results/node6/solver-50941-1154117970 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/50941-1154117970/instance-50941-1154117970.opb 62706916 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.99 3/63 608 /proc/meminfo: memFree=844112/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1496 CPUtime=0 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 65 0 0 0 0 0 0 0 19 0 1 0 158658408 1531904 47 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 2189965 0 0 4096 0 0 0 0 17 1 0 0 /proc/608/statm: 375 59 46 14 0 8 0 [startup+10.0022 s] /proc/loadavg: 0.99 0.97 0.99 2/75 620 /proc/meminfo: memFree=662192/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=11.01 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 49131 0 1 0 1081 20 0 0 25 0 13 0 158658408 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071560202 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 47229 1903 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=0.07 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 1616 0 0 0 6 1 0 0 16 0 13 0 158658411 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=0.07 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 1873 0 0 0 7 0 0 0 16 0 13 0 158658411 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 158658418 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.65 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 823 0 0 0 65 0 0 0 17 0 13 0 158658418 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.63 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 916 0 0 0 63 0 0 0 16 0 13 0 158658418 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158658667 1752784896 47229 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 11.01 Current children cumulated vsize (Kb) 1711704 [startup+20.0092 s] /proc/loadavg: 0.99 0.97 0.99 2/75 620 /proc/meminfo: memFree=677104/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=21.09 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 49304 0 1 0 2088 21 0 0 25 0 13 0 158658408 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071539691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 43508 1903 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=0.08 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 1740 0 0 0 7 1 0 0 16 0 13 0 158658411 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=0.08 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 1899 0 0 0 8 0 0 0 16 0 13 0 158658411 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158658418 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.71 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 828 0 0 0 71 0 0 0 17 0 13 0 158658418 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.65 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 916 0 0 0 65 0 0 0 17 0 13 0 158658418 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158658667 1752784896 43508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 21.09 Current children cumulated vsize (Kb) 1711704 [startup+30.0162 s] /proc/loadavg: 0.99 0.97 0.99 2/75 620 /proc/meminfo: memFree=682736/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=31.09 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 49414 0 1 0 3088 21 0 0 25 0 13 0 158658408 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071594018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 42119 1903 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=0.08 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 1807 0 0 0 7 1 0 0 16 0 13 0 158658411 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=0.08 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 1924 0 0 0 8 0 0 0 17 0 13 0 158658411 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 30 0 0 0 1 0 0 0 17 0 13 0 158658414 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158658418 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.71 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 828 0 0 0 71 0 0 0 17 0 13 0 158658418 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.65 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 916 0 0 0 65 0 0 0 17 0 13 0 158658418 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 158658667 1752784896 42119 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 31.09 Current children cumulated vsize (Kb) 1711704 [startup+40.0231 s] /proc/loadavg: 0.99 0.97 0.99 2/75 620 /proc/meminfo: memFree=684016/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=41.1 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 49455 0 1 0 4088 22 0 0 25 0 13 0 158658408 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071469231 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 41786 1903 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=0.09 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 1820 0 0 0 8 1 0 0 15 0 13 0 158658411 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=0.09 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 1931 0 0 0 9 0 0 0 16 0 13 0 158658411 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 158658414 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 158658418 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.71 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 828 0 0 0 71 0 0 0 17 0 13 0 158658418 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.65 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 916 0 0 0 65 0 0 0 17 0 13 0 158658418 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 41786 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 41.1 Current children cumulated vsize (Kb) 1711704 [startup+50.0301 s] /proc/loadavg: 0.99 0.97 0.99 2/75 620 /proc/meminfo: memFree=684208/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=51.12 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 49496 0 1 0 5090 22 0 0 25 0 13 0 158658408 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071535182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 41741 1903 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=0.09 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 1826 0 0 0 8 1 0 0 16 0 13 0 158658411 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=0.09 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 1944 0 0 0 9 0 0 0 15 0 13 0 158658411 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 158658414 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 158658418 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.75 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 828 0 0 0 75 0 0 0 16 0 13 0 158658418 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.66 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 916 0 0 0 66 0 0 0 17 0 13 0 158658418 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 41741 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 51.12 Current children cumulated vsize (Kb) 1711704 [startup+60.0371 s] /proc/loadavg: 0.99 0.97 0.99 2/75 620 /proc/meminfo: memFree=684144/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=61.12 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 49539 0 1 0 6090 22 0 0 25 0 13 0 158658408 1752784896 41760 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071560359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 41760 1903 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=0.1 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 1826 0 0 0 9 1 0 0 15 0 13 0 158658411 1752784896 41760 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=0.1 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 1963 0 0 0 10 0 0 0 16 0 13 0 158658411 1752784896 41760 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=0.02 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 30 0 0 0 2 0 0 0 16 0 13 0 158658414 1752784896 41760 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 41760 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 41760 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 ################ # More data... # ################ /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 158658418 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.83 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 833 0 0 0 83 0 0 0 17 0 13 0 158658418 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.74 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 925 0 0 0 74 0 0 0 17 0 13 0 158658418 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 137011 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (Kb) 1711704 [startup+1786.34 s] /proc/loadavg: 1.00 1.01 1.00 2/75 622 /proc/meminfo: memFree=302008/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=1797.14 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 299205 0 1 0 179476 238 0 0 17 0 13 0 158658408 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071555799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 137013 1906 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=11.28 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 65354 0 0 0 1076 52 0 0 16 0 13 0 158658411 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=11.32 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 65911 0 0 0 1082 50 0 0 16 0 13 0 158658411 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=1.08 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 400 0 0 0 58 50 0 0 15 0 13 0 158658414 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 158658418 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.83 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 833 0 0 0 83 0 0 0 17 0 13 0 158658418 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.74 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 925 0 0 0 74 0 0 0 17 0 13 0 158658418 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 137013 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.14 Current children cumulated vsize (Kb) 1711704 [startup+1787.35 s] /proc/loadavg: 1.00 1.01 1.00 2/75 622 /proc/meminfo: memFree=302008/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=1798.15 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 299209 0 1 0 179577 238 0 0 17 0 13 0 158658408 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071379886 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 137015 1906 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=11.29 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 65355 0 0 0 1077 52 0 0 16 0 13 0 158658411 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=11.33 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 65912 0 0 0 1083 50 0 0 16 0 13 0 158658411 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=1.09 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 400 0 0 0 58 51 0 0 15 0 13 0 158658414 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 158658418 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.83 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 833 0 0 0 83 0 0 0 17 0 13 0 158658418 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.74 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 925 0 0 0 74 0 0 0 17 0 13 0 158658418 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 137015 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.15 Current children cumulated vsize (Kb) 1711704 [startup+1788.36 s] /proc/loadavg: 1.00 1.01 1.00 2/75 622 /proc/meminfo: memFree=301496/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=1799.17 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 299332 0 1 0 179679 238 0 0 25 0 13 0 158658408 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071560384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 137137 1906 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=11.3 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 65438 0 0 0 1078 52 0 0 16 0 13 0 158658411 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=11.34 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 65951 0 0 0 1084 50 0 0 16 0 13 0 158658411 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=1.1 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 400 0 0 0 59 51 0 0 15 0 13 0 158658414 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 158658418 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.83 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 833 0 0 0 83 0 0 0 17 0 13 0 158658418 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.74 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 925 0 0 0 74 0 0 0 17 0 13 0 158658418 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 137137 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.17 Current children cumulated vsize (Kb) 1711704 [startup+1789.36 s] /proc/loadavg: 1.00 1.01 1.00 2/75 622 /proc/meminfo: memFree=300984/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=1800.19 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 299487 0 1 0 179781 238 0 0 19 0 13 0 158658408 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071549317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 137266 1906 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=11.31 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 65544 0 0 0 1079 52 0 0 16 0 13 0 158658411 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=11.35 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 65998 0 0 0 1085 50 0 0 16 0 13 0 158658411 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=1.1 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 400 0 0 0 59 51 0 0 16 0 13 0 158658414 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.83 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 833 0 0 0 83 0 0 0 17 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.74 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 925 0 0 0 74 0 0 0 17 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 1711704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1789.37 s] /proc/loadavg: 1.00 1.01 1.00 2/75 622 /proc/meminfo: memFree=300984/2055924 swapFree=4183204/4192956 [pid=608] ppid=606 vsize=1711704 CPUtime=1800.19 /proc/608/stat : 608 (java) R 606 608 559 0 -1 0 299487 0 1 0 179781 238 0 0 19 0 13 0 158658408 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071671929 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/608/statm: 427926 137266 1906 14 0 414673 0 [pid=608/tid=609] ppid=606 vsize=1711704 CPUtime=11.31 /proc/608/task/609/stat : 609 (java) S 606 608 559 0 -1 64 65544 0 0 0 1079 52 0 0 16 0 13 0 158658411 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=610] ppid=606 vsize=1711704 CPUtime=11.35 /proc/608/task/610/stat : 610 (java) S 606 608 559 0 -1 64 65998 0 0 0 1085 50 0 0 16 0 13 0 158658411 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=611] ppid=606 vsize=1711704 CPUtime=1.1 /proc/608/task/611/stat : 611 (java) S 606 608 559 0 -1 64 400 0 0 0 59 51 0 0 16 0 13 0 158658414 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=612] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/612/stat : 612 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=613] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/613/stat : 613 (java) S 606 608 559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 158658414 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=614] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/614/stat : 614 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=615] ppid=606 vsize=1711704 CPUtime=0.01 /proc/608/task/615/stat : 615 (java) S 606 608 559 0 -1 64 3 0 0 0 1 0 0 0 16 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=616] ppid=606 vsize=1711704 CPUtime=0.83 /proc/608/task/616/stat : 616 (java) S 606 608 559 0 -1 64 833 0 0 0 83 0 0 0 17 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=617] ppid=606 vsize=1711704 CPUtime=0.74 /proc/608/task/617/stat : 617 (java) S 606 608 559 0 -1 64 925 0 0 0 74 0 0 0 17 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=618] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/618/stat : 618 (java) S 606 608 559 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=608/tid=619] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/619/stat : 619 (java) S 606 608 559 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 158658418 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=608/tid=620] ppid=606 vsize=1711704 CPUtime=0 /proc/608/task/620/stat : 620 (java) S 606 608 559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 158658667 1752784896 137266 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (Kb) 1711704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1789.49 CPU time (s): 1800.32 CPU user time (s): 1797.85 CPU system time (s): 2.47162 CPU usage (%): 100.605 Max. virtual memory (cumulated for all children) (Kb): 1711704 The end
Begin job on node6 on Fri Jul 28 20:19:30 UTC 2006 FILE ID= 50941-1154117970 PBS_JOBID= 886811 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-416317114.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/50941-1154117970/instance-50941-1154117970.opb 62706916 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-50941-1154117970 -o ROOT/results/node6/solver-50941-1154117970 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/50941-1154117970/instance-50941-1154117970.opb 62706916 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 0738d836bcd71a787d22a5f524715ac9 RANDOM SEED= 62706916 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.255 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.255 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: 2055924 kB MemFree: 844320 kB Buffers: 43964 kB Cached: 1081588 kB SwapCached: 3792 kB Active: 51400 kB Inactive: 1082968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 844320 kB SwapTotal: 4192956 kB SwapFree: 4183204 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14828 kB Slab: 63240 kB Committed_AS: 660632 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Fri Jul 28 20:49:20 UTC 2006