0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2095093-1247406586.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.48/0.56 nbVariables=4250 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=8500
0.48/0.56 => wckTime=0.317 cpuTime=0.22 mem=18M651
0.48/0.56
0.48/0.56 predicates being loaded...
0.58/0.62
0.58/0.62 constraints being loaded...
15.09/15.21 nbConstraints=68413 nbGlobalConstraints=16 nbConvertedConstraints=68272 nbConvertConstraintsChecks=8
15.19/15.33 nbExtensionStructures=2 nbSharedExtensionStructures=68270 nbConflictsStructures=2
15.19/15.33 nbSharedConflictsStructures=68270 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5
15.19/15.33 nbEvaluationManagers=1 nbSharedEvaluationManagers=124 minDegree=3 maxDegree=78 minArity=2 avgArity=2.14
15.19/15.33 maxArity=500 nbGenerators=16 nbFusions=0 symmetryWckTime=5.179 symmetryCpuTime=2.04
15.19/15.33 => wckTime=14.967 cpuTime=10.52 mem=116M352
15.79/15.91
15.79/15.91 solver IterativeSystematicSolver being built...
15.89/16.04
15.89/16.04 INFO : Forward propagation technique limited
16.09/16.25 => wckTime=16.006 cpuTime=10.8 mem=137M84
16.18/16.39
16.18/16.39 preprocessing
16.18/16.39 nbConstraintChecks=2250 nbValidityChecks=2125 nbPropagations=4250 nbRevisions=2125 nbUselessRevisions=2125
16.18/16.39 nbRemovedValues=0 detectedInconsistency=no
16.18/16.39 => wckTime=0.129 cpuTime=0.11 mem=138M66
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095093-1247406586/watcher-2095093-1247406586 -o /tmp/evaluation-result-2095093-1247406586/solver-2095093-1247406586 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095093-1247406586.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.97 1.92 4/80 30168
/proc/meminfo: memFree=1763944/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=18576 CPUtime=0
/proc/30168/stat : 30168 (runsolver) R 30166 30168 29601 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 27723129 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30168/statm: 4644 284 249 26 0 2626 0
[startup+0.0937809 s]
/proc/loadavg: 1.85 1.97 1.92 4/80 30168
/proc/meminfo: memFree=1763944/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=865984 CPUtime=0.07
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 3729 0 1 0 6 1 0 0 18 0 9 0 27723129 886767616 3197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216496 3197 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984
[startup+0.102779 s]
/proc/loadavg: 1.85 1.97 1.92 4/80 30168
/proc/meminfo: memFree=1763944/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=865984 CPUtime=0.09
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 3851 0 1 0 7 2 0 0 18 0 9 0 27723129 886767616 3294 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216496 3294 1736 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301792 s]
/proc/loadavg: 1.85 1.97 1.92 4/80 30168
/proc/meminfo: memFree=1763944/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=866472 CPUtime=0.28
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 6007 0 1 0 25 3 0 0 18 0 9 0 27723129 887267328 5373 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216618 5377 1986 9 0 211076 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866472
[startup+0.701839 s]
/proc/loadavg: 1.85 1.97 1.92 4/80 30168
/proc/meminfo: memFree=1763944/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=867580 CPUtime=0.68
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 10703 0 1 0 62 6 0 0 18 0 9 0 27723129 888401920 10057 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216895 10057 2038 9 0 211331 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867580
[startup+1.50193 s]
/proc/loadavg: 1.85 1.97 1.92 3/89 30177
/proc/meminfo: memFree=1715104/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=867492 CPUtime=1.48
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 18969 0 1 0 137 11 0 0 18 0 9 0 27723129 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216873 18297 2027 9 0 211331 0
[pid=30168/tid=30170] ppid=30166 vsize=867492 CPUtime=1.21
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 15784 0 1 0 112 9 0 0 25 0 9 0 27723130 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=867492 CPUtime=0.07
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 1838 0 0 0 7 0 0 0 16 0 9 0 27723132 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 27723132 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 27723132 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27723134 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=867492 CPUtime=0.16
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 643 0 0 0 16 0 0 0 16 0 9 0 27723134 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27723134 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27723134 888311808 18297 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867492
[startup+3.10112 s]
/proc/loadavg: 1.85 1.97 1.92 4/89 30177
/proc/meminfo: memFree=1685536/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=867492 CPUtime=3.06
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 24831 0 1 0 292 14 0 0 18 0 9 0 27723129 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216873 24157 2027 9 0 211331 0
[pid=30168/tid=30170] ppid=30166 vsize=867492 CPUtime=2.52
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 15788 0 1 0 242 10 0 0 25 0 9 0 27723130 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4126410725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=867492 CPUtime=0.36
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 7695 0 0 0 33 3 0 0 17 0 9 0 27723132 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 27723132 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 27723132 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27723134 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=867492 CPUtime=0.16
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 644 0 0 0 16 0 0 0 16 0 9 0 27723134 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27723134 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27723134 888311808 24157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867492
[startup+6.3025 s]
/proc/loadavg: 1.94 1.98 1.93 3/89 30177
/proc/meminfo: memFree=1665632/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=867496 CPUtime=6.24
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 30247 0 1 0 507 117 0 0 18 0 9 0 27723129 888315904 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216873 29568 2032 9 0 211331 0
[pid=30168/tid=30170] ppid=30166 vsize=867496 CPUtime=5.33
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 15828 0 1 0 421 112 0 0 25 0 9 0 27723130 888315904 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=867492 CPUtime=0.68
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 13027 0 0 0 64 4 0 0 17 0 9 0 27723132 888311808 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=867496 CPUtime=0
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 16 0 0 0 0 0 0 0 17 0 9 0 27723132 888315904 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 27723132 888311808 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=867496 CPUtime=0
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27723134 888315904 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=867492 CPUtime=0.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 688 0 0 0 21 0 0 0 16 0 9 0 27723134 888311808 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=867496 CPUtime=0
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27723134 888315904 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=867492 CPUtime=0
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27723134 888311808 29568 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867496
[startup+12.7023 s]
/proc/loadavg: 1.95 1.98 1.93 3/91 30179
/proc/meminfo: memFree=1590232/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=867816 CPUtime=10.58
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 44810 0 1 0 784 274 0 0 18 0 10 0 27723129 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 216954 40858 2036 9 0 211412 0
[pid=30179] ppid=30168 vsize=24888 CPUtime=2.03
/proc/30179/stat : 30179 (saucy) R 30168 30168 29601 0 -1 4194304 4198 0 0 0 199 4 0 0 25 0 1 0 27724189 25485312 4096 996147200 134512640 134531332 4294956000 18446744073709551615 134521956 0 4 0 0 0 0 0 17 0 0 0
/proc/30179/statm: 6222 4096 104 4 0 5898 0
[pid=30168/tid=30170] ppid=30166 vsize=867816 CPUtime=9.07
/proc/30168/task/30170/stat : 30170 (java) S 30166 30168 29601 0 -1 64 18928 0 1 0 644 263 0 0 15 0 10 0 27723130 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30168/tid=30171] ppid=30166 vsize=867816 CPUtime=1.23
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 24354 0 0 0 114 9 0 0 16 0 10 0 27723132 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=867816 CPUtime=0
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 16 0 0 0 0 0 0 0 17 0 10 0 27723132 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=867816 CPUtime=0
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 27723132 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=867816 CPUtime=0
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 0 0 0 0 0 0 0 18 0 10 0 27723134 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=867816 CPUtime=0.24
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 749 0 0 0 24 0 0 0 15 0 10 0 27723134 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30168/tid=30176] ppid=30166 vsize=867816 CPUtime=0
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 27723134 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=867816 CPUtime=0
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 8 0 0 0 0 0 0 0 15 0 10 0 27723134 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30178] ppid=30166 vsize=867816 CPUtime=0
/proc/30168/task/30178/stat : 30178 (java) S 30166 30168 29601 0 -1 64 68 0 0 0 0 0 0 0 18 0 10 0 27724189 888643584 40858 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 892704
[startup+25.5028 s]
/proc/loadavg: 2.03 2.00 1.93 3/89 30181
/proc/meminfo: memFree=1597912/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=25.34
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88058 4922 1 0 1968 286 274 6 18 0 9 0 27723129 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43883 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=22.91
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39310 4922 1 0 1742 269 274 6 25 0 9 0 27723130 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4127457644 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.2
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1118 4922 0 0 40 0 274 6 15 0 9 0 27723134 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868228
[startup+51.1028 s]
/proc/loadavg: 2.02 2.00 1.93 3/89 30181
/proc/meminfo: memFree=1597848/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=50.82
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88061 4922 1 0 4516 286 274 6 18 0 9 0 27723129 889065472 43884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43884 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=48.39
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39312 4922 1 0 4290 269 274 6 25 0 9 0 27723130 889065472 43884 996147200 134512640 134550932 4294955968 18446744073709551615 4127461779 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
################
# More data... #
################
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1122 4922 0 0 40 1 274 6 16 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.11
Current children cumulated vsize (KiB) 868228
[startup+1542.3 s]
/proc/loadavg: 2.17 2.11 2.00 3/89 30189
/proc/meminfo: memFree=1596696/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=1534.82
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88069 4922 1 0 152914 288 274 6 18 0 9 0 27723129 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43887 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=1532.38
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39317 4922 1 0 152687 271 274 6 25 0 9 0 27723130 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4127406803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1122 4922 0 0 40 1 274 6 16 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1534.82
Current children cumulated vsize (KiB) 868228
[startup+1602.3 s]
/proc/loadavg: 2.27 2.14 2.01 3/89 30189
/proc/meminfo: memFree=1596696/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=1594.53
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88069 4922 1 0 158885 288 274 6 18 0 9 0 27723129 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43887 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=1592.1
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39317 4922 1 0 158659 271 274 6 25 0 9 0 27723130 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4127457644 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1122 4922 0 0 40 1 274 6 16 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.53
Current children cumulated vsize (KiB) 868228
[startup+1662.3 s]
/proc/loadavg: 2.15 2.12 2.01 3/89 30189
/proc/meminfo: memFree=1596696/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=1654.24
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88069 4922 1 0 164856 288 274 6 18 0 9 0 27723129 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43887 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=1651.81
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39317 4922 1 0 164630 271 274 6 25 0 9 0 27723130 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4127180359 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1122 4922 0 0 40 1 274 6 16 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.24
Current children cumulated vsize (KiB) 868228
[startup+1722.3 s]
/proc/loadavg: 2.41 2.20 2.04 3/89 30189
/proc/meminfo: memFree=1596696/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=1713.95
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88069 4922 1 0 170827 288 274 6 18 0 9 0 27723129 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43887 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=1711.52
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39317 4922 1 0 170600 272 274 6 25 0 9 0 27723130 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4127422378 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1122 4922 0 0 40 1 274 6 16 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.95
Current children cumulated vsize (KiB) 868228
[startup+1782.3 s]
/proc/loadavg: 2.38 2.23 2.06 3/89 30189
/proc/meminfo: memFree=1596632/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=1773.67
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88069 4922 1 0 176798 289 274 6 18 0 9 0 27723129 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43887 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=1771.23
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39317 4922 1 0 176571 272 274 6 25 0 9 0 27723130 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4127443512 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1122 4922 0 0 40 1 274 6 16 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.67
Current children cumulated vsize (KiB) 868228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.8 s]
/proc/loadavg: 2.33 2.22 2.06 3/89 30230
/proc/meminfo: memFree=1601416/2055920 swapFree=4192812/4192956
[pid=30168] ppid=30166 vsize=868228 CPUtime=1800.05
/proc/30168/stat : 30168 (java) S 30166 30168 29601 0 -1 0 88069 4922 1 0 179436 289 274 6 18 0 9 0 27723129 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30168/statm: 217057 43887 2663 9 0 211493 0
[pid=30168/tid=30170] ppid=30166 vsize=868228 CPUtime=1797.62
/proc/30168/task/30170/stat : 30170 (java) R 30166 30168 29601 0 -1 64 39317 4922 1 0 179210 272 274 6 25 0 9 0 27723130 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4127461751 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30171] ppid=30166 vsize=868228 CPUtime=4.78
/proc/30168/task/30171/stat : 30171 (java) S 30166 30168 29601 0 -1 64 46775 4922 0 0 185 13 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30172] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30172/stat : 30172 (java) S 30166 30168 29601 0 -1 64 24 4922 0 0 0 0 274 6 16 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30173] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30173/stat : 30173 (java) S 30166 30168 29601 0 -1 64 15 4922 0 0 0 0 274 6 17 0 9 0 27723132 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30174] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30174/stat : 30174 (java) S 30166 30168 29601 0 -1 64 2 4922 0 0 0 0 274 6 18 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30175] ppid=30166 vsize=868228 CPUtime=3.21
/proc/30168/task/30175/stat : 30175 (java) S 30166 30168 29601 0 -1 64 1122 4922 0 0 40 1 274 6 16 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30176] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30176/stat : 30176 (java) S 30166 30168 29601 0 -1 64 1 4922 0 0 0 0 274 6 19 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30168/tid=30177] ppid=30166 vsize=868228 CPUtime=2.8
/proc/30168/task/30177/stat : 30177 (java) S 30166 30168 29601 0 -1 64 12 4922 0 0 0 0 274 6 15 0 9 0 27723134 889065472 43887 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 868228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1808.86
CPU time (s): 1800.12
CPU user time (s): 1797.14
CPU system time (s): 2.98055
CPU usage (%): 99.5168
Max. virtual memory (cumulated for all children) (KiB): 894420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.14
system time used= 2.98055
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93020
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39176
involuntary context switches= 66050
runsolver used 1.78173 second user time and 4.92125 second system time
The end
Begin job on node75 at 2009-07-12 15:49:47
IDJOB=2095093
IDBENCH=54865
IDSOLVER=773
FILE ID=node75/2095093-1247406586
PBS_JOBID= 9510500
Free space on /tmp= 66308 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/primesDimacs/normalized-g-125-17.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095093-1247406586/watcher-2095093-1247406586 -o /tmp/evaluation-result-2095093-1247406586/solver-2095093-1247406586 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095093-1247406586.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 28adb903193f339f0a75306072f25750
RANDOM SEED=1521477312
node75.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1764424 kB
Buffers: 36112 kB
Cached: 133888 kB
SwapCached: 0 kB
Active: 166508 kB
Inactive: 71440 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1764424 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 13320 kB
Writeback: 0 kB
Mapped: 88356 kB
Slab: 38724 kB
Committed_AS: 1035616 kB
PageTables: 1924 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66308 MiB
End job on node75 at 2009-07-12 16:19:58