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 (12373 MiB free)
memory of node 1: 16384 MiB (15583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396246-1568395973/watcher-4396246-1568395973 -o /tmp/evaluation-result-4396246-1568395973/solver-4396246-1568395973 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568393449-28713 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=271559663 HOME/instance-4396246-1568395973.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=29575, runsolver pid=29572
[startup+0.100057 s]*
/proc/loadavg: 1.73 1.81 1.65 3/219 29633
/proc/meminfo: memFree=28619068/32770624 swapFree=67000324/67108860
[pid=29575] ppid=29572 vsize=9989820 memory=17608 CPUtime=0.09 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 4620 13151 0 0 1 0 5 3 20 0 7 0 415511374 10229575680 4402 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2497455 4402 1995 1 0 2485893 0
[pid=29575/tid=29629] ppid=29572 vsize=10055356 memory=4279135704047059854 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 1077944384 2410 13151 0 0 1 0 5 3 20 0 7 0 415511383 10296684544 4402 33554432000 4194304 4196468 140731192052912 139803736402704 139803764569813 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10055356 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 7 0 415511384 10296684544 4402 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10055356 memory=140225967228544 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 7 0 415511384 10296684544 4402 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 7 0 415511384 10296684544 4402 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 7 0 415511384 10296684544 4402 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10055356 memory=140225967228544 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 7 0 415511385 10296684544 4402 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 17608 KiB
[startup+0.210048 s]*
/proc/loadavg: 1.73 1.81 1.65 3/228 29642
/proc/meminfo: memFree=28600776/32770624 swapFree=67000324/67108860
[pid=29575] ppid=29572 vsize=10819664 memory=41736 CPUtime=0.27 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 7215 13151 0 0 17 2 5 3 20 0 15 0 415511374 11079335936 10434 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2704916 10434 3169 1 0 2667149 0
[pid=29575/tid=29629] ppid=29572 vsize=10819664 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 3720 13151 0 0 11 1 5 3 20 0 15 0 415511383 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803736395488 139803757276759 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10819664 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10819664 memory=140225967228544 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10819664 memory=140225967228544 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 415511385 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 415511386 11079335936 10434 33554432000 4194304 4196468 140731192052912 139802796090784 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11079335936 10434 33554432000 4194304 4196468 140731192052912 139802527655408 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11079335936 10434 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 367 13151 0 0 1 0 5 3 20 0 15 0 415511389 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) S 29572 29575 26068 0 -1 1077944384 305 13151 0 0 1 0 5 3 20 0 15 0 415511389 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803221706864 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10819664 memory=140225967228544 CPUtime=0.11 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) R 29572 29575 26068 0 -1 4202560 599 13151 0 0 3 0 5 3 20 0 15 0 415511389 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803220654320 139803743090593 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11079335936 10434 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10819664 memory=140225967228544 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511389 11079335936 10434 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41736 KiB
[startup+0.310409 s]*
/proc/loadavg: 1.73 1.81 1.65 3/228 29642
/proc/meminfo: memFree=28587460/32770624 swapFree=67000324/67108860
[pid=29575] ppid=29572 vsize=10820148 memory=50544 CPUtime=0.41 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 10887 13151 0 0 30 3 5 3 20 0 15 0 415511374 11079831552 12636 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2705037 12636 3301 1 0 2667149 0
[pid=29575/tid=29629] ppid=29572 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 7363 13151 0 0 19 2 5 3 20 0 15 0 415511383 11079831552 12636 33554432000 4194304 4196468 140731192052912 139803736379824 139803764581533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079831552 12636 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079831552 12636 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079831552 12636 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 415511384 11079831552 12636 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 415511385 11079831552 12636 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10820148 memory=140225967228543 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 415511386 11079831552 12636 33554432000 4194304 4196468 140731192052912 139802796090784 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10820152 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11079835648 12636 33554432000 4194304 4196468 140731192052912 139802527655408 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10820152 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11079835648 12636 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10820152 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 376 13151 0 0 2 0 5 3 20 0 15 0 415511389 11079835648 12636 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10820152 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) S 29572 29575 26068 0 -1 1077944384 306 13151 0 0 1 0 5 3 20 0 15 0 415511389 11079835648 12636 33554432000 4194304 4196468 140731192052912 139803221706864 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10820152 memory=140225967228544 CPUtime=0.13 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) S 29572 29575 26068 0 -1 1077944384 608 13151 0 0 5 0 5 3 20 0 15 0 415511389 11079835648 12636 33554432000 4194304 4196468 140731192052912 139803220654320 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11079880704 12636 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10820196 memory=140225967228544 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511389 11079880704 12701 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50544 KiB
[startup+0.701346 s]
/proc/loadavg: 1.73 1.81 1.65 3/228 29642
/proc/meminfo: memFree=28573552/32770624 swapFree=67000324/67108860
[pid=29575] ppid=29572 vsize=10824360 memory=83520 CPUtime=1.14 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 15127 13151 0 0 101 5 5 3 20 0 15 0 415511374 11084144640 20880 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2706090 20880 3497 1 0 2668173 0
[pid=29575/tid=29629] ppid=29572 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 10494 13151 0 0 55 4 5 3 20 0 15 0 415511383 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803736382224 139803748640094 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10824360 memory=3689489040555646000 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511384 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 415511384 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10824360 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 5 13151 0 0 0 0 5 3 20 0 15 0 415511385 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 415511386 11084144640 20880 33554432000 4194304 4196468 140731192052912 139802796090784 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10824360 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11084144640 20880 33554432000 4194304 4196468 140731192052912 139802527655408 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10824360 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11084144640 20880 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 783 13151 0 0 12 0 5 3 20 0 15 0 415511389 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) R 29572 29575 26068 0 -1 4202560 764 13151 0 0 15 0 5 3 20 0 15 0 415511389 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803221706864 139803745155823 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) S 29572 29575 26068 0 -1 1077944384 849 13151 0 0 17 0 5 3 20 0 15 0 415511389 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803220654320 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10824360 memory=11076 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11084144640 20880 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10824360 memory=140225850410640 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511389 11084144640 20880 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83520 KiB
[startup+1.50076 s]
/proc/loadavg: 1.73 1.81 1.65 3/228 29642
/proc/meminfo: memFree=28527824/32770624 swapFree=67000324/67108860
[pid=29575] ppid=29572 vsize=10834676 memory=171648 CPUtime=2.47 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 21902 13151 0 0 229 10 5 3 20 0 15 0 415511374 11094708224 42912 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2708669 42912 3579 1 0 2670733 0
[pid=29575/tid=29629] ppid=29572 vsize=10834676 memory=19 CPUtime=1.43 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 15360 13151 0 0 130 5 5 3 20 0 15 0 415511383 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803736364096 139803746123232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10834676 memory=22 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 393 13151 0 0 1 0 5 3 20 0 15 0 415511384 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10834676 memory=27 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 415511384 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 45 13151 0 0 1 0 5 3 20 0 15 0 415511384 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 71 13151 0 0 1 0 5 3 20 0 15 0 415511384 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10834676 memory=7523070107455612247 CPUtime=0.09 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 126 13151 0 0 1 0 5 3 20 0 15 0 415511385 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10834676 memory=7450740912723939687 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 415511386 11094708224 42912 33554432000 4194304 4196468 140731192052912 139802796090848 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10834676 memory=7517186607937318505 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11094708224 42912 33554432000 4194304 4196468 140731192052912 139802527655424 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10834676 memory=5571041044932548709 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11094708224 42912 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10834676 memory=7521979383417100641 CPUtime=0.32 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 1056 13151 0 0 24 0 5 3 20 0 15 0 415511389 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10834676 memory=7014191936935391851 CPUtime=0.34 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) S 29572 29575 26068 0 -1 1077944384 915 13151 0 0 25 1 5 3 20 0 15 0 415511389 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803221706864 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10834676 memory=7228950768603785835 CPUtime=0.49 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) R 29572 29575 26068 0 -1 4202560 1676 13151 0 0 41 0 5 3 20 0 15 0 415511389 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803220654320 139803757656443 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10834676 memory=6443360684250129255 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11094708224 42912 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10834676 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511389 11094708224 42912 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
################
# More data... #
################
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 53161 13151 0 0 236455 36 5 3 20 0 15 0 415511383 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803736395280 139803366784603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10846984 memory=659756 CPUtime=8.77 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 8081 13151 0 0 832 37 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10846984 memory=657692 CPUtime=8.74 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 8826 13151 0 0 828 38 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10846984 memory=665356 CPUtime=8.75 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 7849 13151 0 0 831 36 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10846984 memory=659740 CPUtime=8.76 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 12515 13151 0 0 831 37 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10846984 memory=659756 CPUtime=7.06 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 13672 13151 0 0 660 38 5 3 20 0 15 0 415511385 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10846984 memory=659756 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 15 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802796090848 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10846984 memory=659756 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802527655424 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10846984 memory=659756 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10846984 memory=3616 CPUtime=6.24 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 26560 13151 0 0 613 3 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10846984 memory=659756 CPUtime=6.34 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) S 29572 29575 26068 0 -1 1077944384 27361 13151 0 0 622 4 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803221706864 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10846984 memory=36088 CPUtime=2.15 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) S 29572 29575 26068 0 -1 1077944384 11679 13151 0 0 203 4 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803220654320 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10846984 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10846984 memory=2012 CPUtime=1.33 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1364 13151 0 0 59 66 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 2422.52 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 659756 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.54 1.47 3/228 30270
/proc/meminfo: memFree=29007376/32770624 swapFree=67000340/67108860
[pid=29575] ppid=29572 vsize=10846984 memory=659756 CPUtime=2483.22 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 174030 13151 0 0 248048 266 5 3 20 0 15 0 415511374 11107311616 164939 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2711746 164939 3628 1 0 2673805 0
[pid=29575/tid=29629] ppid=29572 vsize=10846984 memory=659756 CPUtime=2424.56 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 53610 13151 0 0 242412 36 5 3 20 0 15 0 415511383 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803736396016 139803367019407 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10846984 memory=659756 CPUtime=9.01 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 8091 13151 0 0 855 38 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10846984 memory=659740 CPUtime=8.97 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 8857 13151 0 0 850 39 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10846984 memory=124 CPUtime=8.98 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 7871 13151 0 0 853 37 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10846984 memory=659756 CPUtime=9 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 12684 13151 0 0 854 38 5 3 20 0 15 0 415511384 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10846984 memory=659756 CPUtime=7.24 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 13715 13151 0 0 677 39 5 3 20 0 15 0 415511385 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10846984 memory=659756 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 15 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802796090848 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10846984 memory=2648 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802527655424 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10846984 memory=659756 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10846984 memory=659756 CPUtime=6.24 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 26562 13151 0 0 613 3 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10846984 memory=659756 CPUtime=6.34 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) S 29572 29575 26068 0 -1 1077944384 27363 13151 0 0 622 4 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803221706864 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10846984 memory=3616 CPUtime=2.15 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) S 29572 29575 26068 0 -1 1077944384 11681 13151 0 0 203 4 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803220654320 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10846984 memory=659756 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10846984 memory=659756 CPUtime=1.36 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1368 13151 0 0 60 68 5 3 20 0 15 0 415511389 11107311616 164939 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 2483.22 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 659756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.7 s]
/proc/loadavg: 1.63 1.55 1.48 3/228 30273
/proc/meminfo: memFree=29001736/32770624 swapFree=67000340/67108860
[pid=29575] ppid=29572 vsize=10846984 memory=659768 CPUtime=2520.01 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 174847 13151 0 0 251725 268 5 3 20 0 15 0 415511374 11107311616 164942 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2711746 164942 3628 1 0 2673805 0
[pid=29575/tid=29629] ppid=29572 vsize=10846984 memory=1240 CPUtime=2460.68 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 53902 13151 0 0 246024 36 5 3 20 0 15 0 415511383 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803736395744 139803359097284 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.14 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 8133 13151 0 0 868 38 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.11 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 8871 13151 0 0 863 40 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.11 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 7877 13151 0 0 866 37 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.13 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 12926 13151 0 0 867 38 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10846984 memory=659768 CPUtime=7.35 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 13911 13151 0 0 688 39 5 3 20 0 15 0 415511385 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10846984 memory=280451702092736 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 15 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802796090848 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10846984 memory=659768 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802527655424 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10846984 memory=659768 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10846984 memory=659768 CPUtime=6.24 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 26565 13151 0 0 613 3 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10846984 memory=659768 CPUtime=6.34 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) S 29572 29575 26068 0 -1 1077944384 27365 13151 0 0 622 4 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803221706864 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10846984 memory=1240 CPUtime=2.15 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) S 29572 29575 26068 0 -1 1077944384 11683 13151 0 0 203 4 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803220654320 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10846984 memory=659768 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10846984 memory=3616 CPUtime=1.37 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1386 13151 0 0 61 68 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 659768 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.74 s]
# the end of solver process 29575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.33 s, system=2.72565 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.7 s]
/proc/loadavg: 1.63 1.55 1.48 3/228 30273
/proc/meminfo: memFree=29001736/32770624 swapFree=67000340/67108860
[pid=29575] ppid=29572 vsize=10846984 memory=659768 CPUtime=2520.01 cores=1,3,5,7
/proc/29575/stat : 29575 (java) S 29572 29575 26068 0 -1 1077944320 174847 13151 0 0 251725 268 5 3 20 0 15 0 415511374 11107311616 164942 33554432000 4194304 4196468 140731192052912 140731192035456 139803764559607 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
/proc/29575/statm: 2711746 164942 3628 1 0 2673805 0
[pid=29575/tid=29629] ppid=29572 vsize=10846984 memory=1240 CPUtime=2460.68 cores=1,3,5,7
/proc/29575/task/29629/stat : 29629 (java) R 29572 29575 26068 0 -1 4202560 53902 13151 0 0 246024 36 5 3 20 0 15 0 415511383 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803736395744 139803359097284 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29630] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.14 cores=1,3,5,7
/proc/29575/task/29630/stat : 29630 (java) S 29572 29575 26068 0 -1 1077944384 8133 13151 0 0 868 38 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803768801552 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29631] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.11 cores=1,3,5,7
/proc/29575/task/29631/stat : 29631 (java) S 29572 29575 26068 0 -1 1077944384 8871 13151 0 0 863 40 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803673004432 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29632] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.11 cores=1,3,5,7
/proc/29575/task/29632/stat : 29632 (java) S 29572 29575 26068 0 -1 1077944384 7877 13151 0 0 866 37 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803671951888 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29633] ppid=29572 vsize=10846984 memory=659768 CPUtime=9.13 cores=1,3,5,7
/proc/29575/task/29633/stat : 29633 (java) S 29572 29575 26068 0 -1 1077944384 12926 13151 0 0 867 38 5 3 20 0 15 0 415511384 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803670899344 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29634] ppid=29572 vsize=10846984 memory=659768 CPUtime=7.35 cores=1,3,5,7
/proc/29575/task/29634/stat : 29634 (java) S 29572 29575 26068 0 -1 1077944384 13911 13151 0 0 688 39 5 3 20 0 15 0 415511385 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803223812592 139803764570754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29635] ppid=29572 vsize=10846984 memory=280451702092736 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29635/stat : 29635 (java) S 29572 29575 26068 0 -1 1077944384 15 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802796090848 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29636] ppid=29572 vsize=10846984 memory=659768 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29636/stat : 29636 (java) S 29572 29575 26068 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 415511386 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802527655424 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29637] ppid=29572 vsize=10846984 memory=659768 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29637/stat : 29637 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802287364816 139803764578203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29638] ppid=29572 vsize=10846984 memory=659768 CPUtime=6.24 cores=1,3,5,7
/proc/29575/task/29638/stat : 29638 (java) S 29572 29575 26068 0 -1 1077944384 26565 13151 0 0 613 3 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803222759408 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29639] ppid=29572 vsize=10846984 memory=659768 CPUtime=6.34 cores=1,3,5,7
/proc/29575/task/29639/stat : 29639 (java) S 29572 29575 26068 0 -1 1077944384 27365 13151 0 0 622 4 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803221706864 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29640] ppid=29572 vsize=10846984 memory=1240 CPUtime=2.15 cores=1,3,5,7
/proc/29575/task/29640/stat : 29640 (java) S 29572 29575 26068 0 -1 1077944384 11683 13151 0 0 203 4 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803220654320 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29641] ppid=29572 vsize=10846984 memory=659768 CPUtime=0.08 cores=1,3,5,7
/proc/29575/task/29641/stat : 29641 (java) S 29572 29575 26068 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139802253806176 139803764569813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
[pid=29575/tid=29642] ppid=29572 vsize=10846984 memory=3616 CPUtime=1.37 cores=1,3,5,7
/proc/29575/task/29642/stat : 29642 (java) S 29572 29575 26068 0 -1 1077944384 1386 13151 0 0 61 68 5 3 20 0 15 0 415511389 11107311616 164942 33554432000 4194304 4196468 140731192052912 139803219602224 139803764570754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20144128 140731192056560 140731192059077 140731192059077 140731192061903 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 659768 KiB
Child status: 143
Real time (s): 2478.74
CPU time (s): 2520.06
CPU user time (s): 2517.33
CPU system time (s): 2.72565
CPU usage (%): 101.667
Max. virtual memory (cumulated for all children) (KiB): 10849220
Max. memory (cumulated for all children) (KiB): 786124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.33
system time used= 2.72565
maximum resident set size= 786644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 210235
involuntary context switches= 4437
# summary of solver processes directly reported to runsolver:
# pid: 29575
# total CPU time (s): 2520.06
# total CPU user time (s): 2517.33
# total CPU system time (s): 2.72565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8628 second user time and 21.5677 second system time
The end