0.08/0.09
0.08/0.09 Abscon 112 (May, 2008)
0.17/0.26
0.17/0.26 configuration
0.17/0.26 name=mrdac-wdeg.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-1111021-1215840569.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.37 nbVariables=21 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=42
0.28/0.37 => wckTime=0.106 cpuTime=0.1 mem=6M867
0.28/0.37
0.28/0.37 relations being loaded...
0.68/0.75
0.68/0.75 constraints being loaded...
0.87/0.98 nbConstraints=133 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=132
0.87/0.98 nbConflictsStructures=1 nbSharedConflictsStructures=132 nbSharedBinaryRepresentations=0 minDegree=106
0.87/0.98 maxDegree=122 minArity=18 maxArity=18
0.87/0.98 => wckTime=0.713 cpuTime=0.59 mem=34M914
0.97/1.06
0.97/1.06 solver LocalSearchSolver being built...
1.07/1.11 => wckTime=0.845 cpuTime=0.64 mem=24M354
1.07/1.12
1.07/1.12 s SATISFIABLE
1.07/1.12 o 88
1.07/1.12 o 70
1.07/1.13 o 68
1.07/1.13 o 65
1.07/1.15 o 59
1.07/1.15 o 56
1.07/1.15 o 40
1.07/1.16 o 21
2.96/3.00 o 17
9.13/9.26 o 11
24.15/24.38
24.15/24.38 search
24.15/24.38 run=0 nbConstraintChecks=19465921 nbAssignments=10000
24.15/24.38 => wckTime=23.273 cpuTime=23.14 mem=25M160
39.18/39.42
39.18/39.42 search
39.18/39.42 run=1 nbConstraintChecks=32247202 nbAssignments=17206
39.18/39.42 => wckTime=38.31 cpuTime=38.1 mem=25M160
39.18/39.42
39.18/39.42 global
39.18/39.42 nbConstraintChecks=32247202 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.18/39.42 solvingWckTime=38.309 solvingCpuTime=38.1 expiredTime=no totalExploration=no nbFoundSolutions=0
39.18/39.42 globalCpuTime=38.79
39.18/39.42 => wckTime=39.156 cpuTime=38.74 mem=25M160
39.18/39.42
39.18/39.42 solver DecomposerSolver being built...
39.28/39.56 => wckTime=39.301 cpuTime=38.86 mem=41M383
39.28/39.58
39.28/39.58 preprocessing
39.28/39.58 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
39.28/39.58 detectedInconsistency=no
39.28/39.58 => wckTime=0.011 cpuTime=0.01 mem=41M383
548.45/551.98
548.45/551.98 search
548.45/551.98 run=0 nbConstraintChecks=231972796 nbValidityChecks=229734370 minDepth=0 maxDepth=17 nbPropagations=0
548.45/551.98 nbRevisions=0 nbUselessRevisions=0 nbAssignments=90408 nbFailedAssignments=28644 nbBacktracks=61765
548.45/551.98 nbVisitedNodes=149081
548.45/551.98 => wckTime=512.415 cpuTime=509.1 mem=42M979
548.45/551.98
548.45/551.98 global
548.45/551.98 nbConstraintChecks=231972796 nbValidityChecks=229734370 solvingWckTime=512.418 solvingCpuTime=509.1
548.45/551.98 expiredTime=no totalExploration=yes nbFoundSolutions=0 upperBound=11 upperBoundWckTime=0.0
548.45/551.98 upperBoundCpuTime=0.0 globalCpuTime=548.01
548.45/551.98 => wckTime=551.721 cpuTime=547.96 mem=42M979
548.45/551.99
548.45/551.99 s OPTIMUM FOUND
548.45/551.99 v 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1
548.45/551.99 d NODES 90408
548.45/551.99 d CHECKS 231972796
548.45/551.99
548.45/551.99 totalWckTime=551.792 totalCpuTime=548.02
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111021-1215840569/watcher-1111021-1215840569 -o /tmp/evaluation-result-1111021-1215840569/solver-1111021-1215840569 -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-wdeg.xml 1 XSax HOME/instance-1111021-1215840569.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.02 2.00 4/80 15625
/proc/meminfo: memFree=1740264/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=18572 CPUtime=0
/proc/15625/stat : 15625 (runsolver) R 15623 15625 14123 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 40631326 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 233588714791 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/15625/statm: 4643 292 257 25 0 2626 0
[startup+0.0971519 s]
/proc/loadavg: 2.00 2.02 2.00 4/80 15625
/proc/meminfo: memFree=1740264/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=865988 CPUtime=0.08
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 3638 0 1 0 6 2 0 0 20 0 9 0 40631326 886771712 3126 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216497 3126 1669 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.101148 s]
/proc/loadavg: 2.00 2.02 2.00 4/80 15625
/proc/meminfo: memFree=1740264/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=865988 CPUtime=0.08
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 3687 0 1 0 6 2 0 0 20 0 9 0 40631326 886771712 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216497 3164 1683 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301174 s]
/proc/loadavg: 2.00 2.02 2.00 4/80 15625
/proc/meminfo: memFree=1740264/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866360 CPUtime=0.28
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 5727 0 1 0 25 3 0 0 20 0 9 0 40631326 887152640 5123 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216590 5123 1943 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360
[startup+0.701214 s]
/proc/loadavg: 2.00 2.02 2.00 4/80 15625
/proc/meminfo: memFree=1740264/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866444 CPUtime=0.68
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 21081 0 1 0 58 10 0 0 20 0 9 0 40631326 887238656 20451 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216611 20451 1978 9 0 211139 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866444
[startup+1.50229 s]
/proc/loadavg: 2.08 2.03 2.01 4/89 15634
/proc/meminfo: memFree=1665504/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=1.47
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24081 0 1 0 135 12 0 0 20 0 9 0 40631326 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23247 2634 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=1.22
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15798 0 1 0 114 8 0 0 25 0 9 0 40631327 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4126629135 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.11
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 340 0 0 0 11 0 0 0 16 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866628
[startup+3.10245 s]
/proc/loadavg: 2.08 2.03 2.01 3/89 15634
/proc/meminfo: memFree=1657248/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=3.06
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24082 0 1 0 291 15 0 0 20 0 9 0 40631326 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23247 2634 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=2.82
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15799 0 1 0 271 11 0 0 25 0 9 0 40631327 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4126699599 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.11
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 340 0 0 0 11 0 0 0 16 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23247 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 866628
[startup+6.30177 s]
/proc/loadavg: 2.08 2.03 2.01 3/89 15634
/proc/meminfo: memFree=1656992/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=6.25
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24091 0 1 0 604 21 0 0 20 0 9 0 40631326 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23255 2636 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=5.99
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15801 0 1 0 583 16 0 0 25 0 9 0 40631327 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4126634324 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.12
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 347 0 0 0 12 0 0 0 16 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 866628
[startup+12.7015 s]
/proc/loadavg: 2.07 2.03 2.00 3/89 15634
/proc/meminfo: memFree=1656864/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=12.61
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24091 0 1 0 1230 31 0 0 20 0 9 0 40631326 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23255 2636 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=12.35
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15801 0 1 0 1208 27 0 0 25 0 9 0 40631327 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4126629135 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.12
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 347 0 0 0 12 0 0 0 16 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23255 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 866628
[startup+25.5027 s]
/proc/loadavg: 2.06 2.03 2.00 3/89 15634
/proc/meminfo: memFree=1656864/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=25.34
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24095 0 1 0 2481 53 0 0 20 0 9 0 40631326 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23259 2637 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=25.09
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15801 0 1 0 2460 49 0 0 25 0 9 0 40631327 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4126629184 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.12
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 351 0 0 0 12 0 0 0 16 0 9 0 40631331 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) R 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23259 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 866628
[startup+51.1023 s]
/proc/loadavg: 2.04 2.03 2.00 3/82 15666
/proc/meminfo: memFree=1504472/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=50.87
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24204 0 1 0 5010 77 0 0 20 0 9 0 40631326 887427072 23362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23362 2639 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=50.53
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15857 0 1 0 4980 73 0 0 23 0 9 0 40631327 887427072 23362 996147200 134512640 134550740 4294955952 18446744073709551615 4126843593 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.21
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 404 0 0 0 21 0 0 0 16 0 9 0 40631331 887427072 23362 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
################
# More data... #
################
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24211 0 1 0 53968 84 0 0 20 0 9 0 40631326 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23364 2639 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=540.15
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15861 0 1 0 53936 79 0 0 25 0 9 0 40631327 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4126841852 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.21
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 407 0 0 0 21 0 0 0 16 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 540.52
Current children cumulated vsize (KiB) 866628
[startup+547.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=895704/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=543.69
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24212 0 1 0 54285 84 0 0 20 0 9 0 40631326 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23364 2639 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=543.32
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15862 0 1 0 54253 79 0 0 25 0 9 0 40631327 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4126634317 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.21
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 407 0 0 0 21 0 0 0 16 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 543.69
Current children cumulated vsize (KiB) 866628
[startup+550.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=895704/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=546.86
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24212 0 1 0 54602 84 0 0 20 0 9 0 40631326 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23364 2639 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=546.49
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15862 0 1 0 54570 79 0 0 25 0 9 0 40631327 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4126629145 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.21
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 407 0 0 0 21 0 0 0 16 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 546.86
Current children cumulated vsize (KiB) 866628
[startup+551.108 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=895704/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=547.66
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24212 0 1 0 54682 84 0 0 20 0 9 0 40631326 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23364 2639 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=547.29
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15862 0 1 0 54650 79 0 0 25 0 9 0 40631327 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4126841877 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.21
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 407 0 0 0 21 0 0 0 16 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 547.66
Current children cumulated vsize (KiB) 866628
[startup+551.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=895704/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=548.05
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24212 0 1 0 54721 84 0 0 20 0 9 0 40631326 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23364 2639 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=547.68
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15862 0 1 0 54689 79 0 0 25 0 9 0 40631327 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4126629216 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.21
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 407 0 0 0 21 0 0 0 16 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 548.05
Current children cumulated vsize (KiB) 866628
[startup+551.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=895704/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866628 CPUtime=548.45
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24212 0 1 0 54761 84 0 0 20 0 9 0 40631326 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216657 23364 2639 9 0 211163 0
[pid=15625/tid=15627] ppid=15623 vsize=866628 CPUtime=548.08
/proc/15625/task/15627/stat : 15627 (java) R 15623 15625 14123 0 -1 64 15862 0 1 0 54729 79 0 0 25 0 9 0 40631327 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4126700728 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866628 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866628 CPUtime=0.21
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 407 0 0 0 21 0 0 0 16 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866628 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887427072 23364 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 548.45
Current children cumulated vsize (KiB) 866628
[startup+552.001 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=895704/2055920 swapFree=4178780/4192956
[pid=15625] ppid=15623 vsize=866952 CPUtime=548.54
/proc/15625/stat : 15625 (java) S 15623 15625 14123 0 -1 0 24224 0 1 0 54770 84 0 0 20 0 9 0 40631326 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15625/statm: 216738 23375 2640 9 0 211244 0
[pid=15625/tid=15627] ppid=15623 vsize=866952 CPUtime=548.17
/proc/15625/task/15627/stat : 15627 (java) S 15623 15625 14123 0 -1 64 15868 0 1 0 54738 79 0 0 25 0 9 0 40631327 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15628] ppid=15623 vsize=866952 CPUtime=0.1
/proc/15625/task/15628/stat : 15628 (java) S 15623 15625 14123 0 -1 64 7247 0 0 0 8 2 0 0 16 0 9 0 40631329 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15629] ppid=15623 vsize=866952 CPUtime=0
/proc/15625/task/15629/stat : 15629 (java) S 15623 15625 14123 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 40631329 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15630] ppid=15623 vsize=866952 CPUtime=0
/proc/15625/task/15630/stat : 15630 (java) S 15623 15625 14123 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40631329 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15631] ppid=15623 vsize=866952 CPUtime=0
/proc/15625/task/15631/stat : 15631 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 40631331 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15632] ppid=15623 vsize=866952 CPUtime=0.22
/proc/15625/task/15632/stat : 15632 (java) S 15623 15625 14123 0 -1 64 408 0 0 0 22 0 0 0 16 0 9 0 40631331 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15633] ppid=15623 vsize=866952 CPUtime=0
/proc/15625/task/15633/stat : 15633 (java) S 15623 15625 14123 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 40631331 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15625/tid=15634] ppid=15623 vsize=866952 CPUtime=0
/proc/15625/task/15634/stat : 15634 (java) S 15623 15625 14123 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 40631331 887758848 23375 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 548.54
Current children cumulated vsize (KiB) 866952
Child status: 0
Real time (s): 552.038
CPU time (s): 548.564
CPU user time (s): 547.702
CPU system time (s): 0.861868
CPU usage (%): 99.3706
Max. virtual memory (cumulated for all children) (KiB): 866952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 547.702
system time used= 0.861868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24228
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= 12407
involuntary context switches= 17552
runsolver used 0.738887 second user time and 1.79073 second system time
The end
Begin job on node27 at 2008-07-12 07:29:29
IDJOB=1111021
IDBENCH=61221
IDSOLVER=359
FILE ID=node27/1111021-1215840569
PBS_JOBID= 7903343
Free space on /tmp= 66464 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/bddSmall/normalized-bdd-21-133-18-78-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111021-1215840569/watcher-1111021-1215840569 -o /tmp/evaluation-result-1111021-1215840569/solver-1111021-1215840569 -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-wdeg.xml 1 XSax HOME/instance-1111021-1215840569.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8ca4543944b0cc8c276cbedd03a3b3ed
RANDOM SEED=2054995774
node27.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 : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5521.40
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 : 2800.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1740744 kB
Buffers: 37932 kB
Cached: 119632 kB
SwapCached: 7540 kB
Active: 159188 kB
Inactive: 92468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1740744 kB
SwapTotal: 4192956 kB
SwapFree: 4178780 kB
Dirty: 3984 kB
Writeback: 0 kB
Mapped: 109936 kB
Slab: 48592 kB
Committed_AS: 955496 kB
PageTables: 1972 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66176 MiB
End job on node27 at 2008-07-12 07:38:41