0.06/0.08
0.06/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.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-2093283-1247401155.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.38/0.40 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3554
0.38/0.40 => wckTime=0.162 cpuTime=0.13 mem=8M867
0.38/0.40
0.38/0.40 relations being loaded...
0.38/0.42
0.38/0.42 constraints being loaded...
0.98/1.03 nbConstraints=5116 nbRelationTypes=21 nbGlobalConstraints=24 nbSingletonDomainVariables=234
0.98/1.03 nbExtensionStructures=41 nbSharedExtensionStructures=5051 nbConflictsStructures=41
0.98/1.03 nbSharedConflictsStructures=5051 nbSharedBinaryRepresentations=858 minDegree=16 maxDegree=39 minArity=2
0.98/1.03 avgArity=2.03 maxArity=10 nbGenerators=0 nbFusions=0 symmetryWckTime=0.246 symmetryCpuTime=0.14 nbCliques=24
0.98/1.03 => wckTime=0.787 cpuTime=0.52 mem=40M133
1.07/1.14
1.07/1.14 solver IterativeSystematicSolver being built...
1.17/1.21
1.17/1.21 INFO : Forward propagation technique limited
1.17/1.29 => wckTime=1.045 cpuTime=0.65 mem=26M98
1.27/1.33
1.27/1.33 preprocessing
1.27/1.33 nbConstraintChecks=42214 nbPropagations=400 nbRevisions=3876 nbUselessRevisions=1222 nbRemovedValues=2654
1.27/1.33 detectedInconsistency=no
1.27/1.33 => wckTime=0.046 cpuTime=0.03 mem=26M98
1.57/1.61
1.57/1.61 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M14)
78.43/78.51
78.43/78.51 search
78.43/78.51 run=19 nbConstraintChecks=71359962 minDepth=38 maxDepth=400 nbPropagations=9198313 nbRevisions=186620850
78.43/78.51 nbUselessRevisions=171013524 nbAssignments=272925 nbFailedAssignments=44321 nbBacktracks=227204
78.43/78.51 nbVisitedNodes=359582 nbRestartNogoods=130 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=234
78.43/78.51 nbIEliminables=138.28 nbDEliminables=0 nbPEliminables=0
78.43/78.51 => wckTime=77.217 cpuTime=77.06 mem=29M950
78.43/78.51
78.43/78.51 global
78.43/78.51 nbConstraintChecks=71402176 nbPropagations=9198713 nbRevisions=186624726 nbUselessRevisions=171014746
78.43/78.51 nbRestartNogoods=130 solvingWckTime=77.219 solvingCpuTime=77.06 expiredTime=no totalExploration=no
78.43/78.51 nbFoundSolutions=1 firstSolutionCpuTime=77.7 globalCpuTime=77.75
78.43/78.51 => wckTime=78.267 cpuTime=77.71 mem=29M950
78.43/78.51
78.43/78.51 s SATISFIABLE
78.43/78.51 v 13 8 17 18 7 1 10 5 15 11 4 19 14 3 2 9 16 0 6 12 12 15 18 13 16 5 6 0 9 19 8 4 17 14 7 11 10 2 3 1 5 0 13 11 8 9 15 1 7 6 10 16 19 12 14 17 4 18 2 3 18 5 6 0 19 4 12 11 3 14 15 10 7 13 9 2 1 16 8 17 6 11 7 3 10 17 14 16 8 13 2 12 0 19 5 15 9 1 4 18 19 6 3 16 14 10 1 17 13 9 11 5 2 15 0 18 8 12 7 4 3 19 0 1 4 13 16 14 6 2 12 9 15 18 17 5 11 7 10 8 7 2 11 4 1 0 3 18 19 8 9 17 12 5 16 13 15 6 14 10 9 16 10 2 18 7 0 8 5 3 14 6 1 17 19 4 13 15 12 11 10 17 8 5 11 12 9 19 1 15 3 14 13 6 18 7 2 4 0 16 16 10 19 8 12 15 5 13 18 17 7 11 9 2 4 0 3 14 1 6 15 18 9 7 13 6 8 4 12 16 1 2 10 0 11 19 17 3 5 14 8 9 2 15 6 16 13 3 0 4 17 7 18 10 1 12 14 11 19 5 0 3 4 19 5 14 17 2 11 10 13 15 6 8 12 1 18 9 16 7 14 1 15 10 9 2 18 12 17 7 5 13 4 16 3 8 6 19 11 0 11 14 5 12 2 19 4 6 16 0 18 1 3 9 8 10 7 17 15 13 17 12 1 14 0 8 7 15 2 18 19 3 11 4 6 16 5 10 13 9 2 7 12 17 15 3 11 9 4 5 6 8 16 1 10 14 0 13 18 19 1 4 16 9 3 11 2 10 14 12 0 18 5 7 13 6 19 8 17 15 4 13 14 6 17 18 19 7 10 1 16 0 8 11 15 3 12 5 9 2
78.43/78.51 d NODES 272925
78.43/78.51 d CHECKS 71402176
78.43/78.51
78.43/78.51 totalWckTime=78.334 totalCpuTime=77.76
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093283-1247401155/watcher-2093283-1247401155 -o /tmp/evaluation-result-2093283-1247401155/solver-2093283-1247401155 -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-2093283-1247401155.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: 0.39 0.09 0.10 4/80 712
/proc/meminfo: memFree=1784576/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=152 CPUtime=0
/proc/712/stat : 712 (java) R 710 712 569 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27182974 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 7893796 0 0 4096 0 0 0 0 17 0 0 0
/proc/712/statm: 50 33 26 9 0 4 0
[startup+0.0820669 s]
/proc/loadavg: 0.39 0.09 0.10 4/80 712
/proc/meminfo: memFree=1784576/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=865952 CPUtime=0.06
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 3623 0 1 0 5 1 0 0 18 0 9 0 27182974 886734848 3106 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216488 3106 1657 9 0 210980 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865952
[startup+0.101109 s]
/proc/loadavg: 0.39 0.09 0.10 4/80 712
/proc/meminfo: memFree=1784576/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=865980 CPUtime=0.09
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 3803 0 1 0 7 2 0 0 18 0 9 0 27182974 886763520 3254 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216495 3254 1718 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301144 s]
/proc/loadavg: 0.39 0.09 0.10 4/80 712
/proc/meminfo: memFree=1784576/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=866380 CPUtime=0.29
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 6041 0 1 0 25 4 0 0 18 0 9 0 27182974 887173120 5408 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216595 5416 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701222 s]
/proc/loadavg: 0.39 0.09 0.10 4/80 712
/proc/meminfo: memFree=1784576/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867532 CPUtime=0.68
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 10178 0 1 0 62 6 0 0 18 0 9 0 27182974 888352768 9531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216883 9534 2013 9 0 211341 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867532
[startup+1.50234 s]
/proc/loadavg: 0.39 0.09 0.10 4/89 725
/proc/meminfo: memFree=1737784/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867944 CPUtime=1.47
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 25378 539 1 0 130 12 5 0 18 0 9 0 27182974 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216986 16125 2657 9 0 211422 0
[pid=712/tid=714] ppid=710 vsize=867944 CPUtime=1.05
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 19198 539 1 0 91 9 5 0 25 0 9 0 27182975 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4127126059 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867944 CPUtime=0.14
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 4442 539 0 0 9 0 5 0 17 0 9 0 27182976 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867944 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867944 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 8 539 0 0 0 0 5 0 16 0 9 0 27182976 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867944 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867944 CPUtime=0.34
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 895 539 0 0 29 0 5 0 15 0 9 0 27182978 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867944 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867944 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 16 539 0 0 0 0 5 0 15 0 9 0 27182978 888774656 16125 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867944
[startup+3.10265 s]
/proc/loadavg: 0.39 0.09 0.10 3/89 725
/proc/meminfo: memFree=1730168/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=868076 CPUtime=3.07
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 25407 539 1 0 290 12 5 0 18 0 9 0 27182974 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 217019 16149 2657 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=868076 CPUtime=2.61
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 19203 539 1 0 247 9 5 0 25 0 9 0 27182975 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4127184865 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=868076 CPUtime=0.14
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 4442 539 0 0 9 0 5 0 17 0 9 0 27182976 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 8 539 0 0 0 0 5 0 16 0 9 0 27182976 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=868076 CPUtime=0.37
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 919 539 0 0 32 0 5 0 16 0 9 0 27182978 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 16 539 0 0 0 0 5 0 15 0 9 0 27182978 888909824 16149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 868076
[startup+6.30129 s]
/proc/loadavg: 0.52 0.13 0.11 3/89 725
/proc/meminfo: memFree=1729848/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=868076 CPUtime=6.26
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 26605 539 1 0 609 12 5 0 18 0 9 0 27182974 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 217019 16152 2657 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=868076 CPUtime=5.81
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 20373 539 1 0 566 10 5 0 25 0 9 0 27182975 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4127127235 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=868076 CPUtime=0.14
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 4442 539 0 0 9 0 5 0 16 0 9 0 27182976 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 8 539 0 0 0 0 5 0 16 0 9 0 27182976 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=868076 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 923 539 0 0 33 0 5 0 15 0 9 0 27182978 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888909824 16152 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 868076
[startup+12.7025 s]
/proc/loadavg: 0.72 0.17 0.12 3/89 725
/proc/meminfo: memFree=1720568/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=868076 CPUtime=12.65
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 30111 539 1 0 1246 14 5 0 18 0 9 0 27182974 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 217019 18861 2657 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=868076 CPUtime=12.21
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23879 539 1 0 1204 12 5 0 25 0 9 0 27182975 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4127125164 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=868076 CPUtime=0.14
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 4442 539 0 0 9 0 5 0 16 0 9 0 27182976 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 8 539 0 0 0 0 5 0 16 0 9 0 27182976 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=868076 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 923 539 0 0 33 0 5 0 15 0 9 0 27182978 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=868076 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888909824 18861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 868076
[startup+25.5019 s]
/proc/loadavg: 1.00 0.26 0.15 3/89 725
/proc/meminfo: memFree=1714296/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=25.45
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 31232 539 1 0 2525 15 5 0 18 0 9 0 27182974 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 19952 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=24.99
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23932 539 1 0 2482 12 5 0 25 0 9 0 27182975 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4127204710 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.16
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 5509 539 0 0 10 1 5 0 16 0 9 0 27182976 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 923 539 0 0 33 0 5 0 15 0 9 0 27182978 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 19952 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 867988
[startup+51.1018 s]
/proc/loadavg: 1.34 0.40 0.20 3/89 725
/proc/meminfo: memFree=1709944/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=51.04
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32302 539 1 0 5084 15 5 0 18 0 9 0 27182974 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21018 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=50.56
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23935 539 1 0 5039 12 5 0 25 0 9 0 27182975 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4127206374 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6575 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32302 539 1 0 6363 15 5 0 18 0 9 0 27182974 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21018 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=63.35
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23935 539 1 0 6318 12 5 0 25 0 9 0 27182975 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4127135464 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6575 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.83
Current children cumulated vsize (KiB) 867988
[startup+70.3015 s]
/proc/loadavg: 1.60 0.52 0.24 3/89 725
/proc/meminfo: memFree=1709944/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=70.24
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32302 539 1 0 7003 16 5 0 18 0 9 0 27182974 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21018 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=69.75
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23935 539 1 0 6958 12 5 0 25 0 9 0 27182975 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4127188009 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6575 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 21018 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.24
Current children cumulated vsize (KiB) 867988
[startup+73.5021 s]
/proc/loadavg: 1.60 0.52 0.24 3/89 725
/proc/meminfo: memFree=1709944/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=73.43
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32304 539 1 0 7322 16 5 0 18 0 9 0 27182974 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21019 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=72.94
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23936 539 1 0 7277 12 5 0 25 0 9 0 27182975 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4127127260 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6576 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 73.43
Current children cumulated vsize (KiB) 867988
[startup+76.7018 s]
/proc/loadavg: 1.63 0.54 0.25 3/89 725
/proc/meminfo: memFree=1709944/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=76.63
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32304 539 1 0 7642 16 5 0 18 0 9 0 27182974 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21019 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=76.14
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23936 539 1 0 7597 12 5 0 25 0 9 0 27182975 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4127127235 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6576 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.63
Current children cumulated vsize (KiB) 867988
[startup+77.5029 s]
/proc/loadavg: 1.63 0.54 0.25 3/89 725
/proc/meminfo: memFree=1709944/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=77.43
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32304 539 1 0 7722 16 5 0 18 0 9 0 27182974 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21019 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=76.94
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23936 539 1 0 7677 12 5 0 25 0 9 0 27182975 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4126383703 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6576 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 77.43
Current children cumulated vsize (KiB) 867988
[startup+78.3021 s]
/proc/loadavg: 1.63 0.54 0.25 3/89 725
/proc/meminfo: memFree=1709944/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=78.23
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32304 539 1 0 7802 16 5 0 18 0 9 0 27182974 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21019 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=77.74
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23936 539 1 0 7757 12 5 0 25 0 9 0 27182975 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4126095869 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6576 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 21019 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 78.23
Current children cumulated vsize (KiB) 867988
[startup+78.5021 s]
/proc/loadavg: 1.63 0.54 0.25 3/89 725
/proc/meminfo: memFree=1709944/2055920 swapFree=4192812/4192956
[pid=712] ppid=710 vsize=867988 CPUtime=78.43
/proc/712/stat : 712 (java) S 710 712 569 0 -1 0 32308 539 1 0 7822 16 5 0 18 0 9 0 27182974 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/712/statm: 216997 21021 2638 9 0 211455 0
[pid=712/tid=714] ppid=710 vsize=867988 CPUtime=77.94
/proc/712/task/714/stat : 714 (java) R 710 712 569 0 -1 64 23940 539 1 0 7777 12 5 0 25 0 9 0 27182975 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4125965780 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=715] ppid=710 vsize=867988 CPUtime=0.17
/proc/712/task/715/stat : 715 (java) S 710 712 569 0 -1 64 6576 539 0 0 11 1 5 0 16 0 9 0 27182976 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=716] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/716/stat : 716 (java) S 710 712 569 0 -1 64 17 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=717] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/717/stat : 717 (java) S 710 712 569 0 -1 64 9 539 0 0 0 0 5 0 16 0 9 0 27182976 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=718] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/718/stat : 718 (java) S 710 712 569 0 -1 64 2 539 0 0 0 0 5 0 24 0 9 0 27182978 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=719] ppid=710 vsize=867988 CPUtime=0.38
/proc/712/task/719/stat : 719 (java) S 710 712 569 0 -1 64 924 539 0 0 33 0 5 0 16 0 9 0 27182978 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=720] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/720/stat : 720 (java) S 710 712 569 0 -1 64 1 539 0 0 0 0 5 0 25 0 9 0 27182978 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=712/tid=721] ppid=710 vsize=867988 CPUtime=0.05
/proc/712/task/721/stat : 721 (java) S 710 712 569 0 -1 64 40 539 0 0 0 0 5 0 15 0 9 0 27182978 888819712 21021 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 78.43
Current children cumulated vsize (KiB) 867988
Child status: 0
Real time (s): 78.5576
CPU time (s): 78.4801
CPU user time (s): 78.2951
CPU system time (s): 0.184971
CPU usage (%): 99.9014
Max. virtual memory (cumulated for all children) (KiB): 868076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.2951
system time used= 0.184971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32877
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= 3308
involuntary context switches= 5206
runsolver used 0.097985 second user time and 0.270958 second system time
The end
Begin job on node5 at 2009-07-12 14:19:15
IDJOB=2093283
IDBENCH=53495
IDSOLVER=773
FILE ID=node5/2093283-1247401155
PBS_JOBID= 9510634
Free space on /tmp= 66440 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QWH-20/normalized-qwh-20-166-8_ext.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-2093283-1247401155/watcher-2093283-1247401155 -o /tmp/evaluation-result-2093283-1247401155/solver-2093283-1247401155 -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-2093283-1247401155.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 97207bee703f608d4151d78704fdd40e
RANDOM SEED=1890575896
node5.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.258
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.258
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1785056 kB
Buffers: 45988 kB
Cached: 120000 kB
SwapCached: 0 kB
Active: 144032 kB
Inactive: 71908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5060 kB
Writeback: 0 kB
Mapped: 70280 kB
Slab: 40104 kB
Committed_AS: 1024564 kB
PageTables: 1860 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= 66436 MiB
End job on node5 at 2009-07-12 14:20:34