Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.96 | 1798.43 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-35-30.opb |
MD5SUM | c31072fad7bb81e0a58c1598fe2e2bbc |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1050 |
Total number of constraints | 17885 |
Number of constraints which are clauses | 17885 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 31 |
Number of bits of the biggest sum of numbers | 5 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.15 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.15 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.15 c no version file found!!! 0.15 c sun.arch.data.model 32 0.15 c java.version 1.5.0_06 0.15 c os.name Linux 0.15 c os.version 2.6.9-22.EL.rootsmp 0.15 c os.arch i386 0.15 c Free memory 1548419056 0.15 c Max memory 1551040512 0.15 c Total memory 1551040512 0.15 c Number of processors 2 0.21 c Cutting planes based inference 0.21 c --- Begin Solver configuration --- 0.21 c org.sat4j.minisat.uip.FirstUIP@1037c71 0.21 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1df073d 0.21 c org.sat4j.minisat.learning.MiniSATLearning@1546e25 0.21 c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=10000.0 initConflictBound=100 0.21 c VSIDS like heuristics from MiniSAT using a heap 0.21 c No reason simplification 0.21 c --- End Solver configuration --- 0.21 c solving ROOT/tmp/node6/46407-1154065670/instance-46407-1154065670.opb 0.21 c reading problem ... 1.55 c ... done. Time 1.346 ms. 1.55 c #vars 1050 1.55 c #constraints 17885 1798.35 c starts : 18 1798.35 c conflicts : 261737 1798.35 c decisions : 301325 1798.35 c propagations : 6099611 1798.35 c inspects : 1048161052 1798.35 c learnt literals : 0 1798.35 c learnt binary clauses : 0 1798.35 c learnt ternary clauses : 0 1798.35 c learnt clauses : 261737 1798.35 c root simplifications : 0 1798.35 c removed literals (reason simplification) : 0 1798.35 c reason swapping (by a shorter reason) : 0 1798.35 c Calls to reduceDB : 0 1798.35 c speed (decisions/second) : 167.70109940015516 1798.35 c non guided choices 535 1798.35 s UNKNOWN 1798.35 c Total wall clock time (ms): 1798.149
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-46407-1154065670 -o ROOT/results/node6/solver-46407-1154065670 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46407-1154065670/instance-46407-1154065670.opb 733049191 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/63 28053 /proc/meminfo: memFree=626120/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=18544 CPUtime=0 /proc/28053/stat : 28053 (runsolver) R 28051 28053 28004 0 -1 4194368 18 0 0 0 0 0 0 0 19 0 1 0 153428344 18989056 280 18446744073709551615 4194304 4264732 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/28053/statm: 4636 280 244 17 0 2626 0 [startup+10.0026 s] /proc/loadavg: 1.07 1.02 1.00 2/75 28065 /proc/meminfo: memFree=478896/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710264 CPUtime=10.69 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 38917 0 1 0 1047 22 0 0 25 0 13 0 153428344 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071486751 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427566 38595 1901 14 0 414313 0 [pid=28053/tid=28054] ppid=28051 vsize=1710264 CPUtime=0.02 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 815 0 0 0 2 0 0 0 16 0 13 0 153428348 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710264 CPUtime=0.02 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 823 0 0 0 2 0 0 0 16 0 13 0 153428348 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 153428351 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710264 CPUtime=0.47 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 374 0 0 0 47 0 0 0 16 0 13 0 153428355 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710264 CPUtime=0.51 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 346 0 0 0 51 0 0 0 17 0 13 0 153428355 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710264 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153428501 1751310336 38595 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 10.69 Current children cumulated vsize (Kb) 1710264 [startup+20.0096 s] /proc/loadavg: 1.06 1.02 1.00 2/75 28065 /proc/meminfo: memFree=470448/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=20.75 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 42422 0 1 0 2052 23 0 0 25 0 13 0 153428344 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071388121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 40711 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=0.06 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 2499 0 0 0 5 1 0 0 16 0 13 0 153428348 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=0.06 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 2628 0 0 0 6 0 0 0 16 0 13 0 153428348 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 17 0 13 0 153428355 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.52 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 52 0 0 0 16 0 13 0 153428355 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153428501 1751277568 40711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 20.75 Current children cumulated vsize (Kb) 1710232 [startup+30.0165 s] /proc/loadavg: 1.05 1.01 1.00 2/75 28065 /proc/meminfo: memFree=461680/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=30.79 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 45511 0 1 0 3054 25 0 0 25 0 13 0 153428344 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071509053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 42859 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=0.1 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 4132 0 0 0 8 2 0 0 17 0 13 0 153428348 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=0.09 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 4081 0 0 0 8 1 0 0 17 0 13 0 153428348 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.52 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 52 0 0 0 16 0 13 0 153428355 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 153428501 1751277568 42859 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 30.79 Current children cumulated vsize (Kb) 1710232 [startup+40.0235 s] /proc/loadavg: 1.04 1.01 1.00 2/75 28065 /proc/meminfo: memFree=457264/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=40.83 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 47616 0 1 0 4056 27 0 0 25 0 13 0 153428344 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071486258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 43959 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=0.13 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 5176 0 0 0 11 2 0 0 16 0 13 0 153428348 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=0.12 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 5140 0 0 0 10 2 0 0 16 0 13 0 153428348 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.52 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 52 0 0 0 16 0 13 0 153428355 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 43959 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 40.83 Current children cumulated vsize (Kb) 1710232 [startup+50.0305 s] /proc/loadavg: 1.04 1.01 1.00 2/75 28065 /proc/meminfo: memFree=452144/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=50.84 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 49970 0 1 0 5056 28 0 0 25 0 13 0 153428344 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071509053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 45242 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=0.15 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 6253 0 0 0 12 3 0 0 16 0 13 0 153428348 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=0.15 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 6415 0 0 0 12 3 0 0 16 0 13 0 153428348 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.52 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 52 0 0 0 16 0 13 0 153428355 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 45242 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.84 Current children cumulated vsize (Kb) 1710232 [startup+60.0374 s] /proc/loadavg: 1.03 1.01 1.00 2/75 28065 /proc/meminfo: memFree=447792/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=60.87 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 51524 0 1 0 6058 29 0 0 25 0 13 0 153428344 1751277568 46338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071509070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 46338 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=0.16 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 6717 0 0 0 13 3 0 0 16 0 13 0 153428348 1751277568 46338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=0.16 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 7503 0 0 0 13 3 0 0 16 0 13 0 153428348 1751277568 46338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 46338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 46338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 46338 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 ################ # More data... # ################ /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.53 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 53 0 0 0 17 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (Kb) 1710232 [startup+1795.33 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28263 /proc/meminfo: memFree=255600/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=1797.85 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 127652 0 1 0 179715 70 0 0 25 0 13 0 153428344 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071509048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 94058 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=2.62 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 47746 0 0 0 241 21 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=2.6 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 42439 0 0 0 242 18 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0.05 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 22 0 0 0 3 2 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.53 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 53 0 0 0 17 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (Kb) 1710232 [startup+1796.33 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28263 /proc/meminfo: memFree=255600/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=1798.86 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 127652 0 1 0 179816 70 0 0 25 0 13 0 153428344 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071502565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 94058 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=2.62 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 47746 0 0 0 241 21 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=2.6 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 42439 0 0 0 242 18 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0.05 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 22 0 0 0 3 2 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.53 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 53 0 0 0 17 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1798.86 Current children cumulated vsize (Kb) 1710232 [startup+1797.34 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28263 /proc/meminfo: memFree=255600/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=1799.86 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 127652 0 1 0 179916 70 0 0 25 0 13 0 153428344 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071486766 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 94058 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=2.62 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 47746 0 0 0 241 21 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=2.6 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 42439 0 0 0 242 18 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0.05 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 22 0 0 0 3 2 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.53 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 53 0 0 0 17 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1799.86 Current children cumulated vsize (Kb) 1710232 [startup+1798.34 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28263 /proc/meminfo: memFree=255600/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=1800.87 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 127652 0 1 0 180017 70 0 0 25 0 13 0 153428344 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071509030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 94058 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=2.62 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 47746 0 0 0 241 21 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=2.6 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 42439 0 0 0 242 18 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0.05 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 22 0 0 0 3 2 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.53 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 53 0 0 0 17 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (Kb) 1710232 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.35 s] /proc/loadavg: 1.00 1.00 1.00 2/75 28263 /proc/meminfo: memFree=255600/2055924 swapFree=4183160/4192956 [pid=28053] ppid=28051 vsize=1710232 CPUtime=1800.87 /proc/28053/stat : 28053 (java) R 28051 28053 28004 0 -1 0 127652 0 1 0 180017 70 0 0 25 0 13 0 153428344 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071508969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28053/statm: 427558 94058 1901 14 0 414305 0 [pid=28053/tid=28054] ppid=28051 vsize=1710232 CPUtime=2.62 /proc/28053/task/28054/stat : 28054 (java) S 28051 28053 28004 0 -1 64 47746 0 0 0 241 21 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28055] ppid=28051 vsize=1710232 CPUtime=2.6 /proc/28053/task/28055/stat : 28055 (java) S 28051 28053 28004 0 -1 64 42439 0 0 0 242 18 0 0 16 0 13 0 153428348 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28056] ppid=28051 vsize=1710232 CPUtime=0.05 /proc/28053/task/28056/stat : 28056 (java) S 28051 28053 28004 0 -1 64 22 0 0 0 3 2 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28057] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28057/stat : 28057 (java) S 28051 28053 28004 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28058] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28058/stat : 28058 (java) S 28051 28053 28004 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153428351 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28059] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28059/stat : 28059 (java) S 28051 28053 28004 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28060] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28060/stat : 28060 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28061] ppid=28051 vsize=1710232 CPUtime=0.49 /proc/28053/task/28061/stat : 28061 (java) S 28051 28053 28004 0 -1 64 376 0 0 0 49 0 0 0 16 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28062] ppid=28051 vsize=1710232 CPUtime=0.53 /proc/28053/task/28062/stat : 28062 (java) S 28051 28053 28004 0 -1 64 347 0 0 0 53 0 0 0 17 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28053/tid=28063] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28063/stat : 28063 (java) S 28051 28053 28004 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28064] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28064/stat : 28064 (java) S 28051 28053 28004 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153428355 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28053/tid=28065] ppid=28051 vsize=1710232 CPUtime=0 /proc/28053/task/28065/stat : 28065 (java) S 28051 28053 28004 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153428501 1751277568 94058 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (Kb) 1710232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1798.43 CPU time (s): 1800.96 CPU user time (s): 1800.2 CPU system time (s): 0.758884 CPU usage (%): 100.141 Max. virtual memory (cumulated for all children) (Kb): 1710264 The end
Begin job on node6 on Fri Jul 28 05:47:50 UTC 2006 FILE ID= 46407-1154065670 PBS_JOBID= 882452 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46407-1154065670/instance-46407-1154065670.opb 733049191 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-46407-1154065670 -o ROOT/results/node6/solver-46407-1154065670 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46407-1154065670/instance-46407-1154065670.opb 733049191 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= c31072fad7bb81e0a58c1598fe2e2bbc RANDOM SEED= 733049191 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: 626328 kB Buffers: 47136 kB Cached: 1286784 kB SwapCached: 3980 kB Active: 304656 kB Inactive: 1038252 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 626328 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14828 kB Slab: 72736 kB Committed_AS: 583004 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 06:17:48 UTC 2006