0.07/0.10
0.07/0.10 Abscon 112 (May, 2008)
0.17/0.25
0.17/0.25 configuration
0.17/0.25 name=mrdac-ddeg.xml
0.17/0.29
0.17/0.29 instance
0.17/0.29 name=HOME/instance-1112158-1215862767.xml
0.27/0.33
0.27/0.33 domains being loaded...
0.27/0.34
0.27/0.34 variables being loaded...
0.27/0.39 nbVariables=144 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4 nbTotalValues=576
0.27/0.39 => wckTime=0.13 cpuTime=0.11 mem=7M858
0.27/0.39
0.27/0.39 predicates being loaded...
0.47/0.55
0.47/0.55 constraints being loaded...
0.67/0.78 nbConstraints=64 nbDisconnectedVariables=25 nbConflictsStructures=14 nbSharedConflictsStructures=0
0.67/0.78 nbUnbuiltConflictsStructures=50 nbSharedBinaryRepresentations=0 nbEvaluationManagers=64
0.67/0.78 nbSharedEvaluationManagers=0 minDegree=0 maxDegree=6 minArity=4 avgArity=8.59 maxArity=13
0.67/0.78 => wckTime=0.522 cpuTime=0.39 mem=19M627
0.75/0.83
0.75/0.83 solver LocalSearchSolver being built...
0.75/0.88 => wckTime=0.62 cpuTime=0.44 mem=6M888
0.75/0.89
0.75/0.89 s SATISFIABLE
0.75/0.89 o 51
0.75/0.89 o 49
0.75/0.89 o 47
0.85/0.90 o 45
0.85/0.90 o 43
0.85/0.90 o 41
0.85/0.91 o 40
0.85/0.91 o 39
0.85/0.91 o 38
0.85/0.91 o 37
0.85/0.92 o 36
0.85/0.92 o 35
0.85/0.92 o 33
0.85/0.93 o 32
0.85/0.94 o 31
0.85/0.94 o 30
0.85/0.95 o 29
0.85/0.96 o 26
0.85/0.96 o 24
0.85/0.97 o 23
0.85/0.97 o 22
0.85/0.97 o 20
0.85/0.97 o 19
0.85/0.98 o 18
0.85/0.98 o 17
0.85/0.98 o 16
0.85/0.99 o 15
0.85/0.99 o 14
0.85/0.99 o 13
0.85/0.99 o 12
0.85/0.99 o 11
0.85/1.00 o 10
0.95/1.02 o 9
0.95/1.02 o 8
0.95/1.10 o 7
0.95/1.10 o 6
1.05/1.16 o 5
1.05/1.17 o 4
1.13/1.23 o 3
11.26/11.67
11.26/11.67 search
11.26/11.67 run=0 nbConstraintChecks=7182676 nbAssignments=10000
11.26/11.67 => wckTime=10.795 cpuTime=10.49 mem=7M896
21.56/22.29
21.56/22.29 search
21.56/22.29 run=1 nbConstraintChecks=14326528 nbAssignments=20000
21.56/22.29 => wckTime=21.411 cpuTime=20.79 mem=7M896
31.18/32.10
31.18/32.10 search
31.18/32.10 run=2 nbConstraintChecks=20915193 nbAssignments=29215
31.18/32.10 => wckTime=31.226 cpuTime=30.34 mem=7M896
31.18/32.10
31.18/32.10 global
31.18/32.10 nbConstraintChecks=20915193 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.18/32.10 solvingWckTime=31.224 solvingCpuTime=30.33 expiredTime=no totalExploration=no nbFoundSolutions=0
31.18/32.10 globalCpuTime=30.8
31.18/32.10 => wckTime=31.846 cpuTime=30.77 mem=7M896
31.18/32.10
31.18/32.10 solver DecomposerSolver being built...
31.18/32.16
31.18/32.16 INFO : Forward propagation technique limited
31.29/32.20 => wckTime=31.946 cpuTime=30.86 mem=19M757
31.87/32.85
31.87/32.85 preprocessing
31.87/32.85 nbConstraintChecks=516656 nbValidityChecks=474 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.87/32.85 nbRemovedValues=0 detectedInconsistency=no
31.87/32.85 => wckTime=0.642 cpuTime=0.62 mem=19M757
729.48/750.25 o 2
729.48/750.25 First solution found
825.55/849.08 o 1
828.17/851.73
828.17/851.73 search
828.17/851.73 run=0 nbConstraintChecks=414812179 nbValidityChecks=6945692 minDepth=0 maxDepth=144 nbPropagations=0
828.17/851.73 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12773 nbFailedAssignments=2840 nbBacktracks=9932
828.17/851.73 nbVisitedNodes=21053 nbFoundSolutions=2
828.17/851.73 => wckTime=819.521 cpuTime=796.85 mem=20M748
828.17/851.73
828.17/851.73 global
828.17/851.73 nbConstraintChecks=415328835 nbValidityChecks=6946166 solvingWckTime=819.525 solvingCpuTime=796.86
828.17/851.73 expiredTime=no totalExploration=yes nbFoundSolutions=2 firstSolutionCpuTime=729.02 upperBound=1
828.17/851.73 upperBoundWckTime=848.827 upperBoundCpuTime=825.15 globalCpuTime=827.75
828.17/851.73 => wckTime=851.472 cpuTime=827.72 mem=20M748
828.17/851.73
828.17/851.73 s OPTIMUM FOUND
828.17/851.73 v 0 0 0 0 2 0 0 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 2 0 0 0 0 2 0 0 0 1 2 0 2 3 2 0 0 2 3 2 0 0 1 3 3 2 0 0 3 2 3 0 0 0 0 3 3 0 0 0 0 0 3 1 0 0 0 2 1 0 1 0 0 0 2 0 0 0 3 0 1 3 3 0 0 3 2 1 0 1 0 1 2 0 1 0 0 1 3 3 0 0 1 2 2 2 0 0 3 1 3 3 0 0 3 2 2 3 0 0 2 1 3 0 0 0 0 0
828.17/851.73 d NODES 12773
828.17/851.73 d CHECKS 415328835
828.17/851.74
828.17/851.74 totalWckTime=851.543 totalCpuTime=827.75
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112158-1215862767/watcher-1112158-1215862767 -o /tmp/evaluation-result-1112158-1215862767/solver-1112158-1215862767 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112158-1215862767.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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: 2.00 2.00 2.00 3/240 20211
/proc/meminfo: memFree=1178672/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=152 CPUtime=0
/proc/20211/stat : 20211 (java) R 20209 20211 20071 0 -1 0 41 0 0 0 0 0 0 0 22 0 1 0 42973636 155648 26 996147200 134512640 134550740 4294956128 18446744073709551615 4043051 0 0 4096 0 0 0 0 17 0 0 0
/proc/20211/statm: 38 26 19 9 0 4 0
[startup+0.090278 s]
/proc/loadavg: 2.00 2.00 2.00 3/240 20211
/proc/meminfo: memFree=1178672/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=865856 CPUtime=0.06
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 3501 0 1 0 4 2 0 0 18 0 9 0 42973636 886636544 2991 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216464 2991 1619 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101295 s]
/proc/loadavg: 2.00 2.00 2.00 3/240 20211
/proc/meminfo: memFree=1178672/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=865992 CPUtime=0.07
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 3634 0 1 0 5 2 0 0 18 0 9 0 42973636 886775808 3122 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216498 3122 1668 9 0 211053 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865992
[startup+0.301303 s]
/proc/loadavg: 2.00 2.00 2.00 3/240 20211
/proc/meminfo: memFree=1178672/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=866388 CPUtime=0.27
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 5803 0 1 0 24 3 0 0 18 0 9 0 42973636 887181312 5178 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216597 5178 1953 9 0 211125 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866388
[startup+0.701355 s]
/proc/loadavg: 2.00 2.00 2.00 3/240 20211
/proc/meminfo: memFree=1178672/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=0.67
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 9022 0 1 0 61 6 0 0 18 0 9 0 42973636 887922688 8383 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 8383 2009 9 0 211284 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867112
[startup+1.50145 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1147816/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=1.44
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11014 0 1 0 134 10 0 0 18 0 9 0 42973636 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10160 2633 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=1.2
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8580 0 1 0 112 8 0 0 25 0 9 0 42973638 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4126688115 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.03
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 3 0 0 0 16 0 9 0 42973640 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.17
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 517 0 0 0 17 0 0 0 16 0 9 0 42973642 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10160 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 867112
[startup+3.10265 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1147304/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=2.99
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11020 0 1 0 284 15 0 0 18 0 9 0 42973636 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10165 2633 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=2.75
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8581 0 1 0 262 13 0 0 25 0 9 0 42973638 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4126692264 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.03
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 3 0 0 0 16 0 9 0 42973640 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.18
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 522 0 0 0 18 0 0 0 15 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 867112
[startup+6.30106 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1147240/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=6.1
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11021 0 1 0 584 26 0 0 18 0 9 0 42973636 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10165 2633 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=5.86
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8582 0 1 0 561 25 0 0 25 0 9 0 42973638 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4126695095 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.18
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 522 0 0 0 18 0 0 0 15 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10165 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 867112
[startup+12.7029 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1146728/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=12.34
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11026 0 1 0 1186 48 0 0 18 0 9 0 42973636 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10170 2634 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=12.09
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8582 0 1 0 1163 46 0 0 25 0 9 0 42973638 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4126695143 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.18
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 527 0 0 0 18 0 0 0 15 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 867112
[startup+25.5015 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1146728/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=24.77
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11026 0 1 0 2388 89 0 0 18 0 9 0 42973636 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10170 2634 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=24.52
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8582 0 1 0 2365 87 0 0 25 0 9 0 42973638 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4126688096 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.18
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 527 0 0 0 18 0 0 0 15 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 867112
[startup+51.1017 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1145704/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=49.67
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11261 0 1 0 4857 110 0 0 18 0 9 0 42973636 887922688 10400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10400 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=49.37
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8784 0 1 0 4829 108 0 0 25 0 9 0 42973638 887922688 10400 996147200 134512640 134550740 4294955952 18446744073709551615 4126689447 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.23
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 560 0 0 0 23 0 0 0 17 0 9 0 42973642 887922688 10400 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
################
# More data... #
################
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11310 0 1 0 80782 110 0 0 18 0 9 0 42973636 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10432 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=808.6
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8812 0 1 0 80752 108 0 0 25 0 9 0 42973638 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4126702714 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.25
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 581 0 0 0 25 0 0 0 16 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 808.92
Current children cumulated vsize (KiB) 867112
[startup+844.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1145064/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=821.37
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11310 0 1 0 82027 110 0 0 18 0 9 0 42973636 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10432 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=821.06
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8812 0 1 0 81997 109 0 0 25 0 9 0 42973638 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4126689440 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.25
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 581 0 0 0 25 0 0 0 16 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 821.37
Current children cumulated vsize (KiB) 867112
[startup+847.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1145064/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=824.48
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11310 0 1 0 82338 110 0 0 18 0 9 0 42973636 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10432 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=824.17
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8812 0 1 0 82308 109 0 0 25 0 9 0 42973638 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4126689952 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.25
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 581 0 0 0 25 0 0 0 16 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 824.48
Current children cumulated vsize (KiB) 867112
[startup+849.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1145064/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=826.03
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11315 0 1 0 82493 110 0 0 18 0 9 0 42973636 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10436 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=825.73
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8817 0 1 0 82464 109 0 0 25 0 9 0 42973638 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4126694431 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.25
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 581 0 0 0 25 0 0 0 16 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 826.03
Current children cumulated vsize (KiB) 867112
[startup+851.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/249 20220
/proc/meminfo: memFree=1145064/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=827.59
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11315 0 1 0 82649 110 0 0 18 0 9 0 42973636 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10436 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=827.28
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8817 0 1 0 82619 109 0 0 25 0 9 0 42973638 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4126690008 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.25
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 581 0 0 0 25 0 0 0 16 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 827.59
Current children cumulated vsize (KiB) 867112
[startup+851.502 s]
/proc/loadavg: 2.00 2.00 2.00 4/249 20220
/proc/meminfo: memFree=1145064/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=827.97
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11315 0 1 0 82687 110 0 0 18 0 9 0 42973636 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10436 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=827.67
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8817 0 1 0 82658 109 0 0 25 0 9 0 42973638 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4126687984 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.25
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 581 0 0 0 25 0 0 0 16 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 827.97
Current children cumulated vsize (KiB) 867112
[startup+851.702 s]
/proc/loadavg: 2.00 2.00 2.00 4/249 20220
/proc/meminfo: memFree=1145064/2055920 swapFree=4192812/4192956
[pid=20211] ppid=20209 vsize=867112 CPUtime=828.17
/proc/20211/stat : 20211 (java) S 20209 20211 20071 0 -1 0 11315 0 1 0 82707 110 0 0 18 0 9 0 42973636 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20211/statm: 216778 10436 2636 9 0 211284 0
[pid=20211/tid=20213] ppid=20209 vsize=867112 CPUtime=827.87
/proc/20211/task/20213/stat : 20213 (java) R 20209 20211 20071 0 -1 64 8817 0 1 0 82678 109 0 0 25 0 9 0 42973638 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4126690003 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20214] ppid=20209 vsize=867112 CPUtime=0.04
/proc/20211/task/20214/stat : 20214 (java) S 20209 20211 20071 0 -1 64 1221 0 0 0 4 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20215] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20215/stat : 20215 (java) S 20209 20211 20071 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20216] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20216/stat : 20216 (java) S 20209 20211 20071 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42973640 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20217] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20217/stat : 20217 (java) S 20209 20211 20071 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20218] ppid=20209 vsize=867112 CPUtime=0.25
/proc/20211/task/20218/stat : 20218 (java) S 20209 20211 20071 0 -1 64 581 0 0 0 25 0 0 0 16 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20219] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20219/stat : 20219 (java) S 20209 20211 20071 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20211/tid=20220] ppid=20209 vsize=867112 CPUtime=0
/proc/20211/task/20220/stat : 20220 (java) S 20209 20211 20071 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42973642 887922688 10436 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 828.17
Current children cumulated vsize (KiB) 867112
Child status: 0
Real time (s): 851.797
CPU time (s): 828.226
CPU user time (s): 827.11
CPU system time (s): 1.11583
CPU usage (%): 97.2328
Max. virtual memory (cumulated for all children) (KiB): 867116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 827.11
system time used= 1.11583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11421
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= 18626
involuntary context switches= 24298
runsolver used 2.94955 second user time and 8.69468 second system time
The end
Begin job on node92 at 2008-07-12 13:39:27
IDJOB=1112158
IDBENCH=61371
IDSOLVER=360
FILE ID=node92/1112158-1215862767
PBS_JOBID= 7903511
Free space on /tmp= 66480 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/radar-8-24-3-2/normalized-radar-8-24-3-2-1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112158-1215862767/watcher-1112158-1215862767 -o /tmp/evaluation-result-1112158-1215862767/solver-1112158-1215862767 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax HOME/instance-1112158-1215862767.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 41c546e7ed00f23c3960c433d0b9277c
RANDOM SEED=1733061488
node92.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.236
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.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1179224 kB
Buffers: 53168 kB
Cached: 589500 kB
SwapCached: 0 kB
Active: 580520 kB
Inactive: 212272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1179224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1984 kB
Writeback: 0 kB
Mapped: 171908 kB
Slab: 54912 kB
Committed_AS: 1206104 kB
PageTables: 11568 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= 66476 MiB
End job on node92 at 2008-07-12 13:53:39