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 (10659 MiB free)
memory of node 1: 16384 MiB (12152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395975-1568411517/watcher-4395975-1568411517 -o /tmp/evaluation-result-4395975-1568411517/solver-4395975-1568411517 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568410997-3603 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=398597832 HOME/instance-4395975-1568411517.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3870, runsolver pid=3867
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 1.37 1.60 1.65 3/219 3927
/proc/meminfo: memFree=23350060/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 4481 12998 0 0 1 0 5 3 20 0 6 0 417089071 10212057088 4203 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2493178 4203 1935 1 0 2481616 0
[pid=3870/tid=3923] ppid=3867 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 2329 12998 0 0 1 0 5 3 20 0 6 0 417089080 10212057088 4269 33554432000 4194304 4196468 140720983526896 140602276389456 140602289675632 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 6 0 417089081 10212057088 4269 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=9972712 memory=140524828460672 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 6 0 417089081 10212057088 4269 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 6 0 417089081 10212057088 4269 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 6 0 417089081 10212057088 4269 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.211233 s]*
/proc/loadavg: 1.37 1.60 1.65 4/228 3936
/proc/meminfo: memFree=23332376/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=10819664 memory=41360 CPUtime=0.27 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 7183 12998 0 0 17 2 5 3 20 0 15 0 417089071 11079335936 10340 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2704916 10340 3168 1 0 2667149 0
[pid=3870/tid=3923] ppid=3867 vsize=10819664 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 3663 12998 0 0 10 1 5 3 20 0 15 0 417089080 11079335936 10340 33554432000 4194304 4196468 140720983526896 140602276349600 140602288633182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079335936 10340 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10819664 memory=140524828460672 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10819664 memory=140524828460672 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089082 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 33 12998 0 0 0 0 5 3 20 0 15 0 417089083 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601763022112 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089083 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601190246000 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11079335936 10340 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 361 12998 0 0 1 0 5 3 20 0 15 0 417089086 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) S 3867 3870 1330 0 -1 1077944384 305 12998 0 0 1 0 5 3 20 0 15 0 417089086 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601728411632 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10819664 memory=140524828460672 CPUtime=0.11 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 605 12998 0 0 3 0 5 3 20 0 15 0 417089086 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11079335936 10340 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10819664 memory=140524828460672 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089086 11079335936 10340 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41360 KiB
[startup+0.310586 s]*
/proc/loadavg: 1.37 1.60 1.65 3/228 3936
/proc/meminfo: memFree=23319760/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=10820148 memory=50240 CPUtime=0.4 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 10826 12998 0 0 29 3 5 3 20 0 15 0 417089071 11079831552 12560 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2705037 12560 3300 1 0 2667149 0
[pid=3870/tid=3923] ppid=3867 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 7281 12998 0 0 19 2 5 3 20 0 15 0 417089080 11079831552 12560 33554432000 4194304 4196468 140720983526896 140602276358800 140602288633182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10820148 memory=7084558473499731557 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079831552 12560 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10820148 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10820148 memory=7019607612609613507 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089082 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 33 12998 0 0 0 0 5 3 20 0 15 0 417089083 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601763022112 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089083 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601190246000 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11079831552 12560 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 362 12998 0 0 1 0 5 3 20 0 15 0 417089086 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) S 3867 3870 1330 0 -1 1077944384 314 12998 0 0 2 0 5 3 20 0 15 0 417089086 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601728411632 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 613 12998 0 0 5 0 5 3 20 0 15 0 417089086 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11079831552 12560 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089086 11079831552 12560 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50240 KiB
[startup+0.700806 s]
/proc/loadavg: 1.37 1.60 1.65 3/228 3936
/proc/meminfo: memFree=23304740/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=10824360 memory=84068 CPUtime=1.15 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 15215 12998 0 0 101 6 5 3 20 0 15 0 417089071 11084144640 21017 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2706090 21017 3512 1 0 2668173 0
[pid=3870/tid=3923] ppid=3867 vsize=10824360 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 10335 12998 0 0 55 4 5 3 20 0 15 0 417089080 11084144640 21017 33554432000 4194304 4196468 140720983526896 140602276380320 140602288633182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089081 11084144640 21017 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089081 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10824360 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 5 12998 0 0 0 0 5 3 20 0 15 0 417089082 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10824360 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 33 12998 0 0 0 0 5 3 20 0 15 0 417089083 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601763022112 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089083 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601190246000 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10824360 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11084144640 21017 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10824360 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 925 12998 0 0 15 0 5 3 20 0 15 0 417089086 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10824360 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) R 3867 3870 1330 0 -1 4202560 827 12998 0 0 12 0 5 3 20 0 15 0 417089086 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601728411632 140602283961041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10824360 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 867 12998 0 0 17 0 5 3 20 0 15 0 417089086 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10824360 memory=281049372295408 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11084144640 21017 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 1 12998 0 0 0 0 5 3 20 0 15 0 417089086 11084144640 21017 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 84068 KiB
[startup+1.5007 s]
/proc/loadavg: 1.37 1.60 1.65 5/228 3936
/proc/meminfo: memFree=23237712/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=10828532 memory=216072 CPUtime=3.56 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 23448 12998 0 0 337 11 5 3 20 0 15 0 417089071 11088416768 54018 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2707133 54018 3582 1 0 2669197 0
[pid=3870/tid=3923] ppid=3867 vsize=10828532 memory=27 CPUtime=1.45 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 12667 12998 0 0 130 7 5 3 20 0 15 0 417089080 11088416768 54018 33554432000 4194304 4196468 140720983526896 140602276370680 140602288633182 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10828532 memory=29 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 5 12998 0 0 0 0 5 3 20 0 15 0 417089081 11088416768 54018 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10828532 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 7 12998 0 0 0 0 5 3 20 0 15 0 417089081 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10828532 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 80 12998 0 0 1 0 5 3 20 0 15 0 417089081 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10828532 memory=104120 CPUtime=0.09 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 332 12998 0 0 1 0 5 3 20 0 15 0 417089081 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10828532 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 93 12998 0 0 0 0 5 3 20 0 15 0 417089082 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10828532 memory=7014751519583261538 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 33 12998 0 0 0 0 5 3 20 0 15 0 417089083 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601763022112 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10828532 memory=7588960583809330008 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 2 12998 0 0 0 0 5 3 20 0 15 0 417089083 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601190246016 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10828532 memory=7092153929887674472 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11088416768 54018 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10828532 memory=4639948313719891052 CPUtime=0.87 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 2964 12998 0 0 78 1 5 3 20 0 15 0 417089086 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10828532 memory=7666368367051760728 CPUtime=0.85 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) S 3867 3870 1330 0 -1 1077944384 2666 12998 0 0 77 0 5 3 20 0 15 0 417089086 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601728411632 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10828532 memory=7014751519583261538 CPUtime=0.54 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 2381 12998 0 0 46 0 5 3 20 0 15 0 417089086 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10828532 memory=7014751519583261538 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11088416768 54018 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10828532 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11088416768 54018 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 3.56 s
Current children cumulated vsize: 10828532 KiB
################
# More data... #
################
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 64822 12998 0 0 236475 40 5 3 20 0 15 0 417089080 11109408768 94368 33554432000 4194304 4196468 140720983526896 140602276387200 140601897139085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10849032 memory=4048 CPUtime=9.75 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 16834 12998 0 0 933 34 5 3 20 0 15 0 417089081 11109408768 94368 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10849032 memory=14288 CPUtime=9.77 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 15118 12998 0 0 933 36 5 3 20 0 15 0 417089081 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10849032 memory=504 CPUtime=9.78 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 13535 12998 0 0 930 40 5 3 20 0 15 0 417089081 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10849032 memory=1728 CPUtime=9.78 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 15129 12998 0 0 930 40 5 3 20 0 15 0 417089081 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10849032 memory=924 CPUtime=5.38 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 13560 12998 0 0 489 41 5 3 20 0 15 0 417089082 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10849032 memory=1804 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 47 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601763022176 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10849032 memory=916 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 4 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601190246016 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10849032 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94368 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10849032 memory=2376 CPUtime=9.66 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 48487 12998 0 0 952 6 5 3 20 0 15 0 417089086 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10849032 memory=2212 CPUtime=9.98 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) S 3867 3870 1330 0 -1 1077944384 39639 12998 0 0 986 4 5 3 20 0 15 0 417089086 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601728411632 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10849032 memory=4276 CPUtime=3.16 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 25005 12998 0 0 301 7 5 3 20 0 15 0 417089086 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10849032 memory=1536 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94368 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10849032 memory=8112282956445269571 CPUtime=1.39 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 1508 12998 0 0 65 66 5 3 20 0 15 0 417089086 11109408768 94368 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 2433.28 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 377472 KiB
[startup+2442.3 s]
/proc/loadavg: 1.18 1.31 1.37 3/228 4331
/proc/meminfo: memFree=23073368/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=10849032 memory=378852 CPUtime=2494.03 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 258086 12998 0 0 249104 291 5 3 20 0 15 0 417089071 11109408768 94713 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2712258 94713 3641 1 0 2674317 0
[pid=3870/tid=3923] ppid=3867 vsize=10849032 memory=1964 CPUtime=2424.77 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 65631 12998 0 0 242429 40 5 3 20 0 15 0 417089080 11109408768 94713 33554432000 4194304 4196468 140720983526896 140602276387392 140601899136585 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10849032 memory=1398722017469774279 CPUtime=10.02 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 17153 12998 0 0 959 35 5 3 20 0 15 0 417089081 11109408768 94713 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10849032 memory=4872558044660077418 CPUtime=10.03 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 15299 12998 0 0 958 37 5 3 20 0 15 0 417089081 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10849032 memory=26500 CPUtime=10.05 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 13839 12998 0 0 956 41 5 3 20 0 15 0 417089081 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10849032 memory=28708 CPUtime=10.04 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 15466 12998 0 0 955 41 5 3 20 0 15 0 417089081 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10849032 memory=8112282956445269571 CPUtime=5.52 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 13768 12998 0 0 502 42 5 3 20 0 15 0 417089082 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10849032 memory=4276 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 47 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601763022176 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10849032 memory=1536 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 4 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601190246016 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10849032 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94713 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10849032 memory=2008 CPUtime=9.66 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 48489 12998 0 0 952 6 5 3 20 0 15 0 417089086 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10849032 memory=378852 CPUtime=9.98 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) S 3867 3870 1330 0 -1 1077944384 39642 12998 0 0 986 4 5 3 20 0 15 0 417089086 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601728411632 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10849032 memory=378852 CPUtime=3.16 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 25007 12998 0 0 301 7 5 3 20 0 15 0 417089086 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10849032 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94713 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10849032 memory=288230596050944315 CPUtime=1.42 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 1525 12998 0 0 67 67 5 3 20 0 15 0 417089086 11109408768 94713 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 2494.03 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 378852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468 s]
/proc/loadavg: 1.19 1.30 1.36 3/228 4334
/proc/meminfo: memFree=23073896/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=10849032 memory=378580 CPUtime=2520.08 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 258537 12998 0 0 251707 293 5 3 20 0 15 0 417089071 11109408768 94645 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2712258 94645 3641 1 0 2674317 0
[pid=3870/tid=3923] ppid=3867 vsize=10849032 memory=378852 CPUtime=2450.25 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 65724 12998 0 0 244977 40 5 3 20 0 15 0 417089080 11109408768 94645 33554432000 4194304 4196468 140720983526896 140602276387600 140601898455834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10849032 memory=379880 CPUtime=10.14 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 17214 12998 0 0 971 35 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10849032 memory=379460 CPUtime=10.15 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 15380 12998 0 0 970 37 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10849032 memory=379640 CPUtime=10.17 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 13910 12998 0 0 968 41 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10849032 memory=378580 CPUtime=10.16 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 15602 12998 0 0 967 41 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10849032 memory=378580 CPUtime=5.59 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 13775 12998 0 0 508 43 5 3 20 0 15 0 417089082 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10849032 memory=4276 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 47 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601763022176 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10849032 memory=1536 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 4 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601190246016 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10849032 memory=378612 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10849032 memory=378612 CPUtime=9.66 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 48489 12998 0 0 952 6 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10849032 memory=378580 CPUtime=9.98 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) S 3867 3870 1330 0 -1 1077944384 39642 12998 0 0 986 4 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601728411632 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10849032 memory=916 CPUtime=3.16 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 25007 12998 0 0 301 7 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10849032 memory=378612 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10849032 memory=378612 CPUtime=1.44 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 1527 12998 0 0 68 68 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 378580 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.04 s]
# the end of solver process 3870 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.16 s, system=2.97625 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468 s]
/proc/loadavg: 1.19 1.30 1.36 3/228 4334
/proc/meminfo: memFree=23073896/32770624 swapFree=67108848/67108860
[pid=3870] ppid=3867 vsize=10849032 memory=378580 CPUtime=2520.08 cores=0,2,4,6
/proc/3870/stat : 3870 (java) S 3867 3870 1330 0 -1 1077944320 258537 12998 0 0 251707 293 5 3 20 0 15 0 417089071 11109408768 94645 33554432000 4194304 4196468 140720983526896 140720983509440 140602304552695 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
/proc/3870/statm: 2712258 94645 3641 1 0 2674317 0
[pid=3870/tid=3923] ppid=3867 vsize=10849032 memory=378852 CPUtime=2450.25 cores=0,2,4,6
/proc/3870/task/3923/stat : 3923 (java) R 3867 3870 1330 0 -1 4202560 65724 12998 0 0 244977 40 5 3 20 0 15 0 417089080 11109408768 94645 33554432000 4194304 4196468 140720983526896 140602276387600 140601898455834 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3924] ppid=3867 vsize=10849032 memory=379880 CPUtime=10.14 cores=0,2,4,6
/proc/3870/task/3924/stat : 3924 (java) S 3867 3870 1330 0 -1 1077944384 17214 12998 0 0 971 35 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140602308794768 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3925] ppid=3867 vsize=10849032 memory=379460 CPUtime=10.15 cores=0,2,4,6
/proc/3870/task/3925/stat : 3925 (java) S 3867 3870 1330 0 -1 1077944384 15380 12998 0 0 970 37 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601878112528 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3926] ppid=3867 vsize=10849032 memory=379640 CPUtime=10.17 cores=0,2,4,6
/proc/3870/task/3926/stat : 3926 (java) S 3867 3870 1330 0 -1 1077944384 13910 12998 0 0 968 41 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601877060240 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3927] ppid=3867 vsize=10849032 memory=378580 CPUtime=10.16 cores=0,2,4,6
/proc/3870/task/3927/stat : 3927 (java) S 3867 3870 1330 0 -1 1077944384 15602 12998 0 0 967 41 5 3 20 0 15 0 417089081 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601876007440 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3928] ppid=3867 vsize=10849032 memory=378580 CPUtime=5.59 cores=0,2,4,6
/proc/3870/task/3928/stat : 3928 (java) S 3867 3870 1330 0 -1 1077944384 13775 12998 0 0 508 43 5 3 20 0 15 0 417089082 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601764076144 140602304563842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3929] ppid=3867 vsize=10849032 memory=4276 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3929/stat : 3929 (java) S 3867 3870 1330 0 -1 1077944384 47 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601763022176 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3930] ppid=3867 vsize=10849032 memory=1536 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3930/stat : 3930 (java) S 3867 3870 1330 0 -1 1077944384 4 12998 0 0 0 0 5 3 20 0 15 0 417089083 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601190246016 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3931] ppid=3867 vsize=10849032 memory=378612 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3931/stat : 3931 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140600882846288 140602304571291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3932] ppid=3867 vsize=10849032 memory=378612 CPUtime=9.66 cores=0,2,4,6
/proc/3870/task/3932/stat : 3932 (java) S 3867 3870 1330 0 -1 1077944384 48489 12998 0 0 952 6 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601729464432 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3933] ppid=3867 vsize=10849032 memory=378580 CPUtime=9.98 cores=0,2,4,6
/proc/3870/task/3933/stat : 3933 (java) S 3867 3870 1330 0 -1 1077944384 39642 12998 0 0 986 4 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601728411632 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3934] ppid=3867 vsize=10849032 memory=916 CPUtime=3.16 cores=0,2,4,6
/proc/3870/task/3934/stat : 3934 (java) S 3867 3870 1330 0 -1 1077944384 25007 12998 0 0 301 7 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601270987120 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3935] ppid=3867 vsize=10849032 memory=378612 CPUtime=0.08 cores=0,2,4,6
/proc/3870/task/3935/stat : 3935 (java) S 3867 3870 1330 0 -1 1077944384 3 12998 0 0 0 0 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140600849287648 140602304562901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
[pid=3870/tid=3936] ppid=3867 vsize=10849032 memory=378612 CPUtime=1.44 cores=0,2,4,6
/proc/3870/task/3936/stat : 3936 (java) S 3867 3870 1330 0 -1 1077944384 1527 12998 0 0 68 68 5 3 20 0 15 0 417089086 11109408768 94645 33554432000 4194304 4196468 140720983526896 140601269935024 140602304563842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34127872 140720983530224 140720983532741 140720983532741 140720983535567 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 378580 KiB
Child status: 143
Real time (s): 2468.04
CPU time (s): 2520.13
CPU user time (s): 2517.16
CPU system time (s): 2.97625
CPU usage (%): 102.111
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 1726160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.16
system time used= 2.97626
maximum resident set size= 1727184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163045
involuntary context switches= 5927
# summary of solver processes directly reported to runsolver:
# pid: 3870
# total CPU time (s): 2520.13
# total CPU user time (s): 2517.16
# total CPU system time (s): 2.97625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5149 second user time and 22.9607 second system time
The end