0.02/0.08
0.02/0.08 Abscon 112 (May, 2008)
0.19/0.21
0.19/0.21 configuration
0.19/0.21 name=esac.xml
0.19/0.24
0.19/0.24 instance
0.19/0.24 name=HOME/instance-1071475-1215169192.xml
0.19/0.28
0.19/0.28 domains being loaded...
0.19/0.29
0.19/0.29 variables being loaded...
0.31/0.32 nbVariables=81 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=243
0.31/0.32 => wckTime=0.103 cpuTime=0.09 mem=7M919
0.31/0.32
0.31/0.32 predicates being loaded...
0.31/0.37
0.31/0.37 constraints being loaded...
1.46/1.44 nbConstraints=1312 nbGlobalConstraints=16 nbConflictsStructures=1 nbSharedConflictsStructures=1295
1.46/1.44 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=1295 minDegree=66
1.46/1.44 maxDegree=69 minArity=4 avgArity=4.21 maxArity=72 nbGenerators=16 nbFusions=0 symmetryWckTime=0.204
1.46/1.44 symmetryCpuTime=0.09
1.46/1.44 => wckTime=1.229 cpuTime=1.08 mem=18M120
1.66/1.51
1.66/1.51 solver IterativeSystematicSolver being built...
1.79/1.61
1.79/1.61 INFO : Forward propagation technique limited
1.79/1.68 => wckTime=1.463 cpuTime=1.25 mem=33M730
1.91/1.74
1.91/1.74 preprocessing
1.91/1.74 nbConstraintChecks=1470 nbValidityChecks=421 nbPropagations=342 nbRevisions=1039 nbUselessRevisions=883
1.91/1.74 nbSingletonTests=91 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.91/1.74 detectedInconsistency=no
1.91/1.74 => wckTime=0.059 cpuTime=0.05 mem=34M715
2.15/1.91
2.15/1.91 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=35M765)
130.25/130.01
130.25/130.01 search
130.25/130.01 run=20 nbConstraintChecks=35583285 nbValidityChecks=54396390 minDepth=1 maxDepth=81 nbPropagations=6303827
130.25/130.01 nbRevisions=98116648 nbUselessRevisions=91979479 nbAssignments=345696 nbFailedAssignments=75120
130.25/130.01 nbInferredBacktracks=7 nbBacktracks=269906 nbVisitedNodes=490885 nbRestartNogoods=175 nbFoundSolutions=1
130.25/130.01 nbSEliminables=0 nbREliminables=49.94 nbIEliminables=4.86 nbDEliminables=0 nbPEliminables=0
130.25/130.01 => wckTime=128.333 cpuTime=128.28 mem=35M765
130.25/130.01
130.25/130.01 global
130.25/130.01 nbConstraintChecks=35584755 nbValidityChecks=54396811 nbPropagations=6304169 nbRevisions=98117687
130.25/130.01 nbUselessRevisions=91980362 nbRestartNogoods=175 solvingWckTime=128.334 solvingCpuTime=128.28 expiredTime=no
130.25/130.01 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=129.52 globalCpuTime=129.57
130.25/130.01 => wckTime=129.799 cpuTime=129.53 mem=35M765
130.25/130.01
130.25/130.01 s SATISFIABLE
130.25/130.01 v 0 0 0 0 1 1 1 2 2 0 1 2 2 1 2 2 0 1 0 2 1 1 0 1 2 2 0 0 2 1 2 1 0 0 1 2 1 1 1 0 2 0 2 0 2 1 2 0 1 1 2 0 0 0 1 2 2 0 0 1 0 1 1 2 0 1 2 0 0 1 2 1 2 1 2 1 2 0 1 1 0
130.25/130.01 d NODES 345696
130.25/130.01 d CHECKS 35584755
130.25/130.02
130.25/130.02 totalWckTime=129.849 totalCpuTime=129.58
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1071475-1215169192/watcher-1071475-1215169192 -o /tmp/evaluation-result-1071475-1215169192/solver-1071475-1215169192 -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-1071475-1215169192.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: 0.99 0.98 0.99 3/64 25173
/proc/meminfo: memFree=1834840/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=1620 CPUtime=0
/proc/25173/stat : 25173 (java) R 25171 25173 23890 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 1995887909 1658880 146 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/25173/statm: 405 145 119 9 0 47 0
[startup+0.0339521 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25173
/proc/meminfo: memFree=1834840/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=861876 CPUtime=0.02
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 2144 0 1 0 1 1 0 0 18 0 5 0 1995887909 882561024 1783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 215469 1785 825 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.102792 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25173
/proc/meminfo: memFree=1834840/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=866708 CPUtime=0.1
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 3932 0 1 0 8 2 0 0 18 0 9 0 1995887909 887508992 3372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 216677 3374 1764 9 0 211232 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 866708
[startup+0.301803 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25173
/proc/meminfo: memFree=1834840/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=866924 CPUtime=0.31
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 6284 0 1 0 27 4 0 0 18 0 9 0 1995887909 887730176 5654 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 216731 5654 1963 9 0 211259 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 866924
[startup+0.701856 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 25173
/proc/meminfo: memFree=1834840/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868036 CPUtime=0.83
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 11818 0 1 0 76 7 0 0 18 0 9 0 1995887909 888868864 11178 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217009 11179 2011 9 0 211515 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 868036
[startup+1.50197 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25182
/proc/meminfo: memFree=1781776/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868404 CPUtime=1.66
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 22587 545 1 0 139 17 9 1 18 0 9 0 1995887909 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217101 18151 2613 9 0 211629 0
[pid=25173/tid=25175] ppid=25171 vsize=868404 CPUtime=1.36
/proc/25173/task/25175/stat : 25175 (java) S 25171 25173 23890 0 -1 64 17068 545 1 0 111 15 9 1 16 0 9 0 1995887910 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868404 CPUtime=0.17
/proc/25173/task/25176/stat : 25176 (java) R 25171 25173 23890 0 -1 64 3771 545 0 0 7 0 9 1 16 0 9 0 1995887911 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 104457044 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868404 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 13 545 0 0 0 0 9 1 16 0 9 0 1995887911 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868404 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 5 545 0 0 0 0 9 1 16 0 9 0 1995887911 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868404 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868404 CPUtime=0.3
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 911 545 0 0 20 0 9 1 17 0 9 0 1995887913 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868404 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868404 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 6 545 0 0 0 0 9 1 15 0 9 0 1995887913 889245696 18151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 868404
[startup+3.10117 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25186
/proc/meminfo: memFree=1767760/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=3.38
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30666 545 1 0 308 20 9 1 18 0 9 0 1995887909 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19274 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=2.94
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24114 545 1 0 267 17 9 1 21 0 9 0 1995887910 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4127141027 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.41
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1009 545 0 0 31 0 9 1 16 0 9 0 1995887913 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 6 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 868468
[startup+6.30261 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25186
/proc/meminfo: memFree=1767568/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=6.58
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30705 545 1 0 628 20 9 1 18 0 9 0 1995887909 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19278 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=6.14
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24120 545 1 0 587 17 9 1 17 0 9 0 1995887910 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4127145056 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1013 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 868468
[startup+12.7015 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25186
/proc/meminfo: memFree=1767440/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=12.98
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30718 545 1 0 1268 20 9 1 18 0 9 0 1995887909 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19280 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=12.54
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24124 545 1 0 1227 17 9 1 20 0 9 0 1995887910 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4127116894 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1022 545 0 0 32 0 9 1 15 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.98
Current children cumulated vsize (KiB) 868468
[startup+25.5022 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25186
/proc/meminfo: memFree=1767504/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=25.78
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30720 545 1 0 2548 20 9 1 18 0 9 0 1995887909 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19280 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=25.34
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24126 545 1 0 2507 17 9 1 25 0 9 0 1995887910 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4127109201 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1022 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19280 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.78
Current children cumulated vsize (KiB) 868468
[startup+51.1027 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25186
/proc/meminfo: memFree=1767504/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=51.37
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30725 545 1 0 5107 20 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=50.93
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24129 545 1 0 5066 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4127109224 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
################
# More data... #
################
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30728 545 1 0 12144 21 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=121.29
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24132 545 1 0 12102 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4127102207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 121.75
Current children cumulated vsize (KiB) 868468
[startup+124.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25192
/proc/meminfo: memFree=1767376/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=124.95
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30728 545 1 0 12464 21 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=124.49
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24132 545 1 0 12422 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4126095722 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.95
Current children cumulated vsize (KiB) 868468
[startup+127.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25192
/proc/meminfo: memFree=1767376/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=128.15
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30728 545 1 0 12784 21 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=127.69
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24132 545 1 0 12742 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4126976808 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 128.15
Current children cumulated vsize (KiB) 868468
[startup+128.705 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25192
/proc/meminfo: memFree=1767376/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=128.95
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30728 545 1 0 12864 21 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=128.5
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24132 545 1 0 12823 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4127106594 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 128.95
Current children cumulated vsize (KiB) 868468
[startup+129.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25192
/proc/meminfo: memFree=1767376/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=129.75
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30728 545 1 0 12944 21 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=129.29
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24132 545 1 0 12902 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4127126629 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 129.75
Current children cumulated vsize (KiB) 868468
[startup+129.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25192
/proc/meminfo: memFree=1767376/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=130.15
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30728 545 1 0 12984 21 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=129.69
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24132 545 1 0 12942 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4127128535 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 130.15
Current children cumulated vsize (KiB) 868468
[startup+130.001 s]
/proc/loadavg: 0.99 0.98 0.99 2/73 25192
/proc/meminfo: memFree=1767376/2055920 swapFree=4180436/4192956
[pid=25173] ppid=25171 vsize=868468 CPUtime=130.25
/proc/25173/stat : 25173 (java) S 25171 25173 23890 0 -1 0 30728 545 1 0 12994 21 9 1 18 0 9 0 1995887909 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25173/statm: 217117 19281 2637 9 0 211623 0
[pid=25173/tid=25175] ppid=25171 vsize=868468 CPUtime=129.79
/proc/25173/task/25175/stat : 25175 (java) R 25171 25173 23890 0 -1 64 24132 545 1 0 12952 17 9 1 25 0 9 0 1995887910 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4127193716 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25173/tid=25176] ppid=25171 vsize=868468 CPUtime=0.18
/proc/25173/task/25176/stat : 25176 (java) S 25171 25173 23890 0 -1 64 4698 545 0 0 8 0 9 1 16 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25177] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25177/stat : 25177 (java) S 25171 25173 23890 0 -1 64 17 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25178] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25178/stat : 25178 (java) S 25171 25173 23890 0 -1 64 9 545 0 0 0 0 9 1 15 0 9 0 1995887911 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25179] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25179/stat : 25179 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 23 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25180] ppid=25171 vsize=868468 CPUtime=0.42
/proc/25173/task/25180/stat : 25180 (java) S 25171 25173 23890 0 -1 64 1024 545 0 0 32 0 9 1 16 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25181] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25181/stat : 25181 (java) S 25171 25173 23890 0 -1 64 1 545 0 0 0 0 9 1 24 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25173/tid=25182] ppid=25171 vsize=868468 CPUtime=0.1
/proc/25173/task/25182/stat : 25182 (java) S 25171 25173 23890 0 -1 64 35 545 0 0 0 0 9 1 15 0 9 0 1995887913 889311232 19281 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 130.25
Current children cumulated vsize (KiB) 868468
Child status: 0
Real time (s): 130.043
CPU time (s): 130.294
CPU user time (s): 130.055
CPU system time (s): 0.238963
CPU usage (%): 100.193
Max. virtual memory (cumulated for all children) (KiB): 868468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 130.055
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31399
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= 3199
involuntary context switches= 2920
runsolver used 0.132979 second user time and 0.350946 second system time
The end
Begin job on node71 at 2008-07-04 12:59:52
IDJOB=1071475
IDBENCH=56090
IDSOLVER=364
FILE ID=node71/1071475-1215169192
PBS_JOBID= 7877476
Free space on /tmp= 66560 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/chessboardColoration/normalized-cc-9-9-3.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-1071475-1215169192/watcher-1071475-1215169192 -o /tmp/evaluation-result-1071475-1215169192/solver-1071475-1215169192 -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-1071475-1215169192.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7da1eab70d7646969af163997fbe8b95
RANDOM SEED=1853613687
node71.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.209
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.209
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: 1835384 kB
Buffers: 39964 kB
Cached: 115108 kB
SwapCached: 6632 kB
Active: 115832 kB
Inactive: 47996 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1835384 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 2236 kB
Writeback: 0 kB
Mapped: 14320 kB
Slab: 42708 kB
Committed_AS: 4172184 kB
PageTables: 1464 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= 66560 MiB
End job on node71 at 2008-07-04 13:02:02