0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=mrdac-wdeg.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-1109789-1215810537.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.38/0.45 nbVariables=300 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=900
0.38/0.45 => wckTime=0.213 cpuTime=0.16 mem=8M834
0.38/0.45
0.38/0.45 predicates being loaded...
0.48/0.51
0.48/0.51 constraints being loaded...
1.37/1.43 nbConstraints=2300 nbConflictsStructures=1 nbSharedConflictsStructures=2299 nbSharedBinaryRepresentations=0
1.37/1.43 nbEvaluationManagers=1 nbSharedEvaluationManagers=2299 minDegree=23 maxDegree=23 minArity=3 maxArity=3
1.37/1.43 => wckTime=1.189 cpuTime=0.96 mem=43M132
1.48/1.53
1.48/1.53 solver LocalSearchSolver being built...
1.48/1.58 => wckTime=1.342 cpuTime=0.99 mem=9M659
1.48/1.59
1.48/1.59 s SATISFIABLE
1.48/1.59 o 265
1.48/1.60 o 259
1.58/1.60 o 253
1.58/1.60 o 248
1.58/1.60 o 243
1.58/1.61 o 238
1.58/1.61 o 233
1.58/1.61 o 229
1.58/1.61 o 225
1.58/1.61 o 220
1.58/1.61 o 216
1.58/1.61 o 213
1.58/1.61 o 210
1.58/1.61 o 207
1.58/1.61 o 205
1.58/1.61 o 203
1.58/1.61 o 200
1.58/1.61 o 197
1.58/1.62 o 194
1.58/1.62 o 191
1.58/1.62 o 188
1.58/1.62 o 186
1.58/1.62 o 184
1.58/1.62 o 182
1.58/1.62 o 180
1.58/1.62 o 178
1.58/1.62 o 176
1.58/1.62 o 173
1.58/1.62 o 171
1.58/1.62 o 170
1.58/1.63 o 169
1.58/1.63 o 166
1.58/1.63 o 162
1.58/1.63 o 161
1.58/1.63 o 158
1.58/1.63 o 155
1.58/1.63 o 152
1.58/1.63 o 151
1.58/1.63 o 149
1.58/1.63 o 146
1.58/1.63 o 144
1.58/1.63 o 142
1.58/1.63 o 140
1.58/1.63 o 138
1.58/1.63 o 136
1.58/1.63 o 135
1.58/1.64 o 133
1.58/1.64 o 132
1.58/1.64 o 131
1.58/1.64 o 129
1.58/1.64 o 128
1.58/1.64 o 126
1.58/1.64 o 125
1.58/1.64 o 124
1.58/1.64 o 122
1.58/1.65 o 121
1.58/1.65 o 120
1.77/1.82 o 119
1.77/1.82 o 118
1.77/1.82 o 117
1.77/1.84 o 115
1.77/1.84 o 114
1.77/1.84 o 113
1.87/1.92 o 112
1.87/1.92 o 110
1.87/1.92 o 109
1.87/1.92 o 108
1.87/1.92 o 107
1.87/1.92 o 105
1.87/1.93 o 104
2.17/2.24 o 103
2.25/2.35 o 102
2.25/2.39 o 101
2.36/2.43 o 100
2.45/2.54 o 98
2.56/2.61 o 97
2.56/2.61 o 96
2.85/2.99 o 95
2.96/3.02 o 94
2.96/3.02 o 93
2.96/3.03 o 92
2.96/3.03 o 91
2.96/3.03 o 90
2.96/3.04 o 89
2.96/3.06 o 88
3.34/3.47 o 87
3.34/3.47 o 86
3.34/3.48 o 85
3.34/3.48 o 84
3.44/3.50 o 83
3.44/3.50 o 82
3.44/3.51 o 81
3.44/3.58 o 80
5.33/5.41 o 78
5.33/5.42 o 77
5.33/5.44 o 76
5.33/5.45 o 75
5.33/5.49 o 74
5.33/5.49 o 73
5.42/5.51 o 72
6.52/6.65 o 71
6.52/6.66 o 70
6.61/6.70 o 69
7.70/7.87 o 68
7.70/7.88 o 67
7.79/7.90 o 66
7.79/7.90 o 65
7.79/7.91 o 64
7.79/7.92 o 63
7.79/7.92 o 62
7.79/7.93 o 60
7.79/7.93 o 59
7.79/7.95 o 58
7.79/7.95 o 57
7.79/7.95 o 56
7.79/7.95 o 55
7.79/7.95 o 54
7.79/7.95 o 52
7.79/7.95 o 51
7.79/7.95 o 50
17.31/17.57
17.31/17.57 search
17.31/17.57 run=0 nbConstraintChecks=31209486 nbAssignments=10000
17.31/17.57 => wckTime=15.995 cpuTime=15.81 mem=10M665
37.82/38.25
37.82/38.25 search
37.82/38.25 run=1 nbConstraintChecks=71736609 nbAssignments=19581
37.82/38.25 => wckTime=36.675 cpuTime=36.31 mem=10M665
37.82/38.25
37.82/38.25 global
37.82/38.25 nbConstraintChecks=71736609 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.82/38.25 solvingWckTime=36.672 solvingCpuTime=36.3 expiredTime=no totalExploration=no nbFoundSolutions=0
37.82/38.25 globalCpuTime=37.35
37.82/38.25 => wckTime=38.016 cpuTime=37.3 mem=10M665
37.82/38.25
37.82/38.25 solver DecomposerSolver being built...
38.01/38.43 => wckTime=38.193 cpuTime=37.44 mem=38M145
38.01/38.45
38.01/38.45 preprocessing
38.01/38.45 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
38.01/38.45 detectedInconsistency=no
38.01/38.45 => wckTime=0.019 cpuTime=0.02 mem=38M145
3600.05/3620.11 v 1 2 2 2 2 1 1 0 2 2 0 1 0 1 0 2 2 0 1 1 1 2 0 0 1 2 1 0 2 2 1 2 1 0 2 1 0 1 1 2 2 2 0 0 0 2 1 0 0 0 2 0 2 1 0 1 2 2 1 0 0 1 1 2 1 1 1 2 2 1 1 0 1 2 0 1 2 1 2 2 2 1 0 0 1 0 2 0 1 0 0 2 2 2 1 0 1 2 0 1 2 0 1 1 2 1 0 0 2 2 2 2 2 1 0 1 2 2 1 2 0 1 1 0 1 1 1 2 2 0 1 1 2 2 0 1 2 0 2 1 1 0 2 2 1 0 1 1 1 2 2 0 1 2 1 2 1 1 0 2 2 1 0 1 0 0 1 1 0 1 0 2 2 2 0 1 1 2 1 0 1 0 1 2 2 2 1 0 0 1 2 2 0 1 2 1 2 2 1 2 0 1 0 2 1 1 1 2 2 0 1 0 1 1 2 2 2 0 0 2 2 1 1 2 1 2 1 1 0 2 2 1 0 0 1 0 2 2 2 1 0 1 2 1 0 1 1 2 2 2 0 0 2 2 0 2 2 2 1 1 0 0 1 0 1 1 2 1 1 1 0 0 0 0 2 0 0 1 2 1 2 2 0 1 2 0 2 1 0 1 0 2 2 1 2 0 1 1 2 1
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1109789-1215810537/watcher-1109789-1215810537 -o /tmp/evaluation-result-1109789-1215810537/solver-1109789-1215810537 -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-1109789-1215810537.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.92 1.98 1.99 4/80 16948
/proc/meminfo: memFree=1881552/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=1616 CPUtime=0
/proc/16948/stat : 16948 (java) R 16946 16948 14583 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 37752844 1654784 147 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/16948/statm: 404 148 122 9 0 46 0
[startup+0.0794489 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 16948
/proc/meminfo: memFree=1881552/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=865856 CPUtime=0.06
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 3502 0 1 0 5 1 0 0 18 0 9 0 37752844 886636544 2992 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216464 2992 1622 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856
[startup+0.101448 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 16948
/proc/meminfo: memFree=1881552/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=865984 CPUtime=0.08
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 3766 0 1 0 7 1 0 0 18 0 9 0 37752844 886767616 3223 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216496 3223 1703 9 0 211051 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301468 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 16948
/proc/meminfo: memFree=1881552/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=866156 CPUtime=0.28
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 5621 0 1 0 26 2 0 0 18 0 9 0 37752844 886943744 5036 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216539 5036 1905 9 0 211087 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866156
[startup+0.701505 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 16948
/proc/meminfo: memFree=1881552/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867688 CPUtime=0.69
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 8491 0 1 0 64 5 0 0 18 0 9 0 37752844 888512512 7852 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216922 7852 2010 9 0 211428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867688
[startup+1.50258 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 16957
/proc/meminfo: memFree=1845768/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867688 CPUtime=1.48
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 16720 0 1 0 130 18 0 0 18 0 9 0 37752844 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216922 15889 2631 9 0 211428 0
[pid=16948/tid=16950] ppid=16946 vsize=867688 CPUtime=1.16
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14376 0 1 0 100 16 0 0 25 0 9 0 37752845 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867688 CPUtime=0.06
/proc/16948/task/16951/stat : 16951 (java) R 16946 16948 14583 0 -1 64 989 0 0 0 6 0 0 0 16 0 9 0 37752846 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 104182133 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867688 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 37752846 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867688 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 37752847 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867688 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867688 CPUtime=0.22
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 663 0 0 0 22 0 0 0 16 0 9 0 37752849 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867688 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867688 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888512512 15889 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867688
[startup+3.10273 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 16957
/proc/meminfo: memFree=1824136/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=3.05
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17704 0 1 0 277 28 0 0 18 0 9 0 37752844 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16848 2635 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=2.68
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14422 0 1 0 242 26 0 0 25 0 9 0 37752845 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4127068976 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 17 0 9 0 37752846 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.25
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 685 0 0 0 25 0 0 0 16 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867808
[startup+6.30103 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 16957
/proc/meminfo: memFree=1823944/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=6.22
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17705 0 1 0 584 38 0 0 18 0 9 0 37752844 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16848 2635 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=5.84
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14423 0 1 0 548 36 0 0 25 0 9 0 37752845 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4127066392 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.25
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 685 0 0 0 25 0 0 0 16 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867808
[startup+12.7016 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 16957
/proc/meminfo: memFree=1823880/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=12.55
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17705 0 1 0 1202 53 0 0 18 0 9 0 37752844 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16848 2635 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=12.18
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14423 0 1 0 1167 51 0 0 25 0 9 0 37752845 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4127079337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.25
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 685 0 0 0 25 0 0 0 16 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16848 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867808
[startup+25.5018 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 16957
/proc/meminfo: memFree=1823880/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=25.24
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17710 0 1 0 2438 86 0 0 18 0 9 0 37752844 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16853 2636 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=24.85
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14423 0 1 0 2402 83 0 0 25 0 9 0 37752845 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4127079337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.26
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 690 0 0 0 26 0 0 0 17 0 9 0 37752849 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16853 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867808
[startup+51.1022 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 16957
/proc/meminfo: memFree=1823432/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=50.59
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17813 0 1 0 4943 116 0 0 18 0 9 0 37752844 888635392 16950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16950 2637 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=50.14
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14480 0 1 0 4901 113 0 0 25 0 9 0 37752845 888635392 16950 996147200 134512640 134550740 4294955952 18446744073709551615 4127228004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 736 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16950 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
################
# More data... #
################
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 737 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3322.34
Current children cumulated vsize (KiB) 867808
[startup+3402.31 s]
/proc/loadavg: 1.00 1.00 1.21 2/73 16989
/proc/meminfo: memFree=1873752/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=3382.33
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17818 0 1 0 338102 131 0 0 18 0 9 0 37752844 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16952 2637 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=3381.87
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14484 0 1 0 338059 128 0 0 25 0 9 0 37752845 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4127209608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 737 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3382.33
Current children cumulated vsize (KiB) 867808
[startup+3462.3 s]
/proc/loadavg: 1.00 1.00 1.19 2/73 16989
/proc/meminfo: memFree=1873624/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=3442.29
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17818 0 1 0 344098 131 0 0 18 0 9 0 37752844 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16952 2637 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=3441.83
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14484 0 1 0 344055 128 0 0 25 0 9 0 37752845 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4127213115 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 737 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3442.29
Current children cumulated vsize (KiB) 867808
[startup+3522.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/73 16989
/proc/meminfo: memFree=1873560/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=3502.27
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17818 0 1 0 350096 131 0 0 18 0 9 0 37752844 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16952 2637 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=3501.81
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14484 0 1 0 350053 128 0 0 25 0 9 0 37752845 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4127074160 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 737 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3502.27
Current children cumulated vsize (KiB) 867808
[startup+3582.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/73 16989
/proc/meminfo: memFree=1873560/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=3562.25
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17818 0 1 0 356094 131 0 0 18 0 9 0 37752844 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16952 2637 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=3561.79
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14484 0 1 0 356051 128 0 0 25 0 9 0 37752845 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4127066321 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 737 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3562.25
Current children cumulated vsize (KiB) 867808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3620.11 s]
/proc/loadavg: 1.05 1.01 1.16 2/73 16989
/proc/meminfo: memFree=1873560/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=3600.05
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17818 0 1 0 359874 131 0 0 18 0 9 0 37752844 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16952 2637 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=3599.6
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14484 0 1 0 359831 129 0 0 25 0 9 0 37752845 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4127176970 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 737 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 867808
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3620.11 s]
/proc/loadavg: 1.05 1.01 1.16 2/73 16989
/proc/meminfo: memFree=1873560/2055920 swapFree=4180968/4192956
[pid=16948] ppid=16946 vsize=867808 CPUtime=3600.05
/proc/16948/stat : 16948 (java) S 16946 16948 14583 0 -1 0 17818 0 1 0 359874 131 0 0 18 0 9 0 37752844 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16948/statm: 216952 16952 2637 9 0 211458 0
[pid=16948/tid=16950] ppid=16946 vsize=867808 CPUtime=3599.6
/proc/16948/task/16950/stat : 16950 (java) R 16946 16948 14583 0 -1 64 14484 0 1 0 359831 129 0 0 25 0 9 0 37752845 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4127176970 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16948/tid=16951] ppid=16946 vsize=867808 CPUtime=0.08
/proc/16948/task/16951/stat : 16951 (java) S 16946 16948 14583 0 -1 64 1902 0 0 0 8 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16952] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16952/stat : 16952 (java) S 16946 16948 14583 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 37752846 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16953] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16953/stat : 16953 (java) S 16946 16948 14583 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 37752847 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16954] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16954/stat : 16954 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16955] ppid=16946 vsize=867808 CPUtime=0.34
/proc/16948/task/16955/stat : 16955 (java) S 16946 16948 14583 0 -1 64 737 0 0 0 33 1 0 0 17 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16956] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16956/stat : 16956 (java) S 16946 16948 14583 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16948/tid=16957] ppid=16946 vsize=867808 CPUtime=0
/proc/16948/task/16957/stat : 16957 (java) S 16946 16948 14583 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 37752849 888635392 16952 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.05
Current children cumulated vsize (KiB) 867808
Child status: 143
Real time (s): 3620.17
CPU time (s): 3600.12
CPU user time (s): 3598.79
CPU system time (s): 1.3288
CPU usage (%): 99.4462
Max. virtual memory (cumulated for all children) (KiB): 867812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.79
system time used= 1.3288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17836
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= 74657
involuntary context switches= 132071
runsolver used 3.68244 second user time and 11.3943 second system time
The end
Begin job on node48 at 2008-07-11 23:08:57
IDJOB=1109789
IDBENCH=61014
IDSOLVER=359
FILE ID=node48/1109789-1215810537
PBS_JOBID= 7903243
Free space on /tmp= 66540 MiB
SOLVER NAME= AbsconMax 112 pc-w
BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-25-3.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-1109789-1215810537/watcher-1109789-1215810537 -o /tmp/evaluation-result-1109789-1215810537/solver-1109789-1215810537 -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-1109789-1215810537.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3922accf6b7ba2097692072ea1b74ee3
RANDOM SEED=1341688081
node48.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.232
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.232
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: 1882032 kB
Buffers: 16036 kB
Cached: 51468 kB
SwapCached: 5936 kB
Active: 94316 kB
Inactive: 29940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882032 kB
SwapTotal: 4192956 kB
SwapFree: 4180968 kB
Dirty: 2272 kB
Writeback: 0 kB
Mapped: 73012 kB
Slab: 34788 kB
Committed_AS: 1005696 kB
PageTables: 1832 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66540 MiB
End job on node48 at 2008-07-12 00:09:19