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 (2784 MiB free)
memory of node 1: 16384 MiB (5762 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402968-1568974690/watcher-4402968-1568974690 -o /tmp/evaluation-result-4402968-1568974690/solver-4402968-1568974690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29765 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=412321698 HOME/instance-4402968-1568974690.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=31457, runsolver pid=31454
[startup+0.100134 s]*
/proc/loadavg: 3.88 3.78 2.79 3/219 31514
/proc/meminfo: memFree=8744684/32770624 swapFree=67002104/67108860
[pid=31457] ppid=31454 vsize=10055356 memory=19384 CPUtime=0.09 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 4581 13510 0 0 1 1 5 2 20 0 7 0 473630535 10296684544 4846 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2513839 4846 1975 1 0 2502277 0
[pid=31457/tid=31510] ppid=31454 vsize=10055356 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 2368 13510 0 0 1 0 5 2 20 0 7 0 473630544 10296684544 4846 33554432000 4194304 4196468 140735109763104 140595409529616 140595423369750 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 7 0 473630545 10296684544 4846 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10055356 memory=288370252889273984 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 7 0 473630545 10296684544 4846 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 7 0 473630545 10296684544 4912 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 7 0 473630545 10296684544 4912 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 7 0 473630546 10296684544 4912 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19384 KiB
[startup+0.210011 s]*
/proc/loadavg: 3.88 3.78 2.79 3/228 31523
/proc/meminfo: memFree=8720408/32770624 swapFree=67002104/67108860
[pid=31457] ppid=31454 vsize=10820196 memory=46024 CPUtime=0.26 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 7392 13510 0 0 17 2 5 2 20 0 15 0 473630535 11079880704 11506 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2705049 11506 3300 1 0 2667149 0
[pid=31457/tid=31510] ppid=31454 vsize=10820196 memory=753035770744996145 CPUtime=0.18 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 3890 13510 0 0 10 1 5 2 20 0 15 0 473630544 11079880704 11506 33554432000 4194304 4196468 140735109763104 140595409500704 140595437708445 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 11506 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10820196 memory=288370252889273984 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 11506 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 11506 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 11506 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630546 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 13 13510 0 0 0 0 5 2 20 0 15 0 473630547 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594882012320 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630547 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594412249840 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 582 13510 0 0 1 0 5 2 20 0 15 0 473630550 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 69 13510 0 0 1 0 5 2 20 0 15 0 473630550 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10820196 memory=139876737562240 CPUtime=0.1 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 615 13510 0 0 3 0 5 2 20 0 15 0 473630550 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11079880704 11506 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10820196 memory=139876737562240 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630550 11079880704 11506 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46024 KiB
[startup+0.310532 s]*
/proc/loadavg: 3.88 3.78 2.79 3/228 31523
/proc/meminfo: memFree=8710020/32770624 swapFree=67002104/67108860
[pid=31457] ppid=31454 vsize=10820196 memory=54376 CPUtime=0.39 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 10774 13510 0 0 29 3 5 2 20 0 15 0 473630535 11079880704 13594 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2705049 13594 3310 1 0 2667149 0
[pid=31457/tid=31510] ppid=31454 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 7255 13510 0 0 19 2 5 2 20 0 15 0 473630544 11079880704 13594 33554432000 4194304 4196468 140735109763104 140595409495440 140595421767006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 13594 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 13594 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 13594 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630545 11079880704 13594 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630546 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10820196 memory=139876737562239 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 13 13510 0 0 0 0 5 2 20 0 15 0 473630547 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594882012320 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630547 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594412249840 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 583 13510 0 0 2 0 5 2 20 0 15 0 473630550 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 69 13510 0 0 1 0 5 2 20 0 15 0 473630550 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10820196 memory=139876737562240 CPUtime=0.12 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 635 13510 0 0 5 0 5 2 20 0 15 0 473630550 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11079880704 13594 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10820196 memory=139876737562240 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630550 11079880704 13594 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54376 KiB
[startup+0.700666 s]
/proc/loadavg: 3.88 3.78 2.79 4/228 31523
/proc/meminfo: memFree=8694736/32770624 swapFree=67002104/67108860
[pid=31457] ppid=31454 vsize=10824364 memory=88108 CPUtime=1.14 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 15309 13510 0 0 102 5 5 2 20 0 15 0 473630535 11084148736 22027 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2706091 22027 3515 1 0 2668173 0
[pid=31457/tid=31510] ppid=31454 vsize=10824364 memory=1556 CPUtime=0.66 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 10650 13510 0 0 55 4 5 2 20 0 15 0 473630544 11084148736 22027 33554432000 4194304 4196468 140735109763104 140595409504448 140595421767006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10824364 memory=740 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11084148736 22027 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10824364 memory=7014751519700964689 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11084148736 22027 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10824364 memory=6083077128950803811 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630545 11084148736 22027 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10824364 memory=7444843076533644388 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630545 11084148736 22027 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 5 13510 0 0 0 0 5 2 20 0 15 0 473630546 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 13 13510 0 0 0 0 5 2 20 0 15 0 473630547 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594882012320 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630547 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594412249840 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 1041 13510 0 0 17 0 5 2 20 0 15 0 473630550 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10824364 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 542 13510 0 0 11 0 5 2 20 0 15 0 473630550 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 838 13510 0 0 17 0 5 2 20 0 15 0 473630550 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11084148736 22027 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10824364 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630550 11084148736 22027 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 88108 KiB
[startup+1.50069 s]
/proc/loadavg: 3.88 3.78 2.79 3/228 31523
/proc/meminfo: memFree=8640200/32770624 swapFree=67002104/67108860
[pid=31457] ppid=31454 vsize=10834680 memory=197772 CPUtime=2.85 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 22867 13510 0 0 268 10 5 2 20 0 15 0 473630535 11094712320 49443 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2708670 49443 3591 1 0 2670733 0
[pid=31457/tid=31510] ppid=31454 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 15248 13510 0 0 130 6 5 2 20 0 15 0 473630544 11094712320 49443 33554432000 4194304 4196468 140735109763104 140595409516832 140595421767006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10834680 memory=7235429069638691415 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 40 13510 0 0 1 0 5 2 20 0 15 0 473630545 11094712320 49443 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10834680 memory=279753232112096 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 51 13510 0 0 1 0 5 2 20 0 15 0 473630545 11094712320 49443 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10834680 memory=274968101320184 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 334 13510 0 0 1 0 5 2 20 0 15 0 473630545 11094712320 49443 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 84 13510 0 0 1 0 5 2 20 0 15 0 473630545 11094712320 49443 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10834680 memory=7589560897274417906 CPUtime=0.08 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 136 13510 0 0 1 0 5 2 20 0 15 0 473630546 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10834680 memory=-8458152057954561420 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 14 13510 0 0 0 0 5 2 20 0 15 0 473630547 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594882012384 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10834680 memory=279753231759328 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630547 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594412249856 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10834680 memory=139877089495073 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10834680 memory=279753231708600 CPUtime=0.51 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 1614 13510 0 0 44 0 5 2 20 0 15 0 473630550 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10834680 memory=279753231722992 CPUtime=0.47 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 1467 13510 0 0 40 0 5 2 20 0 15 0 473630550 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10834680 memory=279753231722992 CPUtime=0.52 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 1663 13510 0 0 45 0 5 2 20 0 15 0 473630550 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11094712320 49443 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1 13510 0 0 0 0 5 2 20 0 15 0 473630550 11094712320 49443 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
################
# More data... #
################
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 136882 13510 0 0 235733 64 5 2 20 0 15 0 473630544 11109412864 106957 33554432000 4194304 4196468 140735109763104 140595409522272 140595034130800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10849036 memory=406368 CPUtime=14.19 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 19426 13510 0 0 1358 54 5 2 20 0 15 0 473630545 11109412864 106957 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10849036 memory=407396 CPUtime=14.2 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 21741 13510 0 0 1362 51 5 2 20 0 15 0 473630545 11109412864 106957 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10849036 memory=437180 CPUtime=14.18 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 14665 13510 0 0 1361 50 5 2 20 0 15 0 473630545 11109412864 106957 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10849036 memory=6791534058613427641 CPUtime=14.22 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 17463 13510 0 0 1362 53 5 2 20 0 15 0 473630545 11109412864 106957 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10849036 memory=428912 CPUtime=8.02 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 12834 13510 0 0 726 69 5 2 20 0 15 0 473630546 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10849036 memory=428396 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 16 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594882012384 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10849036 memory=428340 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 5 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594412249856 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10849036 memory=436332 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10849036 memory=3588 CPUtime=5.02 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 31965 13510 0 0 492 3 5 2 20 0 15 0 473630550 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10849036 memory=436844 CPUtime=5.46 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 32748 13510 0 0 535 4 5 2 20 0 15 0 473630550 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10849036 memory=428912 CPUtime=2.43 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 18944 13510 0 0 232 4 5 2 20 0 15 0 473630550 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10849036 memory=3588 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 106957 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10849036 memory=3588 CPUtime=1.36 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1361 13510 0 0 53 76 5 2 20 0 15 0 473630550 11109412864 106957 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 2436.57 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 427828 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.36 1.54 3/227 32007
/proc/meminfo: memFree=8249892/32770624 swapFree=67002108/67108860
[pid=31457] ppid=31454 vsize=10849036 memory=398196 CPUtime=2497.73 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 314132 13510 0 0 249372 394 5 2 20 0 15 0 473630535 11109412864 99549 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2712259 99549 3637 1 0 2674317 0
[pid=31457/tid=31510] ppid=31454 vsize=10849036 memory=399220 CPUtime=2417.37 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 139034 13510 0 0 241665 65 5 2 20 0 15 0 473630544 11109412864 99549 33554432000 4194304 4196468 140735109763104 140595409522560 140595053389864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10849036 memory=400760 CPUtime=14.58 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 19611 13510 0 0 1396 55 5 2 20 0 15 0 473630545 11109412864 99549 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10849036 memory=419744 CPUtime=14.58 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 21942 13510 0 0 1399 52 5 2 20 0 15 0 473630545 11109412864 99549 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10849036 memory=411020 CPUtime=14.58 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 14887 13510 0 0 1399 52 5 2 20 0 15 0 473630545 11109412864 99549 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10849036 memory=405888 CPUtime=14.62 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 17666 13510 0 0 1400 55 5 2 20 0 15 0 473630545 11109412864 99549 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10849036 memory=406916 CPUtime=8.21 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 12872 13510 0 0 744 70 5 2 20 0 15 0 473630546 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10849036 memory=402300 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 16 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594882012384 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10849036 memory=401272 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 5 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594412249856 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10849036 memory=400760 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10849036 memory=400760 CPUtime=5.04 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 32314 13510 0 0 494 3 5 2 20 0 15 0 473630550 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10849036 memory=399732 CPUtime=5.47 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 33262 13510 0 0 536 4 5 2 20 0 15 0 473630550 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10849036 memory=403836 CPUtime=2.43 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 18944 13510 0 0 232 4 5 2 20 0 15 0 473630550 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10849036 memory=398708 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 99549 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10849036 memory=398708 CPUtime=1.39 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1365 13510 0 0 54 78 5 2 20 0 15 0 473630550 11109412864 99549 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 2497.73 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 398196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.3 s]
/proc/loadavg: 1.46 1.38 1.54 3/227 32007
/proc/meminfo: memFree=8240660/32770624 swapFree=67002108/67108860
[pid=31457] ppid=31454 vsize=10849036 memory=406388 CPUtime=2520.01 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 318382 13510 0 0 251596 398 5 2 20 0 15 0 473630535 11109412864 101597 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2712259 101597 3637 1 0 2674317 0
[pid=31457/tid=31510] ppid=31454 vsize=10849036 memory=411020 CPUtime=2439.22 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 141960 13510 0 0 243850 65 5 2 20 0 15 0 473630544 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595409522800 140595052975500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10849036 memory=416132 CPUtime=14.67 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 20048 13510 0 0 1404 56 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10849036 memory=407924 CPUtime=14.68 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 22267 13510 0 0 1408 53 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10849036 memory=407412 CPUtime=14.66 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 15104 13510 0 0 1407 52 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10849036 memory=56 CPUtime=14.71 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 17963 13510 0 0 1408 56 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10849036 memory=0 CPUtime=8.25 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 12911 13510 0 0 748 70 5 2 20 0 15 0 473630546 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10849036 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 16 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594882012384 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10849036 memory=413568 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 5 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594412249856 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10849036 memory=409464 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10849036 memory=417472 CPUtime=5.04 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 32316 13510 0 0 494 3 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10849036 memory=403836 CPUtime=5.47 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 33264 13510 0 0 536 4 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10849036 memory=407924 CPUtime=2.43 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 18946 13510 0 0 232 4 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10849036 memory=407924 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10849036 memory=6791534058613427641 CPUtime=1.4 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1368 13510 0 0 55 78 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 406388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.33 s]
# the end of solver process 31457 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.05 s, system=4.01983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.3 s]
/proc/loadavg: 1.46 1.38 1.54 3/227 32007
/proc/meminfo: memFree=8240660/32770624 swapFree=67002108/67108860
[pid=31457] ppid=31454 vsize=10849036 memory=406388 CPUtime=2520.01 cores=1,3,5,7
/proc/31457/stat : 31457 (java) S 31454 31457 29733 0 -1 1077944320 318382 13510 0 0 251596 398 5 2 20 0 15 0 473630535 11109412864 101597 33554432000 4194304 4196468 140735109763104 140735109745648 140595437686519 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
/proc/31457/statm: 2712259 101597 3637 1 0 2674317 0
[pid=31457/tid=31510] ppid=31454 vsize=10849036 memory=411020 CPUtime=2439.22 cores=1,3,5,7
/proc/31457/task/31510/stat : 31510 (java) R 31454 31457 29733 0 -1 4202560 141960 13510 0 0 243850 65 5 2 20 0 15 0 473630544 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595409522800 140595052975500 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31511] ppid=31454 vsize=10849036 memory=416132 CPUtime=14.67 cores=1,3,5,7
/proc/31457/task/31511/stat : 31511 (java) S 31454 31457 29733 0 -1 1077944384 20048 13510 0 0 1404 56 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595441929232 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31512] ppid=31454 vsize=10849036 memory=407924 CPUtime=14.68 cores=1,3,5,7
/proc/31457/task/31512/stat : 31512 (java) S 31454 31457 29733 0 -1 1077944384 22267 13510 0 0 1408 53 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595356748944 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31513] ppid=31454 vsize=10849036 memory=407412 CPUtime=14.66 cores=1,3,5,7
/proc/31457/task/31513/stat : 31513 (java) S 31454 31457 29733 0 -1 1077944384 15104 13510 0 0 1407 52 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595355695888 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31514] ppid=31454 vsize=10849036 memory=56 CPUtime=14.71 cores=1,3,5,7
/proc/31457/task/31514/stat : 31514 (java) S 31454 31457 29733 0 -1 1077944384 17963 13510 0 0 1408 56 5 2 20 0 15 0 473630545 11109412864 101597 33554432000 4194304 4196468 140735109763104 140595354643344 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31515] ppid=31454 vsize=10849036 memory=0 CPUtime=8.25 cores=1,3,5,7
/proc/31457/task/31515/stat : 31515 (java) S 31454 31457 29733 0 -1 1077944384 12911 13510 0 0 748 70 5 2 20 0 15 0 473630546 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594964285680 140595437697666 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31516] ppid=31454 vsize=10849036 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31516/stat : 31516 (java) S 31454 31457 29733 0 -1 1077944384 16 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594882012384 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31517] ppid=31454 vsize=10849036 memory=413568 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31517/stat : 31517 (java) S 31454 31457 29733 0 -1 1077944384 5 13510 0 0 0 0 5 2 20 0 15 0 473630547 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594412249856 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31518] ppid=31454 vsize=10849036 memory=409464 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31518/stat : 31518 (java) S 31454 31457 29733 0 -1 1077944384 2 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594143815632 140595437705115 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31519] ppid=31454 vsize=10849036 memory=417472 CPUtime=5.04 cores=1,3,5,7
/proc/31457/task/31519/stat : 31519 (java) S 31454 31457 29733 0 -1 1077944384 32316 13510 0 0 494 3 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594963233520 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31520] ppid=31454 vsize=10849036 memory=403836 CPUtime=5.47 cores=1,3,5,7
/proc/31457/task/31520/stat : 31520 (java) S 31454 31457 29733 0 -1 1077944384 33264 13510 0 0 536 4 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594962180976 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31521] ppid=31454 vsize=10849036 memory=407924 CPUtime=2.43 cores=1,3,5,7
/proc/31457/task/31521/stat : 31521 (java) S 31454 31457 29733 0 -1 1077944384 18946 13510 0 0 232 4 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594961127920 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31522] ppid=31454 vsize=10849036 memory=407924 CPUtime=0.07 cores=1,3,5,7
/proc/31457/task/31522/stat : 31522 (java) S 31454 31457 29733 0 -1 1077944384 3 13510 0 0 0 0 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140593674054496 140595437696725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
[pid=31457/tid=31523] ppid=31454 vsize=10849036 memory=6791534058613427641 CPUtime=1.4 cores=1,3,5,7
/proc/31457/task/31523/stat : 31523 (java) S 31454 31457 29733 0 -1 1077944384 1368 13510 0 0 55 78 5 2 20 0 15 0 473630550 11109412864 101597 33554432000 4194304 4196468 140735109763104 140594960075312 140595437697666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140735109765872 140735109768389 140735109768389 140735109771215 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 406388 KiB
Child status: 143
Real time (s): 2464.33
CPU time (s): 2520.07
CPU user time (s): 2516.05
CPU system time (s): 4.01983
CPU usage (%): 102.262
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1133944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.05
system time used= 4.01983
maximum resident set size= 1134972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226311
involuntary context switches= 5723
# summary of solver processes directly reported to runsolver:
# pid: 31457
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.05
# total CPU system time (s): 4.01983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.864 second user time and 23.3069 second system time
The end