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 (14437 MiB free)
memory of node 1: 16384 MiB (15341 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387547-1568310843/watcher-4387547-1568310843 -o /tmp/evaluation-result-4387547-1568310843/solver-4387547-1568310843 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568282287-6448 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1786116562 HOME/instance-4387547-1568310843.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13646, runsolver pid=13643
[startup+0.100117 s]*
/proc/loadavg: 1.14 1.37 1.40 3/218 13703
/proc/meminfo: memFree=30485296/32770624 swapFree=66996188/67108860
[pid=13646] ppid=13643 vsize=9972712 memory=19120 CPUtime=0.09 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 4510 13006 0 0 1 0 5 3 20 0 6 0 407338970 10212057088 4780 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2493178 4780 1935 1 0 2481616 0
[pid=13646/tid=13699] ppid=13643 vsize=9972712 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 2328 13006 0 0 1 0 5 3 20 0 6 0 407338979 10212057088 4780 33554432000 4194304 4196468 140735879402640 139772674703952 139772687990128 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 6 0 407338980 10212057088 4780 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=9972712 memory=140564094432896 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 6 0 407338980 10212057088 4780 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 6 0 407338980 10212057088 4780 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 6 0 407338980 10212057088 4780 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19120 KiB
[startup+0.210087 s]*
/proc/loadavg: 1.14 1.37 1.40 4/227 13712
/proc/meminfo: memFree=30465284/32770624 swapFree=66996188/67108860
[pid=13646] ppid=13643 vsize=10818940 memory=40608 CPUtime=0.27 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 7022 13006 0 0 17 2 5 3 20 0 15 0 407338970 11078594560 10152 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2704735 10152 2959 1 0 2667149 0
[pid=13646/tid=13699] ppid=13643 vsize=10819964 memory=7100839852556125036 CPUtime=0.2 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 3729 13006 0 0 11 1 5 3 20 0 15 0 407338979 11079643136 10349 33554432000 4194304 4196468 140735879402640 139772674692000 139772695546909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10819964 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079643136 10349 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10819964 memory=140564094432896 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10819964 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10819964 memory=140564094432896 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407338981 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10819964 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 407338982 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772060230944 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11079643136 10415 33554432000 4194304 4196468 140735879402640 139771456251504 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10819964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11079643136 10415 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10819964 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 435 13006 0 0 1 0 5 3 20 0 15 0 407338985 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10819964 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 186 13006 0 0 0 0 5 3 20 0 15 0 407338985 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10819964 memory=140564094432896 CPUtime=0.11 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) S 13643 13646 5684 0 -1 1077944384 625 13006 0 0 3 0 5 3 20 0 15 0 407338985 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772158556528 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10819964 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11079643136 10415 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10819964 memory=140564094432896 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338985 11079643136 10415 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40608 KiB
[startup+0.310422 s]*
/proc/loadavg: 1.14 1.37 1.40 3/227 13712
/proc/meminfo: memFree=30455008/32770624 swapFree=66996188/67108860
[pid=13646] ppid=13643 vsize=10820096 memory=51752 CPUtime=0.41 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 10708 13006 0 0 29 4 5 3 20 0 15 0 407338970 11079778304 12938 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2705024 12938 3213 1 0 2667149 0
[pid=13646/tid=13699] ppid=13643 vsize=10820244 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 7239 13006 0 0 19 2 5 3 20 0 15 0 407338979 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772674684816 139772625944438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10820244 memory=6442228183129483626 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10820244 memory=5787213827347079232 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10820244 memory=7649539948210047425 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10820244 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407338980 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407338981 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 407338982 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772060230944 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11079929856 13003 33554432000 4194304 4196468 140735879402640 139771456251504 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11079929856 13003 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10820244 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 437 13006 0 0 2 0 5 3 20 0 15 0 407338985 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 186 13006 0 0 1 0 5 3 20 0 15 0 407338985 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10820244 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) S 13643 13646 5684 0 -1 1077944384 638 13006 0 0 5 0 5 3 20 0 15 0 407338985 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772158556528 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11079929856 13003 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338985 11079929856 13003 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 51752 KiB
[startup+0.700687 s]
/proc/loadavg: 1.14 1.37 1.40 6/227 13712
/proc/meminfo: memFree=30439064/32770624 swapFree=66996188/67108860
[pid=13646] ppid=13643 vsize=10824340 memory=82460 CPUtime=1.15 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 14850 13006 0 0 102 5 5 3 20 0 15 0 407338970 11084124160 20615 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2706085 20615 3505 1 0 2668173 0
[pid=13646/tid=13699] ppid=13643 vsize=10824340 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 10529 13006 0 0 55 4 5 3 20 0 15 0 407338979 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772674694176 139772702879126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10824340 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338980 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 2 13006 0 0 0 0 5 3 20 0 15 0 407338980 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 5 13006 0 0 0 0 5 3 20 0 15 0 407338981 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 13 13006 0 0 0 0 5 3 20 0 15 0 407338982 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772060230944 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11084124160 20615 33554432000 4194304 4196468 140735879402640 139771456251504 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11084124160 20615 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 728 13006 0 0 13 0 5 3 20 0 15 0 407338985 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 521 13006 0 0 14 0 5 3 20 0 15 0 407338985 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10824340 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) R 13643 13646 5684 0 -1 4202560 831 13006 0 0 18 0 5 3 20 0 15 0 407338985 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772158556528 139772702888538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10824340 memory=281127889666288 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11084124160 20615 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338985 11084124160 20615 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82460 KiB
[startup+1.50066 s]
/proc/loadavg: 1.14 1.37 1.40 5/227 13712
/proc/meminfo: memFree=30392776/32770624 swapFree=66996188/67108860
[pid=13646] ppid=13643 vsize=10834656 memory=190748 CPUtime=2.83 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 24195 13006 0 0 265 10 5 3 20 0 15 0 407338970 11094687744 47687 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2708664 47687 3575 1 0 2670733 0
[pid=13646/tid=13699] ppid=13643 vsize=10834656 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 15204 13006 0 0 130 5 5 3 20 0 15 0 407338979 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772674693616 139772686947678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 51 13006 0 0 1 0 5 3 20 0 15 0 407338980 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10834656 memory=3184238484021104176 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 53 13006 0 0 1 0 5 3 20 0 15 0 407338980 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10834656 memory=281127890243296 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 36 13006 0 0 1 0 5 3 20 0 15 0 407338980 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 299 13006 0 0 1 0 5 3 20 0 15 0 407338980 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10834656 memory=3472468842992949072 CPUtime=0.09 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 137 13006 0 0 1 0 5 3 20 0 15 0 407338981 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10834656 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 14 13006 0 0 0 0 5 3 20 0 15 0 407338982 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772060231008 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10834656 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11094687744 47687 33554432000 4194304 4196468 140735879402640 139771456251520 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11094687744 47687 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10834656 memory=56 CPUtime=0.49 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 2345 13006 0 0 41 0 5 3 20 0 15 0 407338985 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10834656 memory=2670038 CPUtime=0.47 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 1768 13006 0 0 39 0 5 3 20 0 15 0 407338985 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10834656 memory=2671448 CPUtime=0.53 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) S 13643 13646 5684 0 -1 1077944384 2070 13006 0 0 45 0 5 3 20 0 15 0 407338985 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772158556528 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11094687744 47687 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10834656 memory=281127889688384 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338985 11094687744 47687 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 208945 13006 0 0 235448 90 5 3 20 0 15 0 407338979 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772674702864 139772293242427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10844916 memory=742212 CPUtime=14.46 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 25518 13006 0 0 1369 69 5 3 20 0 15 0 407338980 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10844916 memory=733756 CPUtime=14.43 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 18714 13006 0 0 1363 72 5 3 20 0 15 0 407338980 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10844916 memory=746996 CPUtime=14.46 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 19953 13006 0 0 1364 74 5 3 20 0 15 0 407338980 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10844916 memory=738272 CPUtime=14.48 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 20129 13006 0 0 1373 67 5 3 20 0 15 0 407338980 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10844916 memory=742892 CPUtime=9.86 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 13676 13006 0 0 885 93 5 3 20 0 15 0 407338981 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10844916 memory=731192 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772060231008 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10844916 memory=754512 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 188243 33554432000 4194304 4196468 140735879402640 139771456251520 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10844916 memory=752972 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 188243 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10844916 memory=8 CPUtime=3.95 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 39011 13006 0 0 381 6 5 3 20 0 15 0 407338985 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10844916 memory=754000 CPUtime=3.88 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 38268 13006 0 0 371 9 5 3 20 0 15 0 407338985 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10844916 memory=1380 CPUtime=3.75 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) S 13643 13646 5684 0 -1 1077944384 46014 13006 0 0 359 8 5 3 20 0 15 0 407338985 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772158556528 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10844916 memory=1128 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 188243 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10844916 memory=707024 CPUtime=1.59 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1677 13006 0 0 67 84 5 3 20 0 15 0 407338985 11105193984 188243 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 2435.71 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 752972 KiB
[startup+2442.3 s]
/proc/loadavg: 0.69 0.67 0.93 2/206 14008
/proc/meminfo: memFree=30146800/32770624 swapFree=66996208/67108860
[pid=13646] ppid=13643 vsize=10844916 memory=776216 CPUtime=2496.97 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 439959 13006 0 0 249164 525 5 3 20 0 15 0 407338970 11105193984 194054 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2711229 194054 3623 1 0 2673293 0
[pid=13646/tid=13699] ppid=13643 vsize=10844916 memory=746996 CPUtime=2414.77 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 212788 13006 0 0 241377 92 5 3 20 0 15 0 407338979 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772674702768 139772290634889 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10844916 memory=742364 CPUtime=14.88 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 25951 13006 0 0 1410 70 5 3 20 0 15 0 407338980 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10844916 memory=735032 CPUtime=14.85 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 19051 13006 0 0 1404 73 5 3 20 0 15 0 407338980 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10844916 memory=740288 CPUtime=14.88 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 20467 13006 0 0 1404 76 5 3 20 0 15 0 407338980 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10844916 memory=778268 CPUtime=14.91 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 20558 13006 0 0 1414 69 5 3 20 0 15 0 407338980 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10844916 memory=777240 CPUtime=10.07 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 13919 13006 0 0 903 96 5 3 20 0 15 0 407338981 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10844916 memory=776728 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772060231008 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10844916 memory=777240 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 194054 33554432000 4194304 4196468 140735879402640 139771456251520 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10844916 memory=776216 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 194054 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10844916 memory=8 CPUtime=3.95 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 39013 13006 0 0 381 6 5 3 20 0 15 0 407338985 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10844916 memory=751468 CPUtime=3.88 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 38270 13006 0 0 371 9 5 3 20 0 15 0 407338985 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10844916 memory=779292 CPUtime=3.75 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) S 13643 13646 5684 0 -1 1077944384 46016 13006 0 0 359 8 5 3 20 0 15 0 407338985 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772158556528 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10844916 memory=779292 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 194054 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10844916 memory=4126316290023845779 CPUtime=1.63 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1694 13006 0 0 69 86 5 3 20 0 15 0 407338985 11105193984 194054 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 2496.97 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 776216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.9 s]
/proc/loadavg: 0.72 0.68 0.93 2/206 14009
/proc/meminfo: memFree=30135128/32770624 swapFree=66996208/67108860
[pid=13646] ppid=13643 vsize=10844916 memory=787172 CPUtime=2520.03 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 441571 13006 0 0 251466 529 5 3 20 0 15 0 407338970 11105193984 196793 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2711229 196793 3623 1 0 2673293 0
[pid=13646/tid=13699] ppid=13643 vsize=10844916 memory=787368 CPUtime=2437.09 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 213586 13006 0 0 243609 92 5 3 20 0 15 0 407338979 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772674702336 139772293228747 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10844916 memory=788236 CPUtime=15.05 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 26204 13006 0 0 1426 71 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10844916 memory=787884 CPUtime=15.02 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 19174 13006 0 0 1420 74 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10844916 memory=1556 CPUtime=15.04 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 20647 13006 0 0 1419 77 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10844916 memory=787368 CPUtime=15.08 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 20792 13006 0 0 1430 70 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10844916 memory=3624 CPUtime=10.16 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 13941 13006 0 0 911 97 5 3 20 0 15 0 407338981 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10844916 memory=786396 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772060231008 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10844916 memory=281127890372160 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 196793 33554432000 4194304 4196468 140735879402640 139771456251520 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10844916 memory=789216 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10844916 memory=984 CPUtime=3.95 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 39013 13006 0 0 381 6 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10844916 memory=22880 CPUtime=3.88 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 38270 13006 0 0 371 9 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10844916 memory=984 CPUtime=3.75 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) S 13643 13646 5684 0 -1 1077944384 46016 13006 0 0 359 8 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772158556528 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10844916 memory=788008 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10844916 memory=3624 CPUtime=1.64 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1696 13006 0 0 69 87 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 787172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.93 s]
# the end of solver process 13646 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.74 s, system=5.34073 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.9 s]
/proc/loadavg: 0.72 0.68 0.93 2/206 14009
/proc/meminfo: memFree=30135128/32770624 swapFree=66996208/67108860
[pid=13646] ppid=13643 vsize=10844916 memory=787172 CPUtime=2520.03 cores=1,3,5,7
/proc/13646/stat : 13646 (java) S 13643 13646 5684 0 -1 1077944320 441571 13006 0 0 251466 529 5 3 20 0 15 0 407338970 11105193984 196793 33554432000 4194304 4196468 140735879402640 140735879385184 139772702867191 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
/proc/13646/statm: 2711229 196793 3623 1 0 2673293 0
[pid=13646/tid=13699] ppid=13643 vsize=10844916 memory=787368 CPUtime=2437.09 cores=1,3,5,7
/proc/13646/task/13699/stat : 13699 (java) R 13643 13646 5684 0 -1 4202560 213586 13006 0 0 243609 92 5 3 20 0 15 0 407338979 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772674702336 139772293228747 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13700] ppid=13643 vsize=10844916 memory=788236 CPUtime=15.05 cores=1,3,5,7
/proc/13646/task/13700/stat : 13700 (java) S 13643 13646 5684 0 -1 1077944384 26204 13006 0 0 1426 71 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772707109264 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13701] ppid=13643 vsize=10844916 memory=787884 CPUtime=15.02 cores=1,3,5,7
/proc/13646/task/13701/stat : 13701 (java) S 13643 13646 5684 0 -1 1077944384 19174 13006 0 0 1420 74 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772605999376 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13702] ppid=13643 vsize=10844916 memory=1556 CPUtime=15.04 cores=1,3,5,7
/proc/13646/task/13702/stat : 13702 (java) S 13643 13646 5684 0 -1 1077944384 20647 13006 0 0 1419 77 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772604947088 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13703] ppid=13643 vsize=10844916 memory=787368 CPUtime=15.08 cores=1,3,5,7
/proc/13646/task/13703/stat : 13703 (java) S 13643 13646 5684 0 -1 1077944384 20792 13006 0 0 1430 70 5 3 20 0 15 0 407338980 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772603894288 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13704] ppid=13643 vsize=10844916 memory=3624 CPUtime=10.16 cores=1,3,5,7
/proc/13646/task/13704/stat : 13704 (java) S 13643 13646 5684 0 -1 1077944384 13941 13006 0 0 911 97 5 3 20 0 15 0 407338981 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772161714800 139772702878338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13705] ppid=13643 vsize=10844916 memory=786396 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13705/stat : 13705 (java) S 13643 13646 5684 0 -1 1077944384 15 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772060231008 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13706] ppid=13643 vsize=10844916 memory=281127890372160 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13706/stat : 13706 (java) S 13643 13646 5684 0 -1 1077944384 1 13006 0 0 0 0 5 3 20 0 15 0 407338982 11105193984 196793 33554432000 4194304 4196468 140735879402640 139771456251520 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13707] ppid=13643 vsize=10844916 memory=789216 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13707/stat : 13707 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139771215960656 139772702885787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13708] ppid=13643 vsize=10844916 memory=984 CPUtime=3.95 cores=1,3,5,7
/proc/13646/task/13708/stat : 13708 (java) S 13643 13646 5684 0 -1 1077944384 39013 13006 0 0 381 6 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772160661616 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13709] ppid=13643 vsize=10844916 memory=22880 CPUtime=3.88 cores=1,3,5,7
/proc/13646/task/13709/stat : 13709 (java) S 13643 13646 5684 0 -1 1077944384 38270 13006 0 0 371 9 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772159608816 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13710] ppid=13643 vsize=10844916 memory=984 CPUtime=3.75 cores=1,3,5,7
/proc/13646/task/13710/stat : 13710 (java) S 13643 13646 5684 0 -1 1077944384 46016 13006 0 0 359 8 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772158556528 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13711] ppid=13643 vsize=10844916 memory=788008 CPUtime=0.08 cores=1,3,5,7
/proc/13646/task/13711/stat : 13711 (java) S 13643 13646 5684 0 -1 1077944384 3 13006 0 0 0 0 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139771182402016 139772702877397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
[pid=13646/tid=13712] ppid=13643 vsize=10844916 memory=3624 CPUtime=1.64 cores=1,3,5,7
/proc/13646/task/13712/stat : 13712 (java) S 13643 13646 5684 0 -1 1077944384 1696 13006 0 0 69 87 5 3 20 0 15 0 407338985 11105193984 196793 33554432000 4194304 4196468 140735879402640 139772157504432 139772702878338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10350592 140735879408373 140735879410885 140735879410885 140735879413711 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 787172 KiB
Child status: 143
Real time (s): 2464.93
CPU time (s): 2520.08
CPU user time (s): 2514.74
CPU system time (s): 5.34073
CPU usage (%): 102.238
Max. virtual memory (cumulated for all children) (KiB): 10844916
Max. memory (cumulated for all children) (KiB): 1030200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.74
system time used= 5.34073
maximum resident set size= 1031224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259824
involuntary context switches= 5878
# summary of solver processes directly reported to runsolver:
# pid: 13646
# total CPU time (s): 2520.08
# total CPU user time (s): 2514.74
# total CPU system time (s): 5.34073
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9951 second user time and 22.596 second system time
The end