0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mrdac-ddeg.xml
0.18/0.28
0.18/0.28 instance
0.18/0.29 name=HOME/instance-1111070-1215841308.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.28/0.35 nbVariables=21 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=42
0.28/0.35 => wckTime=0.099 cpuTime=0.09 mem=6M867
0.28/0.35
0.28/0.35 relations being loaded...
0.67/0.72
0.67/0.72 constraints being loaded...
0.87/0.93 nbConstraints=133 nbRelationTypes=1 nbExtensionStructures=1 nbSharedExtensionStructures=132
0.87/0.93 nbConflictsStructures=1 nbSharedConflictsStructures=132 nbSharedBinaryRepresentations=0 minDegree=109
0.87/0.93 maxDegree=122 minArity=18 maxArity=18
0.87/0.94 => wckTime=0.685 cpuTime=0.59 mem=35M485
0.98/1.02
0.98/1.02 solver LocalSearchSolver being built...
0.98/1.06 => wckTime=0.807 cpuTime=0.63 mem=24M422
0.98/1.07
0.98/1.07 s SATISFIABLE
0.98/1.07 o 88
0.98/1.08 o 86
0.98/1.08 o 75
0.98/1.08 o 72
0.98/1.09 o 67
0.98/1.10 o 58
0.98/1.10 o 55
1.09/1.19 o 34
1.38/1.43 o 22
4.68/4.70 o 6
22.17/22.23
22.17/22.23 search
22.17/22.23 run=0 nbConstraintChecks=18880839 nbAssignments=10000
22.17/22.23 => wckTime=21.174 cpuTime=21.14 mem=25M229
34.66/34.72
34.66/34.72 search
34.66/34.72 run=1 nbConstraintChecks=30019408 nbAssignments=15715
34.66/34.72 => wckTime=33.667 cpuTime=33.63 mem=25M229
34.66/34.72
34.66/34.72 global
34.66/34.72 nbConstraintChecks=30019408 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.66/34.72 solvingWckTime=33.666 solvingCpuTime=33.63 expiredTime=no totalExploration=no nbFoundSolutions=0
34.66/34.72 globalCpuTime=34.3
34.66/34.72 => wckTime=34.474 cpuTime=34.26 mem=25M229
34.66/34.72
34.66/34.72 solver DecomposerSolver being built...
34.76/34.86 => wckTime=34.611 cpuTime=34.36 mem=41M451
34.76/34.87
34.76/34.87 preprocessing
34.76/34.87 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
34.76/34.87 detectedInconsistency=no
34.76/34.87 => wckTime=0.011 cpuTime=0.01 mem=41M451
358.61/358.85
358.61/358.85 search
358.61/358.85 run=0 nbConstraintChecks=161659495 nbValidityChecks=174282693 minDepth=0 maxDepth=17 nbPropagations=0
358.61/358.85 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62198 nbFailedAssignments=19400 nbBacktracks=42799
358.61/358.85 nbVisitedNodes=101132
358.61/358.85 => wckTime=323.983 cpuTime=323.77 mem=42M258
358.61/358.85
358.61/358.85 global
358.61/358.85 nbConstraintChecks=161659495 nbValidityChecks=174282693 solvingWckTime=323.986 solvingCpuTime=323.77
358.61/358.85 expiredTime=no totalExploration=yes nbFoundSolutions=0 upperBound=6 upperBoundWckTime=0.0
358.61/358.85 upperBoundCpuTime=0.0 globalCpuTime=358.17
358.61/358.85 => wckTime=358.598 cpuTime=358.13 mem=42M258
358.61/358.85
358.61/358.85 s OPTIMUM FOUND
358.61/358.85 v 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
358.61/358.85 d NODES 62198
358.61/358.85 d CHECKS 161659495
358.61/358.85
358.61/358.85 totalWckTime=358.667 totalCpuTime=358.18
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111070-1215841308/watcher-1111070-1215841308 -o /tmp/evaluation-result-1111070-1215841308/solver-1111070-1215841308 -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-1111070-1215841308.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: 1.99 1.98 1.99 4/74 18086
/proc/meminfo: memFree=1616488/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=18572 CPUtime=0
/proc/18086/stat : 18086 (runsolver) R 18084 18086 17165 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 40833877 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 228706544935 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18086/statm: 4643 292 257 25 0 2626 0
[startup+0.00974693 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 18086
/proc/meminfo: memFree=1616488/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=1616 CPUtime=0
/proc/18086/stat : 18086 (java) D 18084 18086 17165 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 40833877 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0
/proc/18086/statm: 404 148 122 9 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1616
[startup+0.102745 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 18086
/proc/meminfo: memFree=1616488/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=865988 CPUtime=0.08
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 3707 0 1 0 7 1 0 0 18 0 9 0 40833877 886771712 3182 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216497 3182 1687 9 0 211052 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865988
[startup+0.301786 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 18086
/proc/meminfo: memFree=1616488/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866360 CPUtime=0.28
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 5846 0 1 0 25 3 0 0 18 0 9 0 40833877 887152640 5221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216590 5221 1955 9 0 211118 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866360
[startup+0.702851 s]
/proc/loadavg: 1.99 1.98 1.99 4/74 18086
/proc/meminfo: memFree=1616488/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866444 CPUtime=0.67
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 21095 0 1 0 57 10 0 0 18 0 9 0 40833877 887238656 20465 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216611 20465 1978 9 0 211139 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 866444
[startup+1.50199 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 18095
/proc/meminfo: memFree=1539104/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=1.48
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24098 0 1 0 136 12 0 0 18 0 9 0 40833877 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23264 2634 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=1.23
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15798 0 1 0 115 8 0 0 25 0 9 0 40833879 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.11
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 340 0 0 0 11 0 0 0 16 0 9 0 40833882 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866628
[startup+3.10127 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1533344/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=3.08
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24099 0 1 0 293 15 0 0 18 0 9 0 40833877 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23264 2634 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=2.84
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15799 0 1 0 273 11 0 0 25 0 9 0 40833879 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.11
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 340 0 0 0 11 0 0 0 16 0 9 0 40833882 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23264 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 866628
[startup+6.30283 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1533088/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=6.27
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24108 0 1 0 607 20 0 0 18 0 9 0 40833877 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23272 2636 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=6.03
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15801 0 1 0 586 17 0 0 25 0 9 0 40833879 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4126634364 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.12
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 347 0 0 0 12 0 0 0 16 0 9 0 40833882 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 866628
[startup+12.7019 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532896/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=12.68
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24108 0 1 0 1236 32 0 0 18 0 9 0 40833877 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23272 2636 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=12.43
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15801 0 1 0 1215 28 0 0 25 0 9 0 40833879 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4126629175 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.12
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 347 0 0 0 12 0 0 0 16 0 9 0 40833882 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866632 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887431168 23272 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 866628
[startup+25.5022 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532768/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=25.46
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24112 0 1 0 2491 55 0 0 18 0 9 0 40833877 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23276 2637 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866632 CPUtime=25.22
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15801 0 1 0 2470 52 0 0 25 0 9 0 40833879 887431168 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.12
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 351 0 0 0 12 0 0 0 16 0 9 0 40833882 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23276 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 866628
[startup+51.1027 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532512/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=51.06
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24226 0 1 0 5032 74 0 0 18 0 9 0 40833877 887427072 23381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23381 2639 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=50.72
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15858 0 1 0 5002 70 0 0 25 0 9 0 40833879 887427072 23381 996147200 134512640 134550740 4294955952 18446744073709551615 4126629175 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 408 0 0 0 21 0 0 0 16 0 9 0 40833882 887427072 23381 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
################
# More data... #
################
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24231 0 1 0 34457 74 0 0 18 0 9 0 40833877 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23382 2639 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=344.97
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15862 0 1 0 34427 70 0 0 25 0 9 0 40833879 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4126840905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 409 0 0 0 21 0 0 0 16 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 345.31
Current children cumulated vsize (KiB) 866628
[startup+351.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532000/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=351.71
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24231 0 1 0 35097 74 0 0 18 0 9 0 40833877 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23382 2639 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=351.37
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15862 0 1 0 35067 70 0 0 25 0 9 0 40833879 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4126843349 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 409 0 0 0 21 0 0 0 16 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 351.71
Current children cumulated vsize (KiB) 866628
[startup+355.103 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532000/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=354.91
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24231 0 1 0 35417 74 0 0 18 0 9 0 40833877 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23382 2639 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=354.57
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15862 0 1 0 35387 70 0 0 25 0 9 0 40833879 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4126843349 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 409 0 0 0 21 0 0 0 16 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 354.91
Current children cumulated vsize (KiB) 866628
[startup+356.702 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532000/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=356.51
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24231 0 1 0 35577 74 0 0 18 0 9 0 40833877 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23382 2639 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=356.16
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15862 0 1 0 35546 70 0 0 25 0 9 0 40833879 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4126837041 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 409 0 0 0 21 0 0 0 16 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 356.51
Current children cumulated vsize (KiB) 866628
[startup+358.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532000/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=358.11
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24231 0 1 0 35737 74 0 0 18 0 9 0 40833877 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23382 2639 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=357.76
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15862 0 1 0 35706 70 0 0 25 0 9 0 40833879 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4126839471 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 409 0 0 0 21 0 0 0 16 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 358.11
Current children cumulated vsize (KiB) 866628
[startup+358.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532000/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866628 CPUtime=358.51
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24231 0 1 0 35777 74 0 0 18 0 9 0 40833877 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216657 23382 2639 9 0 211163 0
[pid=18086/tid=18088] ppid=18084 vsize=866628 CPUtime=358.16
/proc/18086/task/18088/stat : 18088 (java) R 18084 18086 17165 0 -1 64 15862 0 1 0 35746 70 0 0 25 0 9 0 40833879 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4126658961 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866628 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866628 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 409 0 0 0 21 0 0 0 16 0 9 0 40833882 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866628 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887427072 23382 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 358.51
Current children cumulated vsize (KiB) 866628
[startup+358.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/83 18095
/proc/meminfo: memFree=1532000/2055920 swapFree=4192956/4192956
[pid=18086] ppid=18084 vsize=866952 CPUtime=358.66
/proc/18086/stat : 18086 (java) S 18084 18086 17165 0 -1 0 24241 0 1 0 35792 74 0 0 18 0 9 0 40833877 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18086/statm: 216738 23391 2640 9 0 211244 0
[pid=18086/tid=18088] ppid=18084 vsize=866952 CPUtime=358.32
/proc/18086/task/18088/stat : 18088 (java) S 18084 18086 17165 0 -1 64 15867 0 1 0 35762 70 0 0 25 0 9 0 40833879 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18089] ppid=18084 vsize=866952 CPUtime=0.1
/proc/18086/task/18089/stat : 18089 (java) S 18084 18086 17165 0 -1 64 7265 0 0 0 8 2 0 0 16 0 9 0 40833880 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18090] ppid=18084 vsize=866952 CPUtime=0
/proc/18086/task/18090/stat : 18090 (java) S 18084 18086 17165 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 40833881 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18091] ppid=18084 vsize=866952 CPUtime=0
/proc/18086/task/18091/stat : 18091 (java) S 18084 18086 17165 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 40833881 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18092] ppid=18084 vsize=866952 CPUtime=0
/proc/18086/task/18092/stat : 18092 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 40833882 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18093] ppid=18084 vsize=866952 CPUtime=0.21
/proc/18086/task/18093/stat : 18093 (java) S 18084 18086 17165 0 -1 64 409 0 0 0 21 0 0 0 16 0 9 0 40833882 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18094] ppid=18084 vsize=866952 CPUtime=0
/proc/18086/task/18094/stat : 18094 (java) S 18084 18086 17165 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 40833883 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18086/tid=18095] ppid=18084 vsize=866952 CPUtime=0
/proc/18086/task/18095/stat : 18095 (java) S 18084 18086 17165 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 40833883 887758848 23391 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 358.66
Current children cumulated vsize (KiB) 866952
Child status: 0
Real time (s): 358.919
CPU time (s): 358.685
CPU user time (s): 357.925
CPU system time (s): 0.760884
CPU usage (%): 99.9348
Max. virtual memory (cumulated for all children) (KiB): 866952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357.925
system time used= 0.760884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24245
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= 8524
involuntary context switches= 10044
runsolver used 0.464929 second user time and 1.17782 second system time
The end
Begin job on node8 at 2008-07-12 07:41:48
IDJOB=1111070
IDBENCH=61227
IDSOLVER=360
FILE ID=node8/1111070-1215841308
PBS_JOBID= 7903375
Free space on /tmp= 66332 MiB
SOLVER NAME= AbsconMax 112 pc-d
BENCH NAME= CPAI08/csp/bddSmall/normalized-bdd-21-133-18-78-21_ext.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-1111070-1215841308/watcher-1111070-1215841308 -o /tmp/evaluation-result-1111070-1215841308/solver-1111070-1215841308 -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-1111070-1215841308.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= d8728ee8e65a3149904fb6f60b5335ce
RANDOM SEED=979358668
node8.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.268
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.268
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: 1616968 kB
Buffers: 69500 kB
Cached: 260368 kB
SwapCached: 0 kB
Active: 230708 kB
Inactive: 140700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616968 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3992 kB
Writeback: 0 kB
Mapped: 52760 kB
Slab: 52636 kB
Committed_AS: 260880 kB
PageTables: 1864 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66332 MiB
End job on node8 at 2008-07-12 07:47:47