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 (9641 MiB free)
memory of node 1: 16384 MiB (8481 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302686-1532898669/watcher-4302686-1532898669 -o /tmp/evaluation-result-4302686-1532898669/solver-4302686-1532898669 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9921 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1887492122 -superng HOME/instance-4302686-1532898669.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=14756, runsolver pid=14753
[startup+0.10004 s]*
/proc/loadavg: 1.58 1.69 1.76 3/207 14813
/proc/meminfo: memFree=18551052/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=10005480 memory=16812 CPUtime=0.1 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 4336 13008 0 0 1 1 5 3 20 0 6 0 107430110 10245611520 4203 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2501370 4203 1935 1 0 2489808 0
[pid=14756/tid=14809] ppid=14753 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 2165 13008 0 0 0 0 5 3 20 0 6 0 107430120 10245611520 4203 33554432000 4194304 4196468 140724869055376 139714182685264 139714194929020 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 107430120 10245611520 4203 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=10005480 memory=139916677752448 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 107430120 10245611520 4203 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 107430120 10245611520 4203 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 6 0 107430120 10245611520 4203 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210092 s]*
/proc/loadavg: 1.58 1.69 1.76 3/216 14822
/proc/meminfo: memFree=18525212/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=10982696 memory=44536 CPUtime=0.26 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 8544 13008 0 0 16 2 5 3 20 0 15 0 107430110 11246280704 11134 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2745674 11134 2932 1 0 2708109 0
[pid=14756/tid=14809] ppid=14753 vsize=10982696 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 5062 13008 0 0 9 2 5 3 20 0 15 0 107430120 11246280704 11134 33554432000 4194304 4196468 140724869055376 139714182646160 139714192412089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=10982696 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246280704 11134 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=10982696 memory=139916677752448 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246280704 11134 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246280704 11134 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246280704 11134 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=10982696 memory=139916677752448 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107430122 11246280704 11134 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107430122 11246280704 11134 33554432000 4194304 4196468 140724869055376 139713071539744 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430123 11246280704 11134 33554432000 4194304 4196468 140724869055376 139712870212976 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11246280704 11134 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) S 14753 14756 8396 0 -1 1077944384 370 13008 0 0 1 0 5 3 20 0 15 0 107430125 11246280704 11134 33554432000 4194304 4196468 140724869055376 139713635416432 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) S 14753 14756 8396 0 -1 1077944384 260 13008 0 0 0 0 5 3 20 0 15 0 107430125 11246280704 11134 33554432000 4194304 4196468 140724869055376 139713634363632 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=10982696 memory=139916677752448 CPUtime=0.11 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) S 14753 14756 8396 0 -1 1077944384 628 13008 0 0 3 0 5 3 20 0 15 0 107430125 11246280704 11134 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11246280704 11134 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=10982696 memory=139916677752448 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430126 11246280704 11134 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44536 KiB
[startup+0.310479 s]*
/proc/loadavg: 1.58 1.69 1.76 3/216 14822
/proc/meminfo: memFree=18515536/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=10983192 memory=55884 CPUtime=0.38 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 10568 13008 0 0 27 3 5 3 20 0 15 0 107430110 11246788608 13971 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2745798 13971 3064 1 0 2708109 0
[pid=14756/tid=14809] ppid=14753 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 7078 13008 0 0 18 2 5 3 20 0 15 0 107430120 11246788608 13971 33554432000 4194304 4196468 140724869055376 139714182660512 139714196014071 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=10983192 memory=6081918200710189137 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 13971 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 13971 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 13971 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 13971 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107430122 11246788608 13971 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107430122 11246788608 13971 33554432000 4194304 4196468 140724869055376 139713071539744 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430123 11246788608 13971 33554432000 4194304 4196468 140724869055376 139712870212976 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11246788608 13971 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) S 14753 14756 8396 0 -1 1077944384 370 13008 0 0 1 0 5 3 20 0 15 0 107430125 11246788608 13971 33554432000 4194304 4196468 140724869055376 139713635416432 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) S 14753 14756 8396 0 -1 1077944384 263 13008 0 0 1 0 5 3 20 0 15 0 107430125 11246788608 13971 33554432000 4194304 4196468 140724869055376 139713634363632 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) S 14753 14756 8396 0 -1 1077944384 633 13008 0 0 5 0 5 3 20 0 15 0 107430125 11246788608 13971 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11246788608 13971 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430126 11246788608 13971 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55884 KiB
[startup+0.700947 s]
/proc/loadavg: 1.58 1.69 1.76 3/216 14822
/proc/meminfo: memFree=18504124/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=10983192 memory=88468 CPUtime=0.98 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 16822 13008 0 0 85 5 5 3 20 0 15 0 107430110 11246788608 22117 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2745798 22117 3237 1 0 2708109 0
[pid=14756/tid=14809] ppid=14753 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 12356 13008 0 0 54 4 5 3 20 0 15 0 107430120 11246788608 22117 33554432000 4194304 4196468 140724869055376 139714182669328 139714210870429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 22117 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 22117 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 22117 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107430120 11246788608 22117 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 5 13008 0 0 0 0 5 3 20 0 15 0 107430122 11246788608 22117 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107430122 11246788608 22117 33554432000 4194304 4196468 140724869055376 139713071539744 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430123 11246788608 22117 33554432000 4194304 4196468 140724869055376 139712870212976 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11246788608 22117 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=10983192 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) S 14753 14756 8396 0 -1 1077944384 1038 13008 0 0 10 0 5 3 20 0 15 0 107430125 11246788608 22117 33554432000 4194304 4196468 140724869055376 139713635416432 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) S 14753 14756 8396 0 -1 1077944384 507 13008 0 0 7 0 5 3 20 0 15 0 107430125 11246788608 22117 33554432000 4194304 4196468 140724869055376 139713634363632 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) R 14753 14756 8396 0 -1 1077944384 694 13008 0 0 12 0 5 3 20 0 15 0 107430125 11246788608 22117 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11246788608 22117 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430126 11246788608 22117 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88468 KiB
[startup+1.50075 s]
/proc/loadavg: 1.58 1.69 1.76 3/216 14822
/proc/meminfo: memFree=18457840/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=10999932 memory=207392 CPUtime=2.98 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 28674 13008 0 0 281 9 5 3 20 0 15 0 107430110 11263930368 51848 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2749983 51848 3476 1 0 2711641 0
[pid=14756/tid=14809] ppid=14753 vsize=10999932 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 17960 13008 0 0 127 6 5 3 20 0 15 0 107430120 11263930368 51848 33554432000 4194304 4196468 140724869055376 139714182665632 139714194041208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=10999932 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 24 13008 0 0 0 0 5 3 20 0 15 0 107430120 11263930368 51848 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=10999932 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 76 13008 0 0 1 0 5 3 20 0 15 0 107430120 11263930368 51848 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=10999932 memory=4051323354130624818 CPUtime=0.09 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 21 13008 0 0 1 0 5 3 20 0 15 0 107430120 11263930368 51848 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=10999932 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 150 13008 0 0 0 0 5 3 20 0 15 0 107430120 11263930368 51848 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=10999932 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 61 13008 0 0 1 0 5 3 20 0 15 0 107430122 11263930368 51848 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=10999932 memory=279833091320064 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107430122 11263930368 51848 33554432000 4194304 4196468 140724869055376 139713071539744 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=10999932 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430123 11263930368 51848 33554432000 4194304 4196468 140724869055376 139712870212992 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=10999932 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11263930368 51848 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=10999932 memory=5788 CPUtime=0.66 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) R 14753 14756 8396 0 -1 4202560 4109 13008 0 0 58 0 5 3 20 0 15 0 107430125 11263930368 51848 33554432000 4194304 4196468 140724869055376 139713635402408 139714190105112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=10999932 memory=4616 CPUtime=0.6 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) R 14753 14756 8396 0 -1 4202560 2545 13008 0 0 52 0 5 3 20 0 15 0 107430125 11263930368 51848 33554432000 4194304 4196468 140724869055376 139713634354016 139714192393171 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=10999932 memory=12032 CPUtime=0.43 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) S 14753 14756 8396 0 -1 1077944384 1511 13008 0 0 35 0 5 3 20 0 15 0 107430125 11263930368 51848 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=10999932 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11263930368 51848 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=10999932 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107430126 11263930368 51848 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10999932 KiB
################
# More data... #
################
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 60282 13008 0 0 16066 16 5 3 20 0 15 0 107430120 11345952768 233308 33554432000 4194304 4196468 140724869055376 139714182666656 139713775735073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=11080032 memory=958300 CPUtime=0.84 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 4183 13008 0 0 59 17 5 3 20 0 15 0 107430120 11345952768 233308 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=11080032 memory=958300 CPUtime=0.85 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 2754 13008 0 0 59 18 5 3 20 0 15 0 107430120 11345952768 233308 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=11080032 memory=951168 CPUtime=0.85 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 2067 13008 0 0 59 18 5 3 20 0 15 0 107430120 11345952768 233308 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=11080032 memory=933232 CPUtime=0.82 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 3186 13008 0 0 58 16 5 3 20 0 15 0 107430120 11345952768 233308 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=11080032 memory=951168 CPUtime=0.15 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 4845 13008 0 0 7 0 5 3 20 0 15 0 107430122 11345952768 233308 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=11080032 memory=933232 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 30 13008 0 0 0 0 5 3 20 0 15 0 107430122 11345952768 233308 33554432000 4194304 4196468 140724869055376 139713071539808 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=11080032 memory=933232 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107430123 11345952768 233308 33554432000 4194304 4196468 140724869055376 139712870212992 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=11080032 memory=933232 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 233308 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=11080032 memory=933232 CPUtime=5.55 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) S 14753 14756 8396 0 -1 1077944384 23812 13008 0 0 544 3 5 3 20 0 15 0 107430125 11345952768 233308 33554432000 4194304 4196468 140724869055376 139713635416432 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=11080032 memory=933232 CPUtime=5.89 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) S 14753 14756 8396 0 -1 1077944384 27996 13008 0 0 577 4 5 3 20 0 15 0 107430125 11345952768 233308 33554432000 4194304 4196468 140724869055376 139713634363632 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=11080032 memory=30496 CPUtime=2.09 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) S 14753 14756 8396 0 -1 1077944384 16962 13008 0 0 197 4 5 3 20 0 15 0 107430125 11345952768 233308 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=11080032 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 233308 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=11080032 memory=958300 CPUtime=0.15 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 216 13008 0 0 3 4 5 3 20 0 15 0 107430126 11345952768 233308 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 177.48 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 933232 KiB
[startup+222.301 s]
/proc/loadavg: 1.80 1.72 1.76 3/216 14956
/proc/meminfo: memFree=16859788/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=11080032 memory=806288 CPUtime=239 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 162982 13008 0 0 23783 109 5 3 20 0 15 0 107430110 11345952768 201572 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2770008 201572 3526 1 0 2731661 0
[pid=14756/tid=14809] ppid=14753 vsize=11080032 memory=912 CPUtime=220.61 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 62954 13008 0 0 22037 16 5 3 20 0 15 0 107430120 11345952768 201572 33554432000 4194304 4196468 140724869055376 139714182668144 139713763188258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=11080032 memory=826256 CPUtime=1.1 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 4276 13008 0 0 84 18 5 3 20 0 15 0 107430120 11345952768 201572 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=11080032 memory=826256 CPUtime=1.12 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 2862 13008 0 0 85 19 5 3 20 0 15 0 107430120 11345952768 201572 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=11080032 memory=834380 CPUtime=1.12 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 2286 13008 0 0 85 19 5 3 20 0 15 0 107430120 11345952768 201572 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=11080032 memory=880396 CPUtime=1.08 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 4340 13008 0 0 83 17 5 3 20 0 15 0 107430120 11345952768 201572 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=11080032 memory=831280 CPUtime=0.17 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 5057 13008 0 0 8 1 5 3 20 0 15 0 107430122 11345952768 201572 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=11080032 memory=831924 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 30 13008 0 0 0 0 5 3 20 0 15 0 107430122 11345952768 201572 33554432000 4194304 4196468 140724869055376 139713071539808 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=11080032 memory=816548 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107430123 11345952768 201572 33554432000 4194304 4196468 140724869055376 139712870212992 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=11080032 memory=816548 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 201572 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=11080032 memory=202 CPUtime=5.88 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) S 14753 14756 8396 0 -1 1077944384 27802 13008 0 0 576 4 5 3 20 0 15 0 107430125 11345952768 201572 33554432000 4194304 4196468 140724869055376 139713635416432 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=11080032 memory=816548 CPUtime=6.24 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) S 14753 14756 8396 0 -1 1077944384 33147 13008 0 0 612 4 5 3 20 0 15 0 107430125 11345952768 201572 33554432000 4194304 4196468 140724869055376 139713634363632 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=11080032 memory=912 CPUtime=2.1 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) S 14753 14756 8396 0 -1 1077944384 17773 13008 0 0 198 4 5 3 20 0 15 0 107430125 11345952768 201572 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 201572 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=11080032 memory=30496 CPUtime=0.18 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 234 13008 0 0 5 5 5 3 20 0 15 0 107430126 11345952768 201572 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 239 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 806288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+235.11 s]
/proc/loadavg: 1.69 1.70 1.75 3/215 14956
/proc/meminfo: memFree=16770244/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=11080032 memory=776536 CPUtime=252 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 165409 13008 0 0 25083 109 5 3 20 0 15 0 107430110 11345952768 194134 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2770008 194134 3526 1 0 2731661 0
[pid=14756/tid=14809] ppid=14753 vsize=11080032 memory=0 CPUtime=233.37 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 63678 13008 0 0 23313 16 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714182682376 139713775734777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=11080032 memory=776536 CPUtime=1.14 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 4279 13008 0 0 88 18 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=11080032 memory=816548 CPUtime=1.16 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 2867 13008 0 0 89 19 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=11080032 memory=776536 CPUtime=1.16 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 2287 13008 0 0 89 19 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=11080032 memory=776536 CPUtime=1.12 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 4342 13008 0 0 87 17 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.18 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 5079 13008 0 0 9 1 5 3 20 0 15 0 107430122 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 30 13008 0 0 0 0 5 3 20 0 15 0 107430122 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713071539808 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107430123 11345952768 194134 33554432000 4194304 4196468 140724869055376 139712870212992 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=11080032 memory=1716 CPUtime=5.91 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) S 14753 14756 8396 0 -1 1077944384 28725 13008 0 0 579 4 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713635416432 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=11080032 memory=776536 CPUtime=6.27 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) S 14753 14756 8396 0 -1 1077944384 33807 13008 0 0 615 4 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713634363632 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=11080032 memory=6944656592455359580 CPUtime=2.11 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) S 14753 14756 8396 0 -1 1077944384 17846 13008 0 0 199 4 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.19 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 248 13008 0 0 5 6 5 3 20 0 15 0 107430126 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 776536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+235.154 s]
# the end of solver process 14756 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.918 s, system=1.14417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+235.11 s]
/proc/loadavg: 1.69 1.70 1.75 3/215 14956
/proc/meminfo: memFree=16770244/32770624 swapFree=67108860/67108860
[pid=14756] ppid=14753 vsize=11080032 memory=776536 CPUtime=252 cores=0,2,4,6
/proc/14756/stat : 14756 (java) S 14753 14756 8396 0 -1 1077944320 165409 13008 0 0 25083 109 5 3 20 0 15 0 107430110 11345952768 194134 33554432000 4194304 4196468 140724869055376 140724869037920 139714210848503 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
/proc/14756/statm: 2770008 194134 3526 1 0 2731661 0
[pid=14756/tid=14809] ppid=14753 vsize=11080032 memory=0 CPUtime=233.37 cores=0,2,4,6
/proc/14756/task/14809/stat : 14809 (java) R 14753 14756 8396 0 -1 4202560 63678 13008 0 0 23313 16 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714182682376 139713775734777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14810] ppid=14753 vsize=11080032 memory=776536 CPUtime=1.14 cores=0,2,4,6
/proc/14756/task/14810/stat : 14810 (java) S 14753 14756 8396 0 -1 1077944384 4279 13008 0 0 88 18 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714215090832 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14811] ppid=14753 vsize=11080032 memory=816548 CPUtime=1.16 cores=0,2,4,6
/proc/14756/task/14811/stat : 14811 (java) S 14753 14756 8396 0 -1 1077944384 2867 13008 0 0 89 19 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714080426512 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14812] ppid=14753 vsize=11080032 memory=776536 CPUtime=1.16 cores=0,2,4,6
/proc/14756/task/14812/stat : 14812 (java) S 14753 14756 8396 0 -1 1077944384 2287 13008 0 0 89 19 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139714079373712 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14813] ppid=14753 vsize=11080032 memory=776536 CPUtime=1.12 cores=0,2,4,6
/proc/14756/task/14813/stat : 14813 (java) S 14753 14756 8396 0 -1 1077944384 4342 13008 0 0 87 17 5 3 20 0 15 0 107430120 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713748789520 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14814] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.18 cores=0,2,4,6
/proc/14756/task/14814/stat : 14814 (java) S 14753 14756 8396 0 -1 1077944384 5079 13008 0 0 9 1 5 3 20 0 15 0 107430122 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713636469616 139714210859650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14815] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14815/stat : 14815 (java) S 14753 14756 8396 0 -1 1077944384 30 13008 0 0 0 0 5 3 20 0 15 0 107430122 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713071539808 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14816] ppid=14753 vsize=11080032 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14816/stat : 14816 (java) S 14753 14756 8396 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107430123 11345952768 194134 33554432000 4194304 4196468 140724869055376 139712870212992 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14817] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14817/stat : 14817 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139712562813264 139714210867099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14818] ppid=14753 vsize=11080032 memory=1716 CPUtime=5.91 cores=0,2,4,6
/proc/14756/task/14818/stat : 14818 (java) S 14753 14756 8396 0 -1 1077944384 28725 13008 0 0 579 4 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713635416432 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14819] ppid=14753 vsize=11080032 memory=776536 CPUtime=6.27 cores=0,2,4,6
/proc/14756/task/14819/stat : 14819 (java) S 14753 14756 8396 0 -1 1077944384 33807 13008 0 0 615 4 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713634363632 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14820] ppid=14753 vsize=11080032 memory=6944656592455359580 CPUtime=2.11 cores=0,2,4,6
/proc/14756/task/14820/stat : 14820 (java) S 14753 14756 8396 0 -1 1077944384 17846 13008 0 0 199 4 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713633310832 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 50 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14821] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.08 cores=0,2,4,6
/proc/14756/task/14821/stat : 14821 (java) S 14753 14756 8396 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107430125 11345952768 194134 33554432000 4194304 4196468 140724869055376 139712132016352 139714210858709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
[pid=14756/tid=14822] ppid=14753 vsize=11080032 memory=776536 CPUtime=0.19 cores=0,2,4,6
/proc/14756/task/14822/stat : 14822 (java) S 14753 14756 8396 0 -1 1077944384 248 13008 0 0 5 6 5 3 20 0 15 0 107430126 11345952768 194134 33554432000 4194304 4196468 140724869055376 139713632259248 139714210859650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32559104 140724869057128 140724869059937 140724869059937 140724869062607 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 776536 KiB
Child status: 143
Real time (s): 235.154
CPU time (s): 252.062
CPU user time (s): 250.918
CPU system time (s): 1.14417
CPU usage (%): 107.19
Max. virtual memory (cumulated for all children) (KiB): 11082668
Max. memory (cumulated for all children) (KiB): 997300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.918
system time used= 1.14417
maximum resident set size= 1001396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179840
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14426
involuntary context switches= 399
# summary of solver processes directly reported to runsolver:
# pid: 14756
# total CPU time (s): 252.062
# total CPU user time (s): 250.918
# total CPU system time (s): 1.14417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38848 second user time and 2.24331 second system time
The end