runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15322 MiB free)
memory of node 1: 16384 MiB (13344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401023-1568673331/watcher-4401023-1568673331 -o /tmp/evaluation-result-4401023-1568673331/solver-4401023-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568673289-32267 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401023-1568673331.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32297, runsolver pid=32290
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 0.39 1.86 2.77 2/206 32354
/proc/meminfo: memFree=29352264/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/32297/stat : 32297 (bash) S 32290 32297 32236 0 -1 4202496 888 5698 0 0 0 0 0 1 20 0 1 0 443270336 115974144 404 33554432000 4194304 5098028 140731396218208 140731396212216 140132381035520 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 36896768 140731396224020 140731396224145 140731396224145 140731396227054 0
/proc/32297/statm: 28314 404 320 221 0 119 0
[pid=32352] ppid=32297 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/32352/stat : 32352 (bash) S 32297 32297 32236 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443270339 115974144 178 33554432000 4194304 5098028 140731396218208 140731396210888 140132380861052 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36896768 140731396224020 140731396224145 140731396224145 140731396227054 0
/proc/32352/statm: 28314 178 94 221 0 119 0
[pid=32353] ppid=32352 vsize=11672 memory=660 CPUtime=0 cores=0,2,4,6
/proc/32353/stat : 32353 (java) D 32352 32297 32236 0 -1 1077944320 315 0 0 0 0 0 0 0 20 0 1 0 443270339 11952128 165 33554432000 4194304 4196468 140735119886688 140735119864968 140613374856096 0 0 4096 0 18446744072101580324 0 0 17 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
/proc/32353/statm: 2918 165 132 1 0 340 0
[pid=32354] ppid=32352 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/32354/stat : 32354 (awk) S 32352 32297 32236 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443270339 116211712 243 33554432000 4194304 4609284 140735169014320 140735169013496 140219602336768 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 24346624 140735169021116 140735169021146 140735169021146 140735169023983 0
/proc/32354/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 351672 KiB
Current children cumulated memory: 3960 KiB
[startup+0.210266 s]*
/proc/loadavg: 0.39 1.86 2.77 3/212 32360
/proc/meminfo: memFree=29343024/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/32297/stat : 32297 (bash) S 32290 32297 32236 0 -1 4202496 888 5698 0 0 0 0 0 1 20 0 1 0 443270336 115974144 404 33554432000 4194304 5098028 140731396218208 140731396212216 140132381035520 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 36896768 140731396224020 140731396224145 140731396224145 140731396227054 0
/proc/32297/statm: 28314 404 320 221 0 119 0
[pid=32352] ppid=32297 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/32352/stat : 32352 (bash) S 32297 32297 32236 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443270339 115974144 178 33554432000 4194304 5098028 140731396218208 140731396210888 140132380861052 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36896768 140731396224020 140731396224145 140731396224145 140731396227054 0
/proc/32352/statm: 28314 178 94 221 0 119 0
[pid=32353] ppid=32352 vsize=9940964 memory=16296 CPUtime=0 cores=0,2,4,6
/proc/32353/stat : 32353 (java) S 32352 32297 32236 0 -1 1077944320 3388 0 0 0 0 0 0 0 20 0 6 0 443270339 10179547136 4074 33554432000 4194304 4196468 140735119886688 140735119869232 140613382176503 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
/proc/32353/statm: 2485241 4074 1926 1 0 2473679 0
[pid=32353/tid=32356] ppid=32352 vsize=9940964 memory=7751702667093440019 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32356/stat : 32356 (java) R 32352 32297 32236 0 -1 4202560 2106 0 0 0 0 0 0 0 20 0 6 0 443270349 10179547136 4074 33554432000 4194304 4196468 140735119886688 140613386415872 140613361757787 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32361] ppid=32352 vsize=9940964 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32361/stat : 32361 (java) S 32352 32297 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443270358 10179547136 4074 33554432000 4194304 4196468 140735119886688 140613338729488 140613382186709 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32362] ppid=32352 vsize=9940964 memory=139661919745664 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32362/stat : 32362 (java) S 32352 32297 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443270358 10179547136 4074 33554432000 4194304 4196468 140735119886688 140612987706512 140613382186709 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32363] ppid=32352 vsize=9940964 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32363/stat : 32363 (java) S 32352 32297 32236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 443270358 10179547136 4074 33554432000 4194304 4196468 140735119886688 140612986653456 140613382186709 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32364] ppid=32352 vsize=9940964 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32364/stat : 32364 (java) S 32352 32297 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443270358 10179547136 4074 33554432000 4194304 4196468 140735119886688 140612985600912 140613382186709 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32354] ppid=32352 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/32354/stat : 32354 (awk) S 32352 32297 32236 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443270339 116211712 243 33554432000 4194304 4609284 140735169014320 140735169013496 140219602336768 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 24346624 140735169021116 140735169021146 140735169021146 140735169023983 0
/proc/32354/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10280964 KiB
Current children cumulated memory: 19596 KiB
[startup+0.310315 s]*
/proc/loadavg: 0.39 1.86 2.77 2/222 32370
/proc/meminfo: memFree=29327372/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/32297/stat : 32297 (bash) S 32290 32297 32236 0 -1 4202496 888 5698 0 0 0 0 0 1 20 0 1 0 443270336 115974144 404 33554432000 4194304 5098028 140731396218208 140731396212216 140132381035520 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 36896768 140731396224020 140731396224145 140731396224145 140731396227054 0
/proc/32297/statm: 28314 404 320 221 0 119 0
[pid=32352] ppid=32297 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/32352/stat : 32352 (bash) S 32297 32297 32236 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443270339 115974144 178 33554432000 4194304 5098028 140731396218208 140731396210888 140132380861052 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36896768 140731396224020 140731396224145 140731396224145 140731396227054 0
/proc/32352/statm: 28314 178 94 221 0 119 0
[pid=32353] ppid=32352 vsize=10260324 memory=21700 CPUtime=0.04 cores=0,2,4,6
/proc/32353/stat : 32353 (java) S 32352 32297 32236 0 -1 1077944320 4305 0 0 0 3 1 0 0 20 0 9 0 443270339 10506571776 5425 33554432000 4194304 4196468 140735119886688 140735119869232 140613382176503 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
/proc/32353/statm: 2565081 5425 2193 1 0 2527622 0
[pid=32353/tid=32356] ppid=32352 vsize=10260324 memory=576567874760998942 CPUtime=0.04 cores=0,2,4,6
/proc/32353/task/32356/stat : 32356 (java) D 32352 32297 32236 0 -1 1077944384 2960 0 0 0 3 1 0 0 20 0 9 0 443270349 10506571776 5425 33554432000 4194304 4196468 140735119886688 140613386411544 140613374854517 0 4 0 16800971 18446744072101580324 0 0 -1 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32361] ppid=32352 vsize=10260324 memory=4294976167 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32361/stat : 32361 (java) S 32352 32297 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443270358 10506571776 5425 33554432000 4194304 4196468 140735119886688 140613338729488 140613382186709 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32362] ppid=32352 vsize=10260324 memory=3762668672051672736 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32362/stat : 32362 (java) S 32352 32297 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443270358 10506571776 5425 33554432000 4194304 4196468 140735119886688 140612987706512 140613382186709 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32363] ppid=32352 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32363/stat : 32363 (java) S 32352 32297 32236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443270358 10506571776 5425 33554432000 4194304 4196468 140735119886688 140612986653456 140613382186709 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32364] ppid=32352 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32364/stat : 32364 (java) S 32352 32297 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443270358 10506571776 5425 33554432000 4194304 4196468 140735119886688 140612985600912 140613382186709 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32366] ppid=32352 vsize=10260324 memory=139661919745664 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32366/stat : 32366 (java) S 32352 32297 32236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443270359 10506571776 5425 33554432000 4194304 4196468 140735119886688 140612941347056 140613382187650 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32368] ppid=32352 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32368/stat : 32368 (java) S 32352 32297 32236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443270360 10506571776 5425 33554432000 4194304 4196468 140735119886688 140612940293280 140613382186709 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32353/tid=32370] ppid=32352 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32353/task/32370/stat : 32370 (java) S 32352 32297 32236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443270360 10506571776 5425 33554432000 4194304 4196468 140735119886688 140612939240176 140613382186709 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8695808 140735119889548 140735119889562 140735119889562 140735119892431 0
[pid=32354] ppid=32352 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/32354/stat : 32354 (awk) S 32352 32297 32236 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443270339 116211712 243 33554432000 4194304 4609284 140735169014320 140735169013496 140219602336768 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 24346624 140735169021116 140735169021146 140735169021146 140735169023983 0
/proc/32354/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 25000 KiB
[startup+0.701957 s]
/proc/loadavg: 0.39 1.86 2.77 4/227 32427
/proc/meminfo: memFree=29317400/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=10820196 memory=41080 CPUtime=0.28 cores=0,2,4,6
/proc/32297/stat : 32297 (java) S 32290 32297 32236 0 -1 1077944320 7137 13326 0 0 18 2 5 3 20 0 15 0 443270336 11079880704 10270 33554432000 4194304 4196468 140734684268992 140734684251536 140214554877687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
/proc/32297/statm: 2705049 10270 3289 1 0 2667149 0
[pid=32297/tid=32402] ppid=32290 vsize=10820196 memory=7086242839394279744 CPUtime=0.2 cores=0,2,4,6
/proc/32297/task/32402/stat : 32402 (java) D 32290 32297 32236 0 -1 1077944384 3621 13326 0 0 11 1 5 3 20 0 15 0 443270376 11079880704 10270 33554432000 4194304 4196468 140734684268992 140214526691728 140214554899709 0 4 0 16800975 18446744072101580324 0 0 -1 6 0 0 2 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32407] ppid=32290 vsize=10820196 memory=7451301680481654628 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32407/stat : 32407 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270378 11079880704 10270 33554432000 4194304 4196468 140734684268992 140214559120400 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32408] ppid=32290 vsize=10820196 memory=5865491479076426066 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32408/stat : 32408 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270378 11079880704 10270 33554432000 4194304 4196468 140734684268992 140214447393936 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32409] ppid=32290 vsize=10820196 memory=4639059877604708710 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32409/stat : 32409 (java) S 32290 32297 32236 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 443270378 11079880704 10270 33554432000 4194304 4196468 140734684268992 140214446340880 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32410] ppid=32290 vsize=10820196 memory=5788930165031592000 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32410/stat : 32410 (java) S 32290 32297 32236 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 443270378 11079880704 10270 33554432000 4194304 4196468 140734684268992 140214445288336 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32414] ppid=32290 vsize=10820196 memory=4638778402627731557 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32414/stat : 32414 (java) S 32290 32297 32236 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 443270379 11079880704 10270 33554432000 4194304 4196468 140734684268992 140214014146800 140214554888834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32415] ppid=32290 vsize=10820196 memory=1712 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32415/stat : 32415 (java) S 32290 32297 32236 0 -1 1077944384 33 13326 0 0 0 0 5 3 20 0 15 0 443270380 11079880704 10270 33554432000 4194304 4196468 140734684268992 140214013093024 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32416] ppid=32290 vsize=10820196 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32416/stat : 32416 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270380 11079880704 10270 33554432000 4194304 4196468 140734684268992 140213435228912 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32422] ppid=32290 vsize=10820196 memory=1044 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32422/stat : 32422 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270383 11079880704 10270 33554432000 4194304 4196468 140734684268992 140213127829456 140214554896283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32423] ppid=32290 vsize=10820196 memory=712 CPUtime=0.09 cores=0,2,4,6
/proc/32297/task/32423/stat : 32423 (java) S 32290 32297 32236 0 -1 1077944384 218 13326 0 0 1 0 5 3 20 0 15 0 443270383 11079880704 10270 33554432000 4194304 4196468 140734684268992 140213979536112 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32424] ppid=32290 vsize=10820196 memory=2832 CPUtime=0.09 cores=0,2,4,6
/proc/32297/task/32424/stat : 32424 (java) S 32290 32297 32236 0 -1 1077944384 449 13326 0 0 1 0 5 3 20 0 15 0 443270383 11079880704 10270 33554432000 4194304 4196468 140734684268992 140213978483568 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32425] ppid=32290 vsize=10820196 memory=8020 CPUtime=0.11 cores=0,2,4,6
/proc/32297/task/32425/stat : 32425 (java) S 32290 32297 32236 0 -1 1077944384 594 13326 0 0 3 0 5 3 20 0 15 0 443270383 11079880704 10270 33554432000 4194304 4196468 140734684268992 140213977430512 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32426] ppid=32290 vsize=10820196 memory=10428 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32426/stat : 32426 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270384 11079880704 10270 33554432000 4194304 4196468 140734684268992 140213094271840 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41080 KiB
[startup+1.50645 s]
/proc/loadavg: 0.39 1.86 2.77 4/228 32428
/proc/meminfo: memFree=29244556/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=10830584 memory=110728 CPUtime=1.67 cores=0,2,4,6
/proc/32297/stat : 32297 (java) S 32290 32297 32236 0 -1 1077944320 17442 13326 0 0 151 8 5 3 20 0 15 0 443270336 11090518016 27682 33554432000 4194304 4196468 140734684268992 140734684251536 140214554877687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
/proc/32297/statm: 2707646 27682 3545 1 0 2669709 0
[pid=32297/tid=32402] ppid=32290 vsize=10830584 memory=89340 CPUtime=0.98 cores=0,2,4,6
/proc/32297/task/32402/stat : 32402 (java) R 32290 32297 32236 0 -1 4202560 12563 13326 0 0 84 6 5 3 20 0 15 0 443270376 11090518016 27682 33554432000 4194304 4196468 140734684268992 140214526693456 140214538958174 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32407] ppid=32290 vsize=10830584 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32407/stat : 32407 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270378 11090518016 27682 33554432000 4194304 4196468 140734684268992 140214559120400 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32408] ppid=32290 vsize=10830584 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32408/stat : 32408 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270378 11090518016 27682 33554432000 4194304 4196468 140734684268992 140214447393936 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32409] ppid=32290 vsize=10830584 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32409/stat : 32409 (java) S 32290 32297 32236 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 443270378 11090518016 27682 33554432000 4194304 4196468 140734684268992 140214446340880 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32410] ppid=32290 vsize=10830584 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32410/stat : 32410 (java) S 32290 32297 32236 0 -1 1077944384 2 13326 0 0 0 0 5 3 20 0 15 0 443270378 11090518016 27682 33554432000 4194304 4196468 140734684268992 140214445288336 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32414] ppid=32290 vsize=10830584 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32414/stat : 32414 (java) S 32290 32297 32236 0 -1 1077944384 5 13326 0 0 0 0 5 3 20 0 15 0 443270379 11090518016 27682 33554432000 4194304 4196468 140734684268992 140214014146800 140214554888834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32415] ppid=32290 vsize=10830584 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32415/stat : 32415 (java) S 32290 32297 32236 0 -1 1077944384 33 13326 0 0 0 0 5 3 20 0 15 0 443270380 11090518016 27682 33554432000 4194304 4196468 140734684268992 140214013093024 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32416] ppid=32290 vsize=10830584 memory=4641074187873313646 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32416/stat : 32416 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270380 11090518016 27682 33554432000 4194304 4196468 140734684268992 140213435228912 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32422] ppid=32290 vsize=10830584 memory=7883670351600250217 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32422/stat : 32422 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270383 11090518016 27682 33554432000 4194304 4196468 140734684268992 140213127829456 140214554896283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32423] ppid=32290 vsize=10830584 memory=7373065767716742226 CPUtime=0.29 cores=0,2,4,6
/proc/32297/task/32423/stat : 32423 (java) R 32290 32297 32236 0 -1 4202560 637 13326 0 0 21 0 5 3 20 0 15 0 443270383 11090518016 27682 33554432000 4194304 4196468 140734684268992 140213979536112 140214538376835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32424] ppid=32290 vsize=10830584 memory=142139996687796 CPUtime=0.25 cores=0,2,4,6
/proc/32297/task/32424/stat : 32424 (java) S 32290 32297 32236 0 -1 1077944384 986 13326 0 0 17 0 5 3 20 0 15 0 443270383 11090518016 27682 33554432000 4194304 4196468 140734684268992 140213978483568 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32425] ppid=32290 vsize=10830584 memory=6944656592455360604 CPUtime=0.35 cores=0,2,4,6
/proc/32297/task/32425/stat : 32425 (java) S 32290 32297 32236 0 -1 1077944384 998 13326 0 0 27 0 5 3 20 0 15 0 443270383 11090518016 27682 33554432000 4194304 4196468 140734684268992 140213977430512 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32426] ppid=32290 vsize=10830584 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32426/stat : 32426 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270384 11090518016 27682 33554432000 4194304 4196468 140734684268992 140213094271840 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32428] ppid=32290 vsize=10830584 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32428/stat : 32428 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270389 11090518016 27682 33554432000 4194304 4196468 140734684268992 140213976377904 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 10830584 KiB
Current children cumulated memory: 110728 KiB
[startup+3.11912 s]
/proc/loadavg: 0.44 1.84 2.76 6/228 32428
/proc/meminfo: memFree=28969796/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=10842892 memory=211180 CPUtime=5.32 cores=0,2,4,6
/proc/32297/stat : 32297 (java) S 32290 32297 32236 0 -1 1077944320 32260 13326 0 0 508 16 5 3 20 0 15 0 443270336 11103121408 52795 33554432000 4194304 4196468 140734684268992 140734684251536 140214554877687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
/proc/32297/statm: 2710723 52795 3596 1 0 2672781 0
[pid=32297/tid=32402] ppid=32290 vsize=10842892 memory=14113 CPUtime=2.54 cores=0,2,4,6
/proc/32297/task/32402/stat : 32402 (java) R 32290 32297 32236 0 -1 4202560 18562 13326 0 0 238 8 5 3 20 0 15 0 443270376 11103121408 52795 33554432000 4194304 4196468 140734684268992 140214526709328 140214534454590 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32407] ppid=32290 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32297/task/32407/stat : 32407 (java) S 32290 32297 32236 0 -1 1077944384 69 13326 0 0 1 0 5 3 20 0 15 0 443270378 11103121408 52795 33554432000 4194304 4196468 140734684268992 140214559120400 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32408] ppid=32290 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32408/stat : 32408 (java) S 32290 32297 32236 0 -1 1077944384 362 13326 0 0 0 0 5 3 20 0 15 0 443270378 11103121408 52795 33554432000 4194304 4196468 140734684268992 140214447393936 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32409] ppid=32290 vsize=10842892 memory=279323601332708 CPUtime=0.09 cores=0,2,4,6
################
# More data... #
################
/proc/32297/task/32402/stat : 32402 (java) R 32290 32297 32236 0 -1 4202560 93244 13326 0 0 229542 54 5 3 20 0 15 0 443270376 11111522304 281546 33554432000 4194304 4196468 140734684268992 140214526712592 140214132421596 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32407] ppid=32290 vsize=10851096 memory=1126184 CPUtime=12.3 cores=0,2,4,6
/proc/32297/task/32407/stat : 32407 (java) S 32290 32297 32236 0 -1 1077944384 21964 13326 0 0 1171 51 5 3 20 0 15 0 443270378 11111522304 281546 33554432000 4194304 4196468 140734684268992 140214559120400 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32408] ppid=32290 vsize=10851096 memory=1126184 CPUtime=12.25 cores=0,2,4,6
/proc/32297/task/32408/stat : 32408 (java) S 32290 32297 32236 0 -1 1077944384 26758 13326 0 0 1162 55 5 3 20 0 15 0 443270378 11111522304 281546 33554432000 4194304 4196468 140734684268992 140214447393936 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32409] ppid=32290 vsize=10851096 memory=1126184 CPUtime=12.25 cores=0,2,4,6
/proc/32297/task/32409/stat : 32409 (java) S 32290 32297 32236 0 -1 1077944384 22385 13326 0 0 1163 54 5 3 20 0 15 0 443270378 11111522304 281546 33554432000 4194304 4196468 140734684268992 140214446340880 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32410] ppid=32290 vsize=10851096 memory=1126184 CPUtime=12.26 cores=0,2,4,6
/proc/32297/task/32410/stat : 32410 (java) S 32290 32297 32236 0 -1 1077944384 28093 13326 0 0 1163 55 5 3 20 0 15 0 443270378 11111522304 281546 33554432000 4194304 4196468 140734684268992 140214445288336 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32414] ppid=32290 vsize=10851096 memory=1126184 CPUtime=10.38 cores=0,2,4,6
/proc/32297/task/32414/stat : 32414 (java) S 32290 32297 32236 0 -1 1077944384 23306 13326 0 0 980 50 5 3 20 0 15 0 443270379 11111522304 281546 33554432000 4194304 4196468 140734684268992 140214014146800 140214554888834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32415] ppid=32290 vsize=10851096 memory=1126184 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32415/stat : 32415 (java) S 32290 32297 32236 0 -1 1077944384 39 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 281546 33554432000 4194304 4196468 140734684268992 140214013093152 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32416] ppid=32290 vsize=10851096 memory=1126184 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32416/stat : 32416 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 281546 33554432000 4194304 4196468 140734684268992 140213435228928 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32422] ppid=32290 vsize=10851096 memory=1126184 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32422/stat : 32422 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270383 11111522304 281546 33554432000 4194304 4196468 140734684268992 140213127829456 140214554896283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32423] ppid=32290 vsize=10851096 memory=8 CPUtime=6.18 cores=0,2,4,6
/proc/32297/task/32423/stat : 32423 (java) S 32290 32297 32236 0 -1 1077944384 27018 13326 0 0 604 6 5 3 20 0 15 0 443270383 11111522304 281546 33554432000 4194304 4196468 140734684268992 140213979536112 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32424] ppid=32290 vsize=10851096 memory=1126184 CPUtime=5.99 cores=0,2,4,6
/proc/32297/task/32424/stat : 32424 (java) S 32290 32297 32236 0 -1 1077944384 27743 13326 0 0 587 4 5 3 20 0 15 0 443270383 11111522304 281546 33554432000 4194304 4196468 140734684268992 140213978483568 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32425] ppid=32290 vsize=10851096 memory=1126184 CPUtime=4.49 cores=0,2,4,6
/proc/32297/task/32425/stat : 32425 (java) S 32290 32297 32236 0 -1 1077944384 41493 13326 0 0 433 8 5 3 20 0 15 0 443270383 11111522304 281546 33554432000 4194304 4196468 140734684268992 140213977430512 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32426] ppid=32290 vsize=10851096 memory=1126184 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32426/stat : 32426 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270384 11111522304 281546 33554432000 4194304 4196468 140734684268992 140213094271840 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32428] ppid=32290 vsize=10851096 memory=4000 CPUtime=1.45 cores=0,2,4,6
/proc/32297/task/32428/stat : 32428 (java) S 32290 32297 32236 0 -1 1077944384 1109 13326 0 0 65 72 5 3 20 0 15 0 443270389 11111522304 281546 33554432000 4194304 4196468 140734684268992 140213976377904 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
Current children cumulated CPU time: 2372.98 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1126184 KiB
[startup+2382.3 s]
/proc/loadavg: 1.21 1.23 1.44 4/228 32670
/proc/meminfo: memFree=27074668/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=10851096 memory=1128232 CPUtime=2433.91 cores=0,2,4,6
/proc/32297/stat : 32297 (java) S 32290 32297 32236 0 -1 1077944320 317122 13326 0 0 243029 354 5 3 20 0 15 0 443270336 11111522304 282058 33554432000 4194304 4196468 140734684268992 140734684251536 140214554877687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
/proc/32297/statm: 2712774 282058 3637 1 0 2674829 0
[pid=32297/tid=32402] ppid=32290 vsize=10851096 memory=1128232 CPUtime=2355.42 cores=0,2,4,6
/proc/32297/task/32402/stat : 32402 (java) R 32290 32297 32236 0 -1 4202560 94086 13326 0 0 235480 54 5 3 20 0 15 0 443270376 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214526713120 140214137366904 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32407] ppid=32290 vsize=10851096 memory=1126184 CPUtime=12.61 cores=0,2,4,6
/proc/32297/task/32407/stat : 32407 (java) S 32290 32297 32236 0 -1 1077944384 22070 13326 0 0 1201 52 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214559120400 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32408] ppid=32290 vsize=10851096 memory=1126184 CPUtime=12.56 cores=0,2,4,6
/proc/32297/task/32408/stat : 32408 (java) S 32290 32297 32236 0 -1 1077944384 26859 13326 0 0 1192 56 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214447393936 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32409] ppid=32290 vsize=10851096 memory=1128232 CPUtime=12.55 cores=0,2,4,6
/proc/32297/task/32409/stat : 32409 (java) S 32290 32297 32236 0 -1 1077944384 22758 13326 0 0 1192 55 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214446340880 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32410] ppid=32290 vsize=10851096 memory=1128232 CPUtime=12.58 cores=0,2,4,6
/proc/32297/task/32410/stat : 32410 (java) S 32290 32297 32236 0 -1 1077944384 28180 13326 0 0 1194 56 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214445288336 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32414] ppid=32290 vsize=10851096 memory=1128232 CPUtime=10.63 cores=0,2,4,6
/proc/32297/task/32414/stat : 32414 (java) S 32290 32297 32236 0 -1 1077944384 23532 13326 0 0 1004 51 5 3 20 0 15 0 443270379 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214014146800 140214554888834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32415] ppid=32290 vsize=10851096 memory=279323602623680 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32415/stat : 32415 (java) S 32290 32297 32236 0 -1 1077944384 39 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214013093152 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32416] ppid=32290 vsize=10851096 memory=2308 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32416/stat : 32416 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213435228928 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32422] ppid=32290 vsize=10851096 memory=1128232 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32422/stat : 32422 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213127829456 140214554896283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32423] ppid=32290 vsize=10851096 memory=3612 CPUtime=6.18 cores=0,2,4,6
/proc/32297/task/32423/stat : 32423 (java) S 32290 32297 32236 0 -1 1077944384 27020 13326 0 0 604 6 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213979536112 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32424] ppid=32290 vsize=10851096 memory=46968 CPUtime=5.99 cores=0,2,4,6
/proc/32297/task/32424/stat : 32424 (java) S 32290 32297 32236 0 -1 1077944384 27745 13326 0 0 587 4 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213978483568 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32425] ppid=32290 vsize=10851096 memory=1126184 CPUtime=4.49 cores=0,2,4,6
/proc/32297/task/32425/stat : 32425 (java) S 32290 32297 32236 0 -1 1077944384 41495 13326 0 0 433 8 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213977430512 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32426] ppid=32290 vsize=10851096 memory=1128232 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32426/stat : 32426 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270384 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213094271840 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32428] ppid=32290 vsize=10851096 memory=1128232 CPUtime=1.48 cores=0,2,4,6
/proc/32297/task/32428/stat : 32428 (java) S 32290 32297 32236 0 -1 1077944384 1125 13326 0 0 67 73 5 3 20 0 15 0 443270389 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213976377904 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
Current children cumulated CPU time: 2433.91 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1128232 KiB
[startup+2442.3 s]
/proc/loadavg: 0.91 1.16 1.40 4/227 32674
/proc/meminfo: memFree=27074872/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=10851096 memory=1128232 CPUtime=2494.92 cores=0,2,4,6
/proc/32297/stat : 32297 (java) S 32290 32297 32236 0 -1 1077944320 319120 13326 0 0 249122 362 5 3 20 0 15 0 443270336 11111522304 282058 33554432000 4194304 4196468 140734684268992 140734684251536 140214554877687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
/proc/32297/statm: 2712774 282058 3637 1 0 2674829 0
[pid=32297/tid=32402] ppid=32290 vsize=10851096 memory=1128232 CPUtime=2414.73 cores=0,2,4,6
/proc/32297/task/32402/stat : 32402 (java) R 32290 32297 32236 0 -1 4202560 95199 13326 0 0 241411 54 5 3 20 0 15 0 443270376 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214526712928 140214140471698 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32407] ppid=32290 vsize=10851096 memory=1128232 CPUtime=12.96 cores=0,2,4,6
/proc/32297/task/32407/stat : 32407 (java) S 32290 32297 32236 0 -1 1077944384 22131 13326 0 0 1234 54 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214559120400 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32408] ppid=32290 vsize=10851096 memory=1128232 CPUtime=12.91 cores=0,2,4,6
/proc/32297/task/32408/stat : 32408 (java) S 32290 32297 32236 0 -1 1077944384 26949 13326 0 0 1225 58 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214447393936 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32409] ppid=32290 vsize=10851096 memory=1128232 CPUtime=12.91 cores=0,2,4,6
/proc/32297/task/32409/stat : 32409 (java) S 32290 32297 32236 0 -1 1077944384 23126 13326 0 0 1226 57 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214446340880 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32410] ppid=32290 vsize=10851096 memory=1128232 CPUtime=12.93 cores=0,2,4,6
/proc/32297/task/32410/stat : 32410 (java) S 32290 32297 32236 0 -1 1077944384 28301 13326 0 0 1227 58 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214445288336 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32414] ppid=32290 vsize=10851096 memory=1128232 CPUtime=10.92 cores=0,2,4,6
/proc/32297/task/32414/stat : 32414 (java) S 32290 32297 32236 0 -1 1077944384 23753 13326 0 0 1031 53 5 3 20 0 15 0 443270379 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214014146800 140214554888834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32415] ppid=32290 vsize=10851096 memory=1128232 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32415/stat : 32415 (java) S 32290 32297 32236 0 -1 1077944384 39 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214013093152 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32416] ppid=32290 vsize=10851096 memory=1128232 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32416/stat : 32416 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213435228928 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32422] ppid=32290 vsize=10851096 memory=1128232 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32422/stat : 32422 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213127829456 140214554896283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32423] ppid=32290 vsize=10851096 memory=1128232 CPUtime=6.18 cores=0,2,4,6
/proc/32297/task/32423/stat : 32423 (java) S 32290 32297 32236 0 -1 1077944384 27022 13326 0 0 604 6 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213979536112 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32424] ppid=32290 vsize=10851096 memory=25712 CPUtime=5.99 cores=0,2,4,6
/proc/32297/task/32424/stat : 32424 (java) S 32290 32297 32236 0 -1 1077944384 27747 13326 0 0 587 4 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213978483568 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32425] ppid=32290 vsize=10851096 memory=10428 CPUtime=4.49 cores=0,2,4,6
/proc/32297/task/32425/stat : 32425 (java) S 32290 32297 32236 0 -1 1077944384 41497 13326 0 0 433 8 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213977430512 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32426] ppid=32290 vsize=10851096 memory=1128232 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32426/stat : 32426 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270384 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213094271840 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32428] ppid=32290 vsize=10851096 memory=1128232 CPUtime=1.52 cores=0,2,4,6
/proc/32297/task/32428/stat : 32428 (java) S 32290 32297 32236 0 -1 1077944384 1143 13326 0 0 68 76 5 3 20 0 15 0 443270389 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213976377904 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
Current children cumulated CPU time: 2494.92 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1128232 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467 s]*
/proc/loadavg: 0.99 1.17 1.40 3/227 347
/proc/meminfo: memFree=28043204/32770624 swapFree=66958316/67108860
[pid=32297] ppid=32290 vsize=10851096 memory=1128232 CPUtime=2520.05 cores=0,2,4,6
/proc/32297/stat : 32297 (java) S 32290 32297 32236 0 -1 1077944320 320297 13326 0 0 251631 366 5 3 20 0 15 0 443270336 11111522304 282058 33554432000 4194304 4196468 140734684268992 140734684251536 140214554877687 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
/proc/32297/statm: 2712774 282058 3637 1 0 2674829 0
[pid=32297/tid=32402] ppid=32290 vsize=10851096 memory=6791534058613427641 CPUtime=2439.17 cores=0,2,4,6
/proc/32297/task/32402/stat : 32402 (java) R 32290 32297 32236 0 -1 4202560 95508 13326 0 0 243854 55 5 3 20 0 15 0 443270376 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214526712864 140214127526454 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32407] ppid=32290 vsize=10851096 memory=13567089545840104 CPUtime=13.11 cores=0,2,4,6
/proc/32297/task/32407/stat : 32407 (java) S 32290 32297 32236 0 -1 1077944384 22437 13326 0 0 1248 55 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214559120400 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32408] ppid=32290 vsize=10851096 memory=3184097920075995105 CPUtime=13.05 cores=0,2,4,6
/proc/32297/task/32408/stat : 32408 (java) S 32290 32297 32236 0 -1 1077944384 27062 13326 0 0 1238 59 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214447393936 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32409] ppid=32290 vsize=10851096 memory=139661800701185 CPUtime=13.05 cores=0,2,4,6
/proc/32297/task/32409/stat : 32409 (java) S 32290 32297 32236 0 -1 1077944384 23154 13326 0 0 1239 58 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214446340880 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32410] ppid=32290 vsize=10851096 memory=288230617492226348 CPUtime=13.06 cores=0,2,4,6
/proc/32297/task/32410/stat : 32410 (java) S 32290 32297 32236 0 -1 1077944384 28487 13326 0 0 1240 58 5 3 20 0 15 0 443270378 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214445288336 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32414] ppid=32290 vsize=10851096 memory=6153433744107333988 CPUtime=11.03 cores=0,2,4,6
/proc/32297/task/32414/stat : 32414 (java) S 32290 32297 32236 0 -1 1077944384 23969 13326 0 0 1042 53 5 3 20 0 15 0 443270379 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214014146800 140214554888834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32415] ppid=32290 vsize=10851096 memory=7594308591202554984 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32415/stat : 32415 (java) S 32290 32297 32236 0 -1 1077944384 39 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 282058 33554432000 4194304 4196468 140734684268992 140214013093152 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32416] ppid=32290 vsize=10851096 memory=7594308591202554984 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32416/stat : 32416 (java) S 32290 32297 32236 0 -1 1077944384 1 13326 0 0 0 0 5 3 20 0 15 0 443270380 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213435228928 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32422] ppid=32290 vsize=10851096 memory=7594308591202554984 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32422/stat : 32422 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213127829456 140214554896283 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32423] ppid=32290 vsize=10851096 memory=6153433744107333988 CPUtime=6.18 cores=0,2,4,6
/proc/32297/task/32423/stat : 32423 (java) S 32290 32297 32236 0 -1 1077944384 27024 13326 0 0 604 6 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213979536112 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32424] ppid=32290 vsize=10851096 memory=279323600817560 CPUtime=5.99 cores=0,2,4,6
/proc/32297/task/32424/stat : 32424 (java) S 32290 32297 32236 0 -1 1077944384 27749 13326 0 0 587 4 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213978483568 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32425] ppid=32290 vsize=10851096 memory=7594308591202554984 CPUtime=4.49 cores=0,2,4,6
/proc/32297/task/32425/stat : 32425 (java) S 32290 32297 32236 0 -1 1077944384 41499 13326 0 0 433 8 5 3 20 0 15 0 443270383 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213977430512 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32426] ppid=32290 vsize=10851096 memory=6153433744107333988 CPUtime=0.08 cores=0,2,4,6
/proc/32297/task/32426/stat : 32426 (java) S 32290 32297 32236 0 -1 1077944384 3 13326 0 0 0 0 5 3 20 0 15 0 443270384 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213094271840 140214554887893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
[pid=32297/tid=32428] ppid=32290 vsize=10851096 memory=279323601720560 CPUtime=1.53 cores=0,2,4,6
/proc/32297/task/32428/stat : 32428 (java) S 32290 32297 32236 0 -1 1077944384 1156 13326 0 0 69 76 5 3 20 0 15 0 443270389 11111522304 282058 33554432000 4194304 4196468 140734684268992 140213976377904 140214554888834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36958208 140734684277487 140734684280005 140734684280005 140734684282831 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1128232 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.04 s]
# the end of solver process 32297 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.38 s, system=3.7094 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2467.04
CPU time (s): 2520.09
CPU user time (s): 2516.38
CPU system time (s): 3.7094
CPU usage (%): 102.15
Max. virtual memory (cumulated for all children) (KiB): 10851096
Max. memory (cumulated for all children) (KiB): 1128232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.7094
maximum resident set size= 1132444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289640
involuntary context switches= 8339
# summary of solver processes directly reported to runsolver:
# pid: 32297
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.38
# total CPU system time (s): 3.7094
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.726 second user time and 22.4634 second system time
The end