0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=pfc.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/279569-1169294642/unknown.xml
0.43
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=58 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.48 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.48
0.48 relations being loaded...
0.54
0.54 constraints being loaded...
0.63 nbConstraints=309 nbRelationTypes=309 nbExtensionStructures=309 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=309 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3058 maxDegree=25
0.63 maxArity=2
0.63 => wckTime=0.256 cpuTime=0.18 mem=9M868
0.67
0.67 solver LocalSearchSolver being built...
0.71 => wckTime=0.335 cpuTime=0.21 mem=5M660
0.72
0.72 s SATISFIABLE
0.72 o 128
0.72 c 181
0.72 o 133
0.72 c 176
0.72 o 139
0.72 c 170
0.72 o 142
0.72 c 167
0.72 o 148
0.72 c 161
0.72 o 151
0.72 c 158
0.72 o 156
0.72 c 153
0.73 o 158
0.73 c 151
0.73 o 160
0.73 c 149
0.73 o 163
0.73 c 146
0.73 o 164
0.73 c 145
0.73 o 168
0.73 c 141
0.73 o 173
0.73 c 136
0.73 o 176
0.73 c 133
0.73 o 179
0.73 c 130
0.73 o 180
0.73 c 129
0.73 o 181
0.73 c 128
0.74 o 182
0.74 c 127
0.74 o 184
0.74 c 125
0.74 o 185
0.74 c 124
0.74 o 186
0.74 c 123
0.74 o 188
0.74 c 121
0.74 o 189
0.74 c 120
0.74 o 193
0.74 c 116
0.74 o 194
0.74 c 115
0.74 o 196
0.74 c 113
0.74 o 198
0.74 c 111
0.75 o 200
0.75 c 109
0.75 o 203
0.75 c 106
0.75 o 204
0.75 c 105
0.76 o 205
0.76 c 104
0.76 o 206
0.76 c 103
0.77 o 207
0.77 c 102
0.77 o 208
0.77 c 101
0.77 o 209
0.77 c 100
0.77 o 210
0.77 c 99
0.77 o 211
0.77 c 98
0.77 o 212
0.77 c 97
0.77 o 213
0.77 c 96
0.77 o 214
0.77 c 95
0.79 o 215
0.79 c 94
0.79 o 216
0.79 c 93
0.79 o 217
0.79 c 92
0.79 o 218
0.79 c 91
0.80 o 219
0.81 c 90
1.27 o 220
1.27 c 89
1.35 o 221
1.35 c 88
2.14 o 222
2.14 c 87
2.14 o 223
2.14 c 86
3.06
3.06 search
3.06 run=0 nbConstraintChecks=15057726 nbAssignments=10000
3.06 => wckTime=2.347 cpuTime=2.32 mem=5M660
5.36
5.36 search
5.36 run=1 nbConstraintChecks=30429022 nbAssignments=20000
5.36 => wckTime=4.653 cpuTime=4.62 mem=5M660
7.63
7.63 search
7.63 run=2 nbConstraintChecks=45456078 nbAssignments=30000
7.63 => wckTime=6.919 cpuTime=6.89 mem=5M660
9.93
9.93 search
9.93 run=3 nbConstraintChecks=60689409 nbAssignments=40000
9.93 => wckTime=9.217 cpuTime=9.19 mem=5M660
10.72 o 224
10.72 c 85
12.22
12.22 search
12.22 run=4 nbConstraintChecks=75715081 nbAssignments=50000
12.22 => wckTime=11.512 cpuTime=11.47 mem=5M660
14.54
14.54 search
14.54 run=5 nbConstraintChecks=91067797 nbAssignments=60000
14.54 => wckTime=13.828 cpuTime=13.79 mem=5M660
16.81
16.81 search
16.81 run=6 nbConstraintChecks=105948007 nbAssignments=70000
16.81 => wckTime=16.096 cpuTime=16.05 mem=5M660
19.10
19.11 search
19.11 run=7 nbConstraintChecks=121162176 nbAssignments=80000
19.11 => wckTime=18.394 cpuTime=18.35 mem=5M660
21.36
21.36 search
21.36 run=8 nbConstraintChecks=136092588 nbAssignments=90000
21.36 => wckTime=20.649 cpuTime=20.6 mem=5M660
23.65
23.65 search
23.65 run=9 nbConstraintChecks=151341916 nbAssignments=100000
23.65 => wckTime=22.938 cpuTime=22.9 mem=5M660
25.91
25.91 search
25.91 run=10 nbConstraintChecks=166317584 nbAssignments=110000
25.91 => wckTime=25.196 cpuTime=25.15 mem=5M660
28.18
28.18 search
28.18 run=11 nbConstraintChecks=181429150 nbAssignments=120000
28.18 => wckTime=27.467 cpuTime=27.42 mem=5M660
30.46
30.46 search
30.46 run=12 nbConstraintChecks=196429331 nbAssignments=130000
30.46 => wckTime=29.748 cpuTime=29.7 mem=5M660
32.74
32.74 search
32.74 run=13 nbConstraintChecks=211503725 nbAssignments=140000
32.74 => wckTime=32.032 cpuTime=31.98 mem=5M660
33.05 o 225
33.05 c 84
35.01
35.01 search
35.01 run=14 nbConstraintChecks=226401333 nbAssignments=150000
35.01 => wckTime=34.302 cpuTime=34.25 mem=5M660
37.33
37.33 search
37.33 run=15 nbConstraintChecks=241685726 nbAssignments=160000
37.33 => wckTime=36.614 cpuTime=36.56 mem=5M660
39.60
39.60 search
39.60 run=16 nbConstraintChecks=256717854 nbAssignments=170000
39.60 => wckTime=38.89 cpuTime=38.83 mem=5M660
41.92
41.92 search
41.92 run=17 nbConstraintChecks=272003314 nbAssignments=180000
41.92 => wckTime=41.205 cpuTime=41.13 mem=5M660
44.18
44.18 search
44.18 run=18 nbConstraintChecks=287003097 nbAssignments=190000
44.18 => wckTime=43.469 cpuTime=43.39 mem=5M660
46.48
46.48 search
46.48 run=19 nbConstraintChecks=302319317 nbAssignments=200000
46.48 => wckTime=45.763 cpuTime=45.69 mem=5M660
48.74
48.74 search
48.74 run=20 nbConstraintChecks=317323100 nbAssignments=210000
48.74 => wckTime=48.031 cpuTime=47.95 mem=5M660
51.05
51.05 search
51.05 run=21 nbConstraintChecks=332571851 nbAssignments=220000
51.05 => wckTime=50.339 cpuTime=50.26 mem=5M660
53.32
53.32 search
53.32 run=22 nbConstraintChecks=347501982 nbAssignments=230000
53.32 => wckTime=52.612 cpuTime=52.53 mem=5M660
55.64
55.64 search
55.64 run=23 nbConstraintChecks=362791645 nbAssignments=240000
55.64 => wckTime=54.925 cpuTime=54.84 mem=5M660
57.93
57.93 search
57.93 run=24 nbConstraintChecks=377759799 nbAssignments=250000
57.93 => wckTime=57.214 cpuTime=57.12 mem=5M660
60.19
60.19 search
60.19 run=25 nbConstraintChecks=392773860 nbAssignments=260000
60.19 => wckTime=59.483 cpuTime=59.39 mem=5M660
62.47
62.47 search
62.47 run=26 nbConstraintChecks=407836612 nbAssignments=270000
62.47 => wckTime=61.758 cpuTime=61.66 mem=5M660
63.09
63.09 search
63.09 run=27 nbConstraintChecks=411990910 nbAssignments=272747
63.09 => wckTime=62.383 cpuTime=62.29 mem=5M660
63.10
63.10 global
63.10 nbConstraintChecks=411990910 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
63.10 solvingWckTime=62.382 solvingCpuTime=62.29 expiredTime=no totalExploration=no nbFoundSolutions=0
63.10 globalCpuTime=62.54
63.10 => wckTime=62.719 cpuTime=62.5 mem=5M660
63.10
63.10 solver IterativeSystematicSolver being built...
63.22 => wckTime=62.844 cpuTime=62.59 mem=16M714
63.23
63.23 preprocessing
63.23 nbConstraintChecks=925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
63.23 detectedInconsistency=no
63.23 => wckTime=0.0090 cpuTime=0.01 mem=16M714
63.30
63.30 search
63.30 run=0 nbConstraintChecks=87758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
63.30 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=73 nbRestartNogoods=0
63.30 => wckTime=0.072 cpuTime=0.05 mem=16M714
63.35
63.35 search
63.35 run=1 nbConstraintChecks=200400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111
63.35 nbFailedAssignments=29 nbBacktracks=25 nbVisitedNodes=166 nbRestartNogoods=5
63.35 => wckTime=0.125 cpuTime=0.1 mem=16M714
63.42
63.42 search
63.42 run=2 nbConstraintChecks=422478 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=210
63.42 nbFailedAssignments=78 nbBacktracks=47 nbVisitedNodes=336 nbRestartNogoods=9
63.42 => wckTime=0.197 cpuTime=0.17 mem=16M714
63.49
63.49 search
63.49 run=3 nbConstraintChecks=631138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=311
63.49 nbFailedAssignments=114 nbBacktracks=80 nbVisitedNodes=506 nbRestartNogoods=12
63.49 => wckTime=0.264 cpuTime=0.23 mem=16M714
63.61
63.61 search
63.61 run=4 nbConstraintChecks=1037698 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=481
63.61 nbFailedAssignments=208 nbBacktracks=130 nbVisitedNodes=820 nbRestartNogoods=15
63.61 => wckTime=0.386 cpuTime=0.35 mem=16M714
63.76
63.76 search
63.76 run=5 nbConstraintChecks=1528796 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=675
63.76 nbFailedAssignments=304 nbBacktracks=205 nbVisitedNodes=1185 nbRestartNogoods=20
63.76 => wckTime=0.541 cpuTime=0.5 mem=16M714
64.00
64.00 search
64.00 run=6 nbConstraintChecks=2276558 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=978
64.00 nbFailedAssignments=466 nbBacktracks=318 nbVisitedNodes=1763 nbRestartNogoods=26
64.00 => wckTime=0.773 cpuTime=0.73 mem=16M714
64.29
64.29 search
64.29 run=7 nbConstraintChecks=3211719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1372
64.29 nbFailedAssignments=657 nbBacktracks=488 nbVisitedNodes=2518 nbRestartNogoods=33
64.29 => wckTime=1.065 cpuTime=1.02 mem=16M714
64.90
64.90 search
64.90 run=8 nbConstraintChecks=5112674 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2091
64.90 nbFailedAssignments=1096 nbBacktracks=744 nbVisitedNodes=3932 nbRestartNogoods=39
64.90 => wckTime=1.676 cpuTime=1.62 mem=16M714
65.80
65.80 search
65.80 run=9 nbConstraintChecks=8066793 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3191
65.80 nbFailedAssignments=1785 nbBacktracks=1128 nbVisitedNodes=6105 nbRestartNogoods=52
65.80 => wckTime=2.578 cpuTime=2.52 mem=16M714
67.04
67.04 search
67.04 run=10 nbConstraintChecks=12348745 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4826
67.04 nbFailedAssignments=2816 nbBacktracks=1704 nbVisitedNodes=9347 nbRestartNogoods=55
67.04 => wckTime=3.817 cpuTime=3.75 mem=16M714
68.39
68.39 search
68.39 run=11 nbConstraintChecks=17100010 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6714
68.39 nbFailedAssignments=3812 nbBacktracks=2568 nbVisitedNodes=13095 nbRestartNogoods=68
68.39 => wckTime=5.164 cpuTime=5.09 mem=16M714
71.20
71.20 search
71.20 run=12 nbConstraintChecks=26528348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10281
71.20 nbFailedAssignments=6053 nbBacktracks=3866 nbVisitedNodes=20201 nbRestartNogoods=76
71.20 => wckTime=7.98 cpuTime=7.91 mem=16M714
75.20
75.20 search
75.20 run=13 nbConstraintChecks=39359811 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15073
75.20 nbFailedAssignments=8872 nbBacktracks=5812 nbVisitedNodes=29758 nbRestartNogoods=81
75.20 => wckTime=11.974 cpuTime=11.9 mem=16M714
81.79
81.79 search
81.79 run=14 nbConstraintChecks=60855518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22659
81.79 nbFailedAssignments=13513 nbBacktracks=8731 nbVisitedNodes=44904 nbRestartNogoods=90
81.79 => wckTime=18.571 cpuTime=18.5 mem=16M714
91.91
91.91 search
91.91 run=15 nbConstraintChecks=93613708 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34673
91.91 nbFailedAssignments=21122 nbBacktracks=13109 nbVisitedNodes=68905 nbRestartNogoods=98
91.91 => wckTime=28.69 cpuTime=28.59 mem=16M714
105.75
105.76 search
105.76 run=16 nbConstraintChecks=140347714 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52034
105.76 nbFailedAssignments=31886 nbBacktracks=19677 nbVisitedNodes=103598 nbRestartNogoods=104
105.76 => wckTime=42.532 cpuTime=42.41 mem=16M714
126.48
126.48 search
126.48 run=17 nbConstraintChecks=208192608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77160
126.48 nbFailedAssignments=47136 nbBacktracks=29529 nbVisitedNodes=153826 nbRestartNogoods=118
126.48 => wckTime=63.254 cpuTime=63.13 mem=16M714
161.86
161.86 search
161.86 run=18 nbConstraintChecks=313580454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=115044
161.86 nbFailedAssignments=70218 nbBacktracks=44307 nbVisitedNodes=229570 nbRestartNogoods=132
161.86 => wckTime=98.639 cpuTime=98.47 mem=16M714
215.87
215.87 search
215.87 run=19 nbConstraintChecks=475990024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=174848
215.87 nbFailedAssignments=107833 nbBacktracks=66475 nbVisitedNodes=349156 nbRestartNogoods=151
215.87 => wckTime=152.643 cpuTime=152.43 mem=16M714
298.01
298.01 search
298.01 run=20 nbConstraintChecks=729711776 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=268564
298.01 nbFailedAssignments=168277 nbBacktracks=99727 nbVisitedNodes=536566 nbRestartNogoods=164
298.01 => wckTime=234.789 cpuTime=234.49 mem=16M714
439.14
439.14 search
439.14 run=21 nbConstraintChecks=1124028419 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=410241
439.14 nbFailedAssignments=260061 nbBacktracks=149605 nbVisitedNodes=819795 nbRestartNogoods=175
439.14 => wckTime=375.921 cpuTime=375.48 mem=16M714
636.61
636.61 search
636.61 run=22 nbConstraintChecks=1689181358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=622310
636.61 nbFailedAssignments=397293 nbBacktracks=224423 nbVisitedNodes=1242446 nbRestartNogoods=197
636.61 => wckTime=573.386 cpuTime=572.73 mem=16M714
890.28
890.28 search
890.28 run=23 nbConstraintChecks=2424620985 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=928838
890.28 nbFailedAssignments=591571 nbBacktracks=336650 nbVisitedNodes=1849212 nbRestartNogoods=212
890.28 => wckTime=827.057 cpuTime=826.16 mem=16M714
1175.61
1175.61 search
1175.61 run=24 nbConstraintChecks=3265431173 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1303936
1175.61 nbFailedAssignments=798300 nbBacktracks=504991 nbVisitedNodes=2586943 nbRestartNogoods=227
1175.61 => wckTime=1112.384 cpuTime=1111.19 mem=16M714
1540.19
1540.19 search
1540.19 run=25 nbConstraintChecks=4396860360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1828544
1540.19 nbFailedAssignments=1070369 nbBacktracks=757502 nbVisitedNodes=3618776 nbRestartNogoods=242
1540.19 => wckTime=1476.963 cpuTime=1475.39 mem=16M714
1989.21
1989.21 search
1989.21 run=26 nbConstraintChecks=5817163881 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2570016
1989.21 nbFailedAssignments=1433044 nbBacktracks=1136269 nbVisitedNodes=5054956 nbRestartNogoods=254
1989.21 => wckTime=1925.986 cpuTime=1923.95 mem=16M714
2402.65 v 2 0 4 2 3 0 2 2 1 0 3 0 1 3 3 0 1 2 2 0 1 2 3 1 4 4 2 1 4 0 4 2 1 3 3 1 3 2 0 4 4 3 4 3 3 1 1 2 2 3 2 4 2 1 1 3 2 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-279569-1169294642 -o ROOT/results/node24/solver-279569-1169294642 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279569-1169294642/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.91 0.97 0.99 4/93 32251
/proc/meminfo: memFree=1347728/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=9788 CPUtime=0
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 434 0 0 0 0 0 0 0 18 0 1 0 277859466 10022912 221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2575649 0 0 4096 0 0 0 0 17 0 0 0
/proc/32250/statm: 2447 230 171 14 0 1138 0
[startup+0.108791 s]
/proc/loadavg: 0.91 0.97 0.99 4/93 32251
/proc/meminfo: memFree=1347728/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=907808 CPUtime=0.04
/proc/32250/stat : 32250 (java) D 32248 32250 32033 0 -1 0 2456 0 1 0 4 0 0 0 20 0 4 0 277859466 929595392 2203 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 226952 2203 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907808
[startup+0.525819 s]
/proc/loadavg: 0.91 0.97 0.99 4/93 32251
/proc/meminfo: memFree=1347728/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915332 CPUtime=0.42
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 6212 0 1 0 39 3 0 0 22 0 8 0 277859466 937299968 5951 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228833 5951 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.35277 s]
/proc/loadavg: 0.91 0.97 0.99 3/100 32258
/proc/meminfo: memFree=1328920/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=1.24
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 7385 0 1 0 108 16 0 0 25 0 8 0 277859466 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 7123 2476 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915468 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937439232 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.14
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915464
[startup+2.99008 s]
/proc/loadavg: 0.91 0.97 0.99 3/100 32258
/proc/meminfo: memFree=1328920/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2.87
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 7386 0 1 0 246 41 0 0 25 0 8 0 277859466 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 7123 2476 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915468 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937439232 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.14
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 350 0 0 0 14 0 0 0 16 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 7123 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915464
[startup+6.27104 s]
/proc/loadavg: 1.00 0.98 0.99 3/100 32258
/proc/meminfo: memFree=1328872/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=6.16
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 7389 0 1 0 523 93 0 0 25 0 8 0 277859466 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228867 7126 2476 14 0 215337 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.14
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 352 0 0 0 14 0 0 0 16 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915464
[startup+12.7587 s]
/proc/loadavg: 1.15 1.02 1.01 3/100 32258
/proc/meminfo: memFree=1328888/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=12.63
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 7389 0 1 0 1060 203 0 0 25 0 8 0 277859466 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073767812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 7126 2476 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915468 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277859473 937439232 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.15
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915464
[startup+25.6151 s]
/proc/loadavg: 1.28 1.05 1.02 3/100 32258
/proc/meminfo: memFree=1328832/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915468 CPUtime=25.48
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 7389 0 1 0 2136 412 0 0 25 0 8 0 277859466 937439232 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 7126 2476 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915468 CPUtime=0.15
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 277859482 937439232 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915468
[startup+51.2229 s]
/proc/loadavg: 1.53 1.12 1.04 3/100 32258
/proc/meminfo: memFree=1328960/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=51.05
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 7390 0 1 0 4264 841 0 0 25 0 8 0 277859466 937435136 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 7127 2476 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 195 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915468 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937439232 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.15
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 353 0 0 0 15 0 0 0 16 0 8 0 277859482 937435136 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 7127 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 915464
[startup+102.434 s]
/proc/loadavg: 1.79 1.26 1.09 3/100 32258
/proc/meminfo: memFree=1315328/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=102.2
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9147 0 1 0 9180 1040 0 0 25 0 8 0 277859466 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8881 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 416 0 0 0 24 2 0 0 15 0 8 0 277859482 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 915464
[startup+162.488 s]
/proc/loadavg: 1.92 1.39 1.14 3/100 32258
/proc/meminfo: memFree=1315264/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=162.21
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9155 0 1 0 15181 1040 0 0 25 0 8 0 277859466 937435136 8889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073900592 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2021.87
Current children cumulated vsize (KiB) 915464
[startup+2084.1 s]
/proc/loadavg: 2.07 2.00 1.86 3/100 32260
/proc/meminfo: memFree=1314880/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2081.86
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9180 0 1 0 207143 1043 0 0 25 0 8 0 277859466 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8912 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 418 0 0 0 24 2 0 0 16 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.86
Current children cumulated vsize (KiB) 915464
[startup+2144.15 s]
/proc/loadavg: 2.02 2.00 1.86 3/100 32260
/proc/meminfo: memFree=1314880/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2141.86
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9180 0 1 0 213143 1043 0 0 25 0 8 0 277859466 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8912 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 418 0 0 0 24 2 0 0 16 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.86
Current children cumulated vsize (KiB) 915464
[startup+2204.2 s]
/proc/loadavg: 2.01 2.00 1.87 3/100 32260
/proc/meminfo: memFree=1314816/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2201.84
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9180 0 1 0 219141 1043 0 0 25 0 8 0 277859466 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073900077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8912 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 418 0 0 0 24 2 0 0 16 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.84
Current children cumulated vsize (KiB) 915464
[startup+2264.24 s]
/proc/loadavg: 2.00 2.00 1.88 3/100 32260
/proc/meminfo: memFree=1314880/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2261.82
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9180 0 1 0 225139 1043 0 0 25 0 8 0 277859466 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8912 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 418 0 0 0 24 2 0 0 16 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.82
Current children cumulated vsize (KiB) 915464
[startup+2324.29 s]
/proc/loadavg: 2.04 2.01 1.89 3/100 32260
/proc/meminfo: memFree=1314816/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2321.81
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9180 0 1 0 231138 1043 0 0 25 0 8 0 277859466 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8912 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 418 0 0 0 24 2 0 0 16 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.81
Current children cumulated vsize (KiB) 915464
[startup+2384.34 s]
/proc/loadavg: 2.01 2.01 1.89 3/100 32260
/proc/meminfo: memFree=1314880/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2381.78
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9180 0 1 0 237135 1043 0 0 25 0 8 0 277859466 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744231 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8912 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 418 0 0 0 24 2 0 0 16 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.78
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.65 s]
/proc/loadavg: 2.01 2.01 1.89 3/100 32260
/proc/meminfo: memFree=1314880/2055920 swapFree=4180096/4192956
[pid=32250] ppid=32248 vsize=915464 CPUtime=2400.07
/proc/32250/stat : 32250 (java) R 32248 32250 32033 0 -1 0 9180 0 1 0 238964 1043 0 0 25 0 8 0 277859466 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073874421 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32250/statm: 228866 8912 2527 14 0 215336 0
[pid=32250/tid=32252] ppid=32248 vsize=915464 CPUtime=0.02
/proc/32250/task/32252/stat : 32252 (java) S 32248 32250 32033 0 -1 64 196 0 0 0 2 0 0 0 16 0 8 0 277859473 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32253] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32253/stat : 32253 (java) S 32248 32250 32033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32254] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32254/stat : 32254 (java) S 32248 32250 32033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277859474 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32255] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32255/stat : 32255 (java) S 32248 32250 32033 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32256] ppid=32248 vsize=915464 CPUtime=0.26
/proc/32250/task/32256/stat : 32256 (java) S 32248 32250 32033 0 -1 64 418 0 0 0 24 2 0 0 16 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32257] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32257/stat : 32257 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32250/tid=32258] ppid=32248 vsize=915464 CPUtime=0
/proc/32250/task/32258/stat : 32258 (java) S 32248 32250 32033 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277859482 937435136 8912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.68
CPU time (s): 2400.11
CPU user time (s): 2389.66
CPU system time (s): 10.4444
CPU usage (%): 99.8932
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.66
system time used= 10.4444
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9203
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= 49825
involuntary context switches= 112802
runsolver used 3.2835 s user time and 7.36688 s system time
The end
Begin job on node24 on Sat Jan 20 12:04:02 UTC 2007
IDJOB= 279569
IDBENCH= 10302
IDSOLVER= 69
FILE ID= node24/279569-1169294642
PBS_JOBID= 3609817
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-2-3-5/kbtree-9-2-3-5-60/kbtree-9-2-3-5-60-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279569-1169294642/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-279569-1169294642 -o ROOT/results/node24/solver-279569-1169294642 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279569-1169294642/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e1efb854d9f82475eb4a964c90aef5d4
RANDOM SEED= 931249172
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1348208 kB
Buffers: 46184 kB
Cached: 523228 kB
SwapCached: 6072 kB
Active: 190948 kB
Inactive: 448316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1348208 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 3724 kB
Writeback: 0 kB
Mapped: 95316 kB
Slab: 53072 kB
Committed_AS: 6468196 kB
PageTables: 2448 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= 66561 MiB
End job on node24 on Sat Jan 20 12:44:05 UTC 2007