0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1057643-1215111336.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.38/0.42 nbVariables=168 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=840
0.38/0.42 => wckTime=0.181 cpuTime=0.14 mem=7M919
0.38/0.42
0.38/0.42 predicates being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
1.65/1.71 nbConstraints=105 nbGlobalConstraints=24 nbDisconnectedVariables=25 nbConflictsStructures=1
1.65/1.71 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=80 nbSharedBinaryRepresentations=0
1.65/1.71 nbEvaluationManagers=81 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=10 minArity=2 avgArity=9.8
1.65/1.71 maxArity=20 nbGenerators=24 nbFusions=0 symmetryWckTime=0.084 symmetryCpuTime=0.04
1.65/1.71 => wckTime=1.472 cpuTime=1.25 mem=30M701
1.65/1.77
1.65/1.77 solver IterativeSystematicSolver being built...
1.75/1.86
1.75/1.86 INFO : Forward propagation technique limited
1.85/1.93 => wckTime=1.697 cpuTime=1.4 mem=22M694
7.10/7.24
7.10/7.24 preprocessing
7.10/7.24 nbConstraintChecks=2964937 nbValidityChecks=15691 nbPropagations=505 nbRevisions=4070 nbUselessRevisions=3953
7.10/7.24 nbSingletonTests=236 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
7.10/7.24 detectedInconsistency=no
7.10/7.24 => wckTime=5.298 cpuTime=5.22 mem=23M657
40.58/41.06
40.58/41.06 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M638)
1147.50/1157.51
1147.50/1157.51 search
1147.50/1157.52 run=12 nbConstraintChecks=454213964 nbValidityChecks=1751198 minDepth=15 maxDepth=168 nbPropagations=99722
1147.50/1157.52 nbRevisions=1625968 nbUselessRevisions=1494807 nbAssignments=7018 nbFailedAssignments=2885
1147.50/1157.52 nbInferredBacktracks=87 nbBacktracks=3564 nbVisitedNodes=11127 nbRestartNogoods=111 nbFoundSolutions=1
1147.50/1157.52 nbSEliminables=0 nbREliminables=120.7 nbIEliminables=23.58 nbDEliminables=0 nbPEliminables=0
1147.50/1157.52 => wckTime=1155.577 cpuTime=1145.52 mem=24M638
1147.50/1157.52
1147.50/1157.52 global
1147.50/1157.52 nbConstraintChecks=457178901 nbValidityChecks=1766889 nbPropagations=100227 nbRevisions=1630038
1147.50/1157.52 nbUselessRevisions=1498760 nbRestartNogoods=111 solvingWckTime=1155.581 solvingCpuTime=1145.52 expiredTime=no
1147.50/1157.52 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=1146.92 globalCpuTime=1146.96
1147.50/1157.52 => wckTime=1157.28 cpuTime=1146.92 mem=24M638
1147.50/1157.52
1147.50/1157.52 s SATISFIABLE
1147.50/1157.52 v 0 2 0 0 2 0 0 0 0 3 4 0 1 1 0 4 0 0 1 3 0 0 2 2 1 0 0 0 3 4 1 3 0 3 3 0 2 2 4 0 2 2 0 0 0 0 2 3 2 4 0 0 2 3 2 1 2 1 3 2 2 0 0 3 4 0 0 0 3 3 0 0 2 0 3 0 2 3 2 0 0 4 3 2 3 4 0 3 0 0 1 0 0 2 0 0 0 0 3 0 0 0 2 0 4 2 2 1 0 0 2 2 2 0 2 0 1 0 2 0 2 0 0 2 3 2 3 0 0 0 0 0 4 0 4 1 2 1 0 3 2 1 0 1 0 2 2 0 2 0 2 0 0 0 1 3 0 3 0 0 2 0 0 2 0 0 0 0
1147.50/1157.52 d NODES 7018
1147.50/1157.52 d CHECKS 457178901
1147.50/1157.52
1147.50/1157.52 totalWckTime=1157.336 totalCpuTime=1146.97
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057643-1215111336/watcher-1057643-1215111336 -o /tmp/evaluation-result-1057643-1215111336/solver-1057643-1215111336 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1057643-1215111336.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 2.00 1.94 4/80 24223
/proc/meminfo: memFree=1584296/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=152 CPUtime=0
/proc/24223/stat : 24223 (java) D 24221 24223 23716 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 1990107689 155648 26 996147200 134512640 134550740 4294956144 18446744073709551615 10027812 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/24223/statm: 38 26 19 9 0 4 0
[startup+0.044015 s]
/proc/loadavg: 1.91 2.00 1.94 4/80 24223
/proc/meminfo: memFree=1584296/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=861876 CPUtime=0.03
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 2251 0 1 0 2 1 0 0 18 0 5 0 1990107689 882561024 1862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.101588 s]
/proc/loadavg: 1.91 2.00 1.94 4/80 24223
/proc/meminfo: memFree=1584296/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=865884 CPUtime=0.08
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 3719 0 1 0 7 1 0 0 18 0 9 0 1990107689 886665216 3182 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216471 3182 1686 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301606 s]
/proc/loadavg: 1.91 2.00 1.94 4/80 24223
/proc/meminfo: memFree=1584296/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=866196 CPUtime=0.28
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 5575 0 1 0 26 2 0 0 18 0 9 0 1990107689 886984704 4998 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216549 4998 1884 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701641 s]
/proc/loadavg: 1.91 2.00 1.94 4/80 24223
/proc/meminfo: memFree=1584296/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867064 CPUtime=0.68
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 9861 0 1 0 63 5 0 0 18 0 9 0 1990107689 887873536 9221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216766 9221 2009 9 0 211272 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867064
[startup+1.50272 s]
/proc/loadavg: 1.91 2.00 1.94 3/89 24232
/proc/meminfo: memFree=1540832/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867108 CPUtime=1.47
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 17293 0 1 0 137 10 0 0 18 0 9 0 1990107689 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216777 16628 2003 9 0 211305 0
[pid=24223/tid=24225] ppid=24221 vsize=867108 CPUtime=1.29
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 15775 0 1 0 120 9 0 0 25 0 9 0 1990107690 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 104454657 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867108 CPUtime=0.01
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 304 0 0 0 1 0 0 0 16 0 9 0 1990107692 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867108 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990107692 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867108 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990107692 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867108 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990107694 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867108 CPUtime=0.15
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 518 0 0 0 15 0 0 0 16 0 9 0 1990107694 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867108 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1990107694 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867108 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990107694 887918592 16628 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867108
[startup+3.10285 s]
/proc/loadavg: 1.92 2.00 1.94 3/89 24236
/proc/meminfo: memFree=1522528/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=3.04
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26226 303 1 0 291 13 0 0 18 0 9 0 1990107689 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17952 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=2.73
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 21757 303 1 0 263 10 0 0 25 0 9 0 1990107690 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4126707393 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 17 0 9 0 1990107692 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.21
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 736 303 0 0 21 0 0 0 16 0 9 0 1990107694 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 6 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17952 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867844
[startup+6.30114 s]
/proc/loadavg: 1.92 2.00 1.94 3/89 24236
/proc/meminfo: memFree=1522336/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=6.21
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26257 303 1 0 608 13 0 0 18 0 9 0 1990107689 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17954 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=5.89
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 21758 303 1 0 579 10 0 0 25 0 9 0 1990107690 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4126704548 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 17 0 9 0 1990107692 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.22
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 754 303 0 0 22 0 0 0 15 0 9 0 1990107694 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17954 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867844
[startup+12.7027 s]
/proc/loadavg: 1.93 2.00 1.94 3/89 24236
/proc/meminfo: memFree=1522080/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=12.55
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26520 303 1 0 1242 13 0 0 18 0 9 0 1990107689 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17965 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=12.22
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22005 303 1 0 1212 10 0 0 25 0 9 0 1990107690 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4126711543 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.23
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 770 303 0 0 23 0 0 0 15 0 9 0 1990107694 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17965 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867844
[startup+25.5019 s]
/proc/loadavg: 1.94 2.00 1.94 3/89 24236
/proc/meminfo: memFree=1522016/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=25.23
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26542 303 1 0 2510 13 0 0 18 0 9 0 1990107689 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17969 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=24.89
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22009 303 1 0 2479 10 0 0 25 0 9 0 1990107690 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4126710340 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.24
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 788 303 0 0 24 0 0 0 15 0 9 0 1990107694 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867844
[startup+51.1012 s]
/proc/loadavg: 1.96 2.00 1.94 3/89 24236
/proc/meminfo: memFree=1521952/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=50.61
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26576 303 1 0 5047 14 0 0 18 0 9 0 1990107689 888672256 17977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17977 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=50.25
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22030 303 1 0 5014 11 0 0 25 0 9 0 1990107690 888672256 17977 996147200 134512640 134550740 4294955968 18446744073709551615 4126704553 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.26
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 801 303 0 0 26 0 0 0 16 0 9 0 1990107694 888672256 17977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
################
# More data... #
################
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26612 303 1 0 112907 20 0 0 18 0 9 0 1990107689 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17993 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=1128.87
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22039 303 1 0 112871 16 0 0 25 0 9 0 1990107690 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4126705888 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.29
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 828 303 0 0 29 0 0 0 16 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1129.27
Current children cumulated vsize (KiB) 867844
[startup+1145.5 s]
/proc/loadavg: 2.00 2.01 1.97 3/89 24242
/proc/meminfo: memFree=1521120/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=1135.61
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26612 303 1 0 113541 20 0 0 18 0 9 0 1990107689 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17993 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=1135.21
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22039 303 1 0 113505 16 0 0 25 0 9 0 1990107690 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4126707428 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.29
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 828 303 0 0 29 0 0 0 16 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1135.61
Current children cumulated vsize (KiB) 867844
[startup+1151.9 s]
/proc/loadavg: 2.00 2.01 1.97 3/89 24242
/proc/meminfo: memFree=1521120/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=1141.95
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26614 303 1 0 114175 20 0 0 18 0 9 0 1990107689 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17993 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=1141.56
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22041 303 1 0 114139 17 0 0 25 0 9 0 1990107690 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4126709111 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.29
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 828 303 0 0 29 0 0 0 16 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1141.95
Current children cumulated vsize (KiB) 867844
[startup+1155.1 s]
/proc/loadavg: 2.00 2.01 1.97 3/89 24242
/proc/meminfo: memFree=1521120/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=1145.12
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26614 303 1 0 114492 20 0 0 18 0 9 0 1990107689 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17993 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=1144.73
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22041 303 1 0 114456 17 0 0 25 0 9 0 1990107690 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4126711561 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.29
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 828 303 0 0 29 0 0 0 16 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1145.12
Current children cumulated vsize (KiB) 867844
[startup+1156.7 s]
/proc/loadavg: 2.00 2.01 1.97 3/89 24242
/proc/meminfo: memFree=1521120/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=1146.71
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26614 303 1 0 114651 20 0 0 18 0 9 0 1990107689 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17993 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=1146.32
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22041 303 1 0 114615 17 0 0 25 0 9 0 1990107690 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4126520004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.29
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 828 303 0 0 29 0 0 0 16 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1146.71
Current children cumulated vsize (KiB) 867844
[startup+1157.1 s]
/proc/loadavg: 2.00 2.01 1.97 5/89 24242
/proc/meminfo: memFree=1521120/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=1147.11
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26614 303 1 0 114691 20 0 0 18 0 9 0 1990107689 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17993 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=1146.72
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22041 303 1 0 114655 17 0 0 25 0 9 0 1990107690 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4126710256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.29
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 828 303 0 0 29 0 0 0 16 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) R 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1147.11
Current children cumulated vsize (KiB) 867844
[startup+1157.5 s]
/proc/loadavg: 2.00 2.01 1.97 5/89 24242
/proc/meminfo: memFree=1521120/2055920 swapFree=4180084/4192956
[pid=24223] ppid=24221 vsize=867844 CPUtime=1147.5
/proc/24223/stat : 24223 (java) S 24221 24223 23716 0 -1 0 26614 303 1 0 114730 20 0 0 18 0 9 0 1990107689 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24223/statm: 216961 17993 2637 9 0 211467 0
[pid=24223/tid=24225] ppid=24221 vsize=867844 CPUtime=1147.11
/proc/24223/task/24225/stat : 24225 (java) R 24221 24223 23716 0 -1 64 22041 303 1 0 114694 17 0 0 25 0 9 0 1990107690 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4126709153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24226] ppid=24221 vsize=867844 CPUtime=0.06
/proc/24223/task/24226/stat : 24226 (java) S 24221 24223 23716 0 -1 64 2890 303 0 0 6 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24227] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24227/stat : 24227 (java) S 24221 24223 23716 0 -1 64 17 303 0 0 0 0 0 0 16 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24228] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24228/stat : 24228 (java) S 24221 24223 23716 0 -1 64 9 303 0 0 0 0 0 0 15 0 9 0 1990107692 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24229] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24229/stat : 24229 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24230] ppid=24221 vsize=867844 CPUtime=0.29
/proc/24223/task/24230/stat : 24230 (java) S 24221 24223 23716 0 -1 64 828 303 0 0 29 0 0 0 16 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24231] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24231/stat : 24231 (java) S 24221 24223 23716 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24223/tid=24232] ppid=24221 vsize=867844 CPUtime=0
/proc/24223/task/24232/stat : 24232 (java) S 24221 24223 23716 0 -1 64 18 303 0 0 0 0 0 0 15 0 9 0 1990107694 888672256 17993 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1147.5
Current children cumulated vsize (KiB) 867844
Child status: 0
Real time (s): 1157.59
CPU time (s): 1147.56
CPU user time (s): 1147.34
CPU system time (s): 0.228965
CPU usage (%): 99.1342
Max. virtual memory (cumulated for all children) (KiB): 867844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1147.34
system time used= 0.228965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27044
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= 24831
involuntary context switches= 61139
runsolver used 1.66275 second user time and 3.46947 second system time
The end
Begin job on node25 at 2008-07-03 20:55:36
IDJOB=1057643
IDBENCH=54057
IDSOLVER=364
FILE ID=node25/1057643-1215111336
PBS_JOBID= 7877154
Free space on /tmp= 66540 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/radar-9-28-4-2/normalized-radar-9-28-4-2-36.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057643-1215111336/watcher-1057643-1215111336 -o /tmp/evaluation-result-1057643-1215111336/solver-1057643-1215111336 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1057643-1215111336.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a70b706320fd27a1e1f4db3cfab3e47a
RANDOM SEED=2144062106
node25.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.234
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.234
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: 1584776 kB
Buffers: 48804 kB
Cached: 306400 kB
SwapCached: 6760 kB
Active: 188888 kB
Inactive: 211500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1584776 kB
SwapTotal: 4192956 kB
SwapFree: 4180084 kB
Dirty: 2116 kB
Writeback: 0 kB
Mapped: 60632 kB
Slab: 55780 kB
Committed_AS: 4225148 kB
PageTables: 2020 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= 66536 MiB
End job on node25 at 2008-07-03 21:14:54