Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4JPSEUDO 2006.2 | ? (TO) | 1800.9 | 1794.45 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-25-20.opb |
MD5SUM | 77884e60a57230c733c87356d8b29ff2 |
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 | 500 |
Total number of constraints | 6025 |
Number of constraints which are clauses | 6025 |
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 | 20 |
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 | 21 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.14 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.20 c solving ROOT/tmp/node6/46393-1154062069/instance-46393-1154062069.opb 0.20 c reading problem ... 0.86 c ... done. Time 0.653 ms. 0.86 c #vars 500 0.86 c #constraints 6025 1794.35 c starts : 19 1794.35 c conflicts : 411603 1794.35 c decisions : 466845 1794.35 c propagations : 7683594 1794.35 c inspects : 1766193294 1794.35 c learnt literals : 0 1794.35 c learnt binary clauses : 0 1794.35 c learnt ternary clauses : 0 1794.35 c learnt clauses : 411603 1794.35 c root simplifications : 0 1794.35 c removed literals (reason simplification) : 0 1794.35 c reason swapping (by a shorter reason) : 0 1794.35 c Calls to reduceDB : 0 1794.35 c speed (decisions/second) : 260.3000410373529 1794.35 c non guided choices 490 1794.35 s UNKNOWN 1794.35 c Total wall clock time (ms): 1794.144
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-46393-1154062069 -o ROOT/results/node6/solver-46393-1154062069 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46393-1154062069/instance-46393-1154062069.opb 483647460 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.99 3/63 27711 /proc/meminfo: memFree=628176/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=0 CPUtime=0 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 153068242 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/27711/statm: 0 0 0 0 0 0 0 [startup+10.002 s] /proc/loadavg: 1.00 1.00 0.99 2/75 27723 /proc/meminfo: memFree=478832/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=10.7 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 39686 0 2 0 1052 18 0 0 25 0 13 0 153068242 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071495310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 39111 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 1034 0 0 0 1 0 0 0 16 0 13 0 153068245 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 1017 0 0 0 1 0 0 0 16 0 13 0 153068245 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 14 0 0 0 0 0 0 0 17 0 13 0 153068248 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.51 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 51 0 0 0 16 0 13 0 153068252 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.46 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 544 0 0 0 46 0 0 0 16 0 13 0 153068252 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 153068328 1751781376 39111 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 10.7 Current children cumulated vsize (Kb) 1710724 [startup+20.009 s] /proc/loadavg: 1.00 1.00 0.99 2/75 27723 /proc/meminfo: memFree=468784/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=20.77 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 43881 0 2 0 2056 21 0 0 25 0 13 0 153068242 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071495349 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 41629 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=0.07 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 2584 0 0 0 6 1 0 0 17 0 13 0 153068245 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=0.08 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 3651 0 0 0 6 2 0 0 17 0 13 0 153068245 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.51 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 51 0 0 0 17 0 13 0 153068252 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 153068328 1751781376 41629 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 20.77 Current children cumulated vsize (Kb) 1710724 [startup+30.016 s] /proc/loadavg: 1.08 1.02 1.00 2/75 27723 /proc/meminfo: memFree=462000/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=30.83 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 45923 0 2 0 3061 22 0 0 25 0 13 0 153068242 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071494993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 43325 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=0.13 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 3677 0 0 0 11 2 0 0 16 0 13 0 153068245 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=0.12 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 4598 0 0 0 10 2 0 0 16 0 13 0 153068245 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.51 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 51 0 0 0 17 0 13 0 153068252 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 153068328 1751781376 43325 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 30.83 Current children cumulated vsize (Kb) 1710724 [startup+40.0229 s] /proc/loadavg: 1.07 1.02 1.00 2/75 27723 /proc/meminfo: memFree=454000/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=40.85 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 48518 0 2 0 4063 22 0 0 25 0 13 0 153068242 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071468307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 45279 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=0.16 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 4807 0 0 0 14 2 0 0 16 0 13 0 153068245 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=0.15 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 6061 0 0 0 13 2 0 0 17 0 13 0 153068245 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.51 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 51 0 0 0 17 0 13 0 153068252 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 45279 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 40.85 Current children cumulated vsize (Kb) 1710724 [startup+50.0299 s] /proc/loadavg: 1.06 1.01 1.00 2/75 27723 /proc/meminfo: memFree=450736/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=50.87 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 49707 0 2 0 5064 23 0 0 25 0 13 0 153068242 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071462369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 46080 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=0.17 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 5343 0 0 0 15 2 0 0 16 0 13 0 153068245 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=0.17 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 6713 0 0 0 14 3 0 0 16 0 13 0 153068245 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.51 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 51 0 0 0 17 0 13 0 153068252 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 46080 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 50.87 Current children cumulated vsize (Kb) 1710724 [startup+60.0369 s] /proc/loadavg: 1.05 1.01 1.00 2/75 27723 /proc/meminfo: memFree=447152/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=60.88 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 50998 0 2 0 6065 23 0 0 25 0 13 0 153068242 1751781376 46978 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071494993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 46978 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=0.19 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 6069 0 0 0 16 3 0 0 16 0 13 0 153068245 1751781376 46978 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=0.18 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 7276 0 0 0 15 3 0 0 16 0 13 0 153068245 1751781376 46978 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 46978 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 46978 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 46978 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 ################ # More data... # ################ /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.52 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 52 0 0 0 17 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 1710724 [startup+1791.32 s] /proc/loadavg: 1.00 1.00 1.00 2/75 27921 /proc/meminfo: memFree=200624/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=1797.72 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 141531 0 2 0 179681 91 0 0 25 0 13 0 153068242 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071494993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 108269 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=6.49 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 47540 0 0 0 620 29 0 0 16 0 13 0 153068245 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=6.52 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 56055 0 0 0 624 28 0 0 17 0 13 0 153068245 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0.07 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 31 0 0 0 4 3 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.52 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 52 0 0 0 17 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (Kb) 1710724 [startup+1792.32 s] /proc/loadavg: 1.00 1.00 1.00 2/75 27921 /proc/meminfo: memFree=200624/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=1798.73 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 141531 0 2 0 179782 91 0 0 25 0 13 0 153068242 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071494993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 108269 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=6.49 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 47540 0 0 0 620 29 0 0 16 0 13 0 153068245 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=6.52 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 56055 0 0 0 624 28 0 0 17 0 13 0 153068245 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0.07 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 31 0 0 0 4 3 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.52 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 52 0 0 0 17 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 108269 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 1710724 [startup+1793.33 s] /proc/loadavg: 1.00 1.00 1.00 2/75 27921 /proc/meminfo: memFree=200176/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=1799.76 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 141700 0 2 0 179885 91 0 0 17 0 13 0 153068242 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071487434 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 108389 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=6.53 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 47683 0 0 0 623 30 0 0 16 0 13 0 153068245 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=6.55 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 56080 0 0 0 627 28 0 0 17 0 13 0 153068245 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0.07 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 31 0 0 0 4 3 0 0 15 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.52 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 52 0 0 0 17 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1799.76 Current children cumulated vsize (Kb) 1710724 [startup+1794.33 s] /proc/loadavg: 1.00 1.00 1.00 2/75 27921 /proc/meminfo: memFree=200176/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=1800.77 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 141700 0 2 0 179986 91 0 0 25 0 13 0 153068242 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071495405 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 108389 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=6.53 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 47683 0 0 0 623 30 0 0 16 0 13 0 153068245 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=6.55 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 56080 0 0 0 627 28 0 0 17 0 13 0 153068245 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0.07 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 31 0 0 0 4 3 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.52 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 52 0 0 0 17 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (Kb) 1710724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.34 s] /proc/loadavg: 1.00 1.00 1.00 2/75 27921 /proc/meminfo: memFree=200176/2055924 swapFree=4183160/4192956 [pid=27711] ppid=27709 vsize=1710724 CPUtime=1800.77 /proc/27711/stat : 27711 (java) R 27709 27711 27662 0 -1 0 141700 0 2 0 179986 91 0 0 25 0 13 0 153068242 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071495310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27711/statm: 427681 108389 1900 14 0 414428 0 [pid=27711/tid=27712] ppid=27709 vsize=1710724 CPUtime=6.53 /proc/27711/task/27712/stat : 27712 (java) S 27709 27711 27662 0 -1 64 47683 0 0 0 623 30 0 0 16 0 13 0 153068245 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27713] ppid=27709 vsize=1710724 CPUtime=6.55 /proc/27711/task/27713/stat : 27713 (java) S 27709 27711 27662 0 -1 64 56080 0 0 0 627 28 0 0 17 0 13 0 153068245 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27714] ppid=27709 vsize=1710724 CPUtime=0.07 /proc/27711/task/27714/stat : 27714 (java) S 27709 27711 27662 0 -1 64 31 0 0 0 4 3 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27715] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27715/stat : 27715 (java) S 27709 27711 27662 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27716] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27716/stat : 27716 (java) S 27709 27711 27662 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 153068248 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27717] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27717/stat : 27717 (java) S 27709 27711 27662 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27718] ppid=27709 vsize=1710724 CPUtime=0.01 /proc/27711/task/27718/stat : 27718 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 1 0 0 0 17 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27719] ppid=27709 vsize=1710724 CPUtime=0.52 /proc/27711/task/27719/stat : 27719 (java) S 27709 27711 27662 0 -1 64 529 0 0 0 52 0 0 0 17 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27720] ppid=27709 vsize=1710724 CPUtime=0.47 /proc/27711/task/27720/stat : 27720 (java) S 27709 27711 27662 0 -1 64 545 0 0 0 47 0 0 0 16 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27721] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27721/stat : 27721 (java) S 27709 27711 27662 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=27711/tid=27722] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27722/stat : 27722 (java) S 27709 27711 27662 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 153068252 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27711/tid=27723] ppid=27709 vsize=1710724 CPUtime=0 /proc/27711/task/27723/stat : 27723 (java) S 27709 27711 27662 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 153068328 1751781376 108389 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (Kb) 1710724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 143 Real time (s): 1794.45 CPU time (s): 1800.9 CPU user time (s): 1799.92 CPU system time (s): 0.98185 CPU usage (%): 100.359 Max. virtual memory (cumulated for all children) (Kb): 1710724 The end
Begin job on node6 on Fri Jul 28 04:47:49 UTC 2006 FILE ID= 46393-1154062069 PBS_JOBID= 882270 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-25-20.opb COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46393-1154062069/instance-46393-1154062069.opb 483647460 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-46393-1154062069 -o ROOT/results/node6/solver-46393-1154062069 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node6/46393-1154062069/instance-46393-1154062069.opb 483647460 MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213 MD5SUM BENCH= 77884e60a57230c733c87356d8b29ff2 RANDOM SEED= 483647460 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: 628384 kB Buffers: 47120 kB Cached: 1284692 kB SwapCached: 3980 kB Active: 302880 kB Inactive: 1037888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 628384 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14828 kB Slab: 72860 kB Committed_AS: 575852 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 05:17:43 UTC 2006