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 (8656 MiB free)
memory of node 1: 16384 MiB (12639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302560-1532895713/watcher-4302560-1532895713 -o /tmp/evaluation-result-4302560-1532895713/solver-4302560-1532895713 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17593 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=861447192 HOME/instance-4302560-1532895713.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17830, runsolver pid=17827
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 1.45 1.40 1.39 3/210 17887
/proc/meminfo: memFree=21803048/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=10005480 memory=15180 CPUtime=0.09 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 4436 13035 0 0 1 0 5 3 20 0 6 0 107134432 10245611520 3795 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2501370 3795 1935 1 0 2489808 0
[pid=17830/tid=17883] ppid=17827 vsize=10005480 memory=4279135703913365132 CPUtime=0.09 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 2247 13035 0 0 1 0 5 3 20 0 6 0 107134441 10245611520 4307 33554432000 4194304 4196468 140728719665680 140174117847632 140174146032797 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 6 0 107134442 10245611520 4307 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=10005480 memory=140080154257024 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 6 0 107134442 10245611520 4307 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 6 0 107134442 10245611520 4307 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 6 0 107134442 10245611520 4307 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15180 KiB
[startup+0.210661 s]*
/proc/loadavg: 1.45 1.40 1.39 3/219 17896
/proc/meminfo: memFree=21774812/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=10982744 memory=46940 CPUtime=0.26 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 7933 13035 0 0 17 1 5 3 20 0 15 0 107134432 11246329856 11735 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2745686 11735 2956 1 0 2708109 0
[pid=17830/tid=17883] ppid=17827 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 4508 13035 0 0 10 1 5 3 20 0 15 0 107134441 11246329856 11735 33554432000 4194304 4196468 140728719665680 140174117832880 140174146032797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=10982744 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246329856 11735 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=10982744 memory=140080154274722 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246329856 11735 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=10982744 memory=140080154257024 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 13 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173035693344 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246329856 11735 33554432000 4194304 4196468 140728719665680 140172834367088 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11246329856 11735 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 422 13035 0 0 1 0 5 3 20 0 15 0 107134447 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) S 17827 17830 6396 0 -1 1077944384 187 13035 0 0 1 0 5 3 20 0 15 0 107134447 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=10982744 memory=140080154257024 CPUtime=0.11 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) R 17827 17830 6396 0 -1 4202560 617 13035 0 0 3 0 5 3 20 0 15 0 107134447 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173112224112 140174130205823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11246329856 11735 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=10982744 memory=140080154257024 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134448 11246329856 11735 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46940 KiB
[startup+0.310599 s]*
/proc/loadavg: 1.45 1.40 1.39 3/219 17896
/proc/meminfo: memFree=21763400/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=10983192 memory=57612 CPUtime=0.39 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 10447 13035 0 0 29 2 5 3 20 0 15 0 107134432 11246788608 14403 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2745798 14403 3075 1 0 2708109 0
[pid=17830/tid=17883] ppid=17827 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 6993 13035 0 0 19 2 5 3 20 0 15 0 107134441 11246788608 14403 33554432000 4194304 4196468 140728719665680 140174117822880 140174146032797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 14403 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 14403 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 13 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173035693344 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246788608 14403 33554432000 4194304 4196468 140728719665680 140172834367088 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11246788608 14403 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 428 13035 0 0 1 0 5 3 20 0 15 0 107134447 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) S 17827 17830 6396 0 -1 1077944384 187 13035 0 0 1 0 5 3 20 0 15 0 107134447 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=10983192 memory=140080154257024 CPUtime=0.13 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) S 17827 17830 6396 0 -1 1077944384 623 13035 0 0 5 0 5 3 20 0 15 0 107134447 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173112224112 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11246788608 14403 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=10983192 memory=140080154257024 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134448 11246788608 14403 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57612 KiB
[startup+0.700764 s]
/proc/loadavg: 1.45 1.40 1.39 3/219 17896
/proc/meminfo: memFree=21751740/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=10983192 memory=90592 CPUtime=0.99 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 16746 13035 0 0 87 4 5 3 20 0 15 0 107134432 11246788608 22584 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2745798 22648 3244 1 0 2708109 0
[pid=17830/tid=17883] ppid=17827 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 12261 13035 0 0 56 3 5 3 20 0 15 0 107134441 11246788608 22648 33554432000 4194304 4196468 140728719665680 140174117831696 140174130091358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 22648 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 22648 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 5 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=10983192 memory=140080022958800 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 13 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173035693344 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=10983192 memory=140080358359651 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134444 11246788608 22648 33554432000 4194304 4196468 140728719665680 140172834367088 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=10983192 memory=10624 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11246788608 22648 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=10983192 memory=7234564758908855872 CPUtime=0.17 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 1040 13035 0 0 9 0 5 3 20 0 15 0 107134447 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=10983192 memory=7597685182856913236 CPUtime=0.15 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) R 17827 17830 6396 0 -1 1077944384 537 13035 0 0 7 0 5 3 20 0 15 0 107134447 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=10983192 memory=5787220445994897765 CPUtime=0.21 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) R 17827 17830 6396 0 -1 4202560 700 13035 0 0 13 0 5 3 20 0 15 0 107134447 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173112224112 140174146022806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=10983192 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11246788608 22648 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134448 11246788608 22648 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90592 KiB
[startup+1.5007 s]
/proc/loadavg: 1.45 1.40 1.39 4/219 17896
/proc/meminfo: memFree=21705408/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=10996044 memory=177572 CPUtime=3.12 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 26676 13035 0 0 296 8 5 3 20 0 15 0 107134432 11259949056 44393 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2749011 44393 3448 1 0 2710669 0
[pid=17830/tid=17883] ppid=17827 vsize=10996044 memory=12813 CPUtime=1.46 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 17007 13035 0 0 133 5 5 3 20 0 15 0 107134441 11259949056 44393 33554432000 4194304 4196468 140728719665680 140174117833256 140174130091358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 2 13035 0 0 0 0 5 3 20 0 15 0 107134442 11259949056 44393 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11259949056 44393 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=10996044 memory=314 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=10996044 memory=90592 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134442 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 13 13035 0 0 0 0 5 3 20 0 15 0 107134444 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=10996044 memory=280160045859312 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 13 13035 0 0 0 0 5 3 20 0 15 0 107134444 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173035693344 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=10996044 memory=280160045910112 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134444 11259949056 44393 33554432000 4194304 4196468 140728719665680 140172834367088 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11259949056 44393 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=10996044 memory=4638778398332698720 CPUtime=0.66 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 2255 13035 0 0 58 0 5 3 20 0 15 0 107134447 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=10996044 memory=280160046193536 CPUtime=0.67 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) S 17827 17830 6396 0 -1 1077944384 3576 13035 0 0 59 0 5 3 20 0 15 0 107134447 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=10996044 memory=-7531822216213012384 CPUtime=0.52 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) S 17827 17830 6396 0 -1 1077944384 1611 13035 0 0 44 0 5 3 20 0 15 0 107134447 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173112224112 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=10996044 memory=-7531822216213012384 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11259949056 44393 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=10996044 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 1 13035 0 0 0 0 5 3 20 0 15 0 107134448 11259949056 44393 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 57780 13035 0 0 9747 27 5 3 20 0 15 0 107134441 11345952768 742853 33554432000 4194304 4196468 140728719665680 140174117842704 140173732500465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=11080032 memory=2774120 CPUtime=3.82 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 3254 13035 0 0 331 43 5 3 20 0 15 0 107134442 11345952768 742853 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=11080032 memory=280160046093344 CPUtime=3.79 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 4671 13035 0 0 328 43 5 3 20 0 15 0 107134442 11345952768 742853 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=11080032 memory=280160046672544 CPUtime=3.82 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 3818 13035 0 0 333 41 5 3 20 0 15 0 107134442 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=11080032 memory=6943526294502006880 CPUtime=3.84 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 2950 13035 0 0 332 44 5 3 20 0 15 0 107134442 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=11080032 memory=4128 CPUtime=0.47 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 9034 13035 0 0 38 1 5 3 20 0 15 0 107134444 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=11080032 memory=30440 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 40 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173035693472 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=11080032 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 29 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 742853 33554432000 4194304 4196468 140728719665680 140172834367104 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=11080032 memory=30440 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 742853 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=11080032 memory=1292 CPUtime=8.31 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 16592 13035 0 0 820 3 5 3 20 0 15 0 107134447 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=11080032 memory=4128 CPUtime=8.38 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) S 17827 17830 6396 0 -1 1077944384 20958 13035 0 0 827 3 5 3 20 0 15 0 107134447 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=11080032 memory=3472328296227679313 CPUtime=3.03 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) S 17827 17830 6396 0 -1 1077944384 15222 13035 0 0 289 6 5 3 20 0 15 0 107134447 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173112224112 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=11080032 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 742853 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=11080032 memory=6944652177228980320 CPUtime=0.12 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 301 13035 0 0 2 2 5 3 20 0 15 0 107134448 11345952768 742853 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 132.8 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 2971412 KiB
[startup+162.301 s]
/proc/loadavg: 1.60 1.60 1.48 3/216 18026
/proc/meminfo: memFree=18102808/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=11080032 memory=3279248 CPUtime=194.04 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 146340 13035 0 0 19141 255 5 3 20 0 15 0 107134432 11345952768 819812 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2770008 819812 3536 1 0 2731661 0
[pid=17830/tid=17883] ppid=17827 vsize=11080032 memory=3266960 CPUtime=157.44 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 61497 13035 0 0 15708 28 5 3 20 0 15 0 107134441 11345952768 819812 33554432000 4194304 4196468 140728719665680 140174117844560 140173715952928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=11080032 memory=3240284 CPUtime=4.18 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 3457 13035 0 0 358 52 5 3 20 0 15 0 107134442 11345952768 819812 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=11080032 memory=3240284 CPUtime=4.15 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 5933 13035 0 0 355 52 5 3 20 0 15 0 107134442 11345952768 819812 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=11080032 memory=3266960 CPUtime=4.18 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 4032 13035 0 0 360 50 5 3 20 0 15 0 107134442 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=11080032 memory=3266960 CPUtime=4.19 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 3189 13035 0 0 358 53 5 3 20 0 15 0 107134442 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=11080032 memory=3279248 CPUtime=0.49 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 9275 13035 0 0 40 1 5 3 20 0 15 0 107134444 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=11080032 memory=3209512 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 41 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173035693472 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=11080032 memory=3209512 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 36 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 819812 33554432000 4194304 4196468 140728719665680 140172834367104 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=11080032 memory=3230044 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 819812 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=11080032 memory=3230044 CPUtime=8.36 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 17896 13035 0 0 825 3 5 3 20 0 15 0 107134447 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=11080032 memory=796 CPUtime=8.45 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) S 17827 17830 6396 0 -1 1077944384 22647 13035 0 0 834 3 5 3 20 0 15 0 107134447 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=11080032 memory=5408 CPUtime=3.05 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) S 17827 17830 6396 0 -1 1077944384 15774 13035 0 0 291 6 5 3 20 0 15 0 107134447 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173112224112 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=11080032 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 819812 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=11080032 memory=9992 CPUtime=0.16 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 369 13035 0 0 4 4 5 3 20 0 15 0 107134448 11345952768 819812 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 194.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3279248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+219.501 s]
/proc/loadavg: 1.50 1.58 1.48 3/215 18028
/proc/meminfo: memFree=18163496/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=11080032 memory=3418668 CPUtime=252.04 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 159870 13035 0 0 24923 273 5 3 20 0 15 0 107134432 11345952768 854667 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2770008 854667 3536 1 0 2731661 0
[pid=17830/tid=17883] ppid=17827 vsize=11080032 memory=3418668 CPUtime=214.39 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 65696 13035 0 0 21402 29 5 3 20 0 15 0 107134441 11345952768 854667 33554432000 4194304 4196468 140728719665680 140174117845656 140173735286541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=11080032 memory=3418668 CPUtime=4.41 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 4135 13035 0 0 378 55 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=11080032 memory=3418668 CPUtime=4.38 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 6258 13035 0 0 374 56 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=11080032 memory=3398184 CPUtime=4.41 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 4164 13035 0 0 379 54 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=11080032 memory=3398184 CPUtime=4.42 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 3299 13035 0 0 377 57 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=11080032 memory=3398184 CPUtime=0.5 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 9595 13035 0 0 41 1 5 3 20 0 15 0 107134444 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 41 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173035693472 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 36 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 854667 33554432000 4194304 4196468 140728719665680 140172834367104 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=11080032 memory=0 CPUtime=8.43 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 22357 13035 0 0 831 4 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=11080032 memory=3418668 CPUtime=8.47 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) S 17827 17830 6396 0 -1 1077944384 24036 13035 0 0 836 3 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=11080032 memory=3418668 CPUtime=3.06 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) S 17827 17830 6396 0 -1 1077944384 17655 13035 0 0 292 6 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173112224112 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.2 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 404 13035 0 0 6 6 5 3 20 0 15 0 107134448 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3418668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+219.547 s]
# the end of solver process 17830 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.302 s, system=2.79576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+219.501 s]
/proc/loadavg: 1.50 1.58 1.48 3/215 18028
/proc/meminfo: memFree=18163496/32770624 swapFree=67108860/67108860
[pid=17830] ppid=17827 vsize=11080032 memory=3418668 CPUtime=252.04 cores=1,3,5,7
/proc/17830/stat : 17830 (java) S 17827 17830 6396 0 -1 1077944320 159870 13035 0 0 24923 273 5 3 20 0 15 0 107134432 11345952768 854667 33554432000 4194304 4196468 140728719665680 140728719648224 140174146010871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
/proc/17830/statm: 2770008 854667 3536 1 0 2731661 0
[pid=17830/tid=17883] ppid=17827 vsize=11080032 memory=3418668 CPUtime=214.39 cores=1,3,5,7
/proc/17830/task/17883/stat : 17883 (java) R 17827 17830 6396 0 -1 4202560 65696 13035 0 0 21402 29 5 3 20 0 15 0 107134441 11345952768 854667 33554432000 4194304 4196468 140728719665680 140174117845656 140173735286541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17884] ppid=17827 vsize=11080032 memory=3418668 CPUtime=4.41 cores=1,3,5,7
/proc/17830/task/17884/stat : 17884 (java) S 17827 17830 6396 0 -1 1077944384 4135 13035 0 0 378 55 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140174150252944 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17885] ppid=17827 vsize=11080032 memory=3418668 CPUtime=4.38 cores=1,3,5,7
/proc/17830/task/17885/stat : 17885 (java) S 17827 17830 6396 0 -1 1077944384 6258 13035 0 0 374 56 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140174044178704 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17886] ppid=17827 vsize=11080032 memory=3398184 CPUtime=4.41 cores=1,3,5,7
/proc/17830/task/17886/stat : 17886 (java) S 17827 17830 6396 0 -1 1077944384 4164 13035 0 0 379 54 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173684353680 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17887] ppid=17827 vsize=11080032 memory=3398184 CPUtime=4.42 cores=1,3,5,7
/proc/17830/task/17887/stat : 17887 (java) S 17827 17830 6396 0 -1 1077944384 3299 13035 0 0 377 57 5 3 20 0 15 0 107134442 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173683300880 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17888] ppid=17827 vsize=11080032 memory=3398184 CPUtime=0.5 cores=1,3,5,7
/proc/17830/task/17888/stat : 17888 (java) S 17827 17830 6396 0 -1 1077944384 9595 13035 0 0 41 1 5 3 20 0 15 0 107134444 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173115382384 140174146022018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17889] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17889/stat : 17889 (java) S 17827 17830 6396 0 -1 1077944384 41 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173035693472 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17890] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17890/stat : 17890 (java) S 17827 17830 6396 0 -1 1077944384 36 13035 0 0 0 0 5 3 20 0 15 0 107134444 11345952768 854667 33554432000 4194304 4196468 140728719665680 140172834367104 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17891] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17891/stat : 17891 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140172526967376 140174146029467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17892] ppid=17827 vsize=11080032 memory=0 CPUtime=8.43 cores=1,3,5,7
/proc/17830/task/17892/stat : 17892 (java) S 17827 17830 6396 0 -1 1077944384 22357 13035 0 0 831 4 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173114329200 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17893] ppid=17827 vsize=11080032 memory=3418668 CPUtime=8.47 cores=1,3,5,7
/proc/17830/task/17893/stat : 17893 (java) S 17827 17830 6396 0 -1 1077944384 24036 13035 0 0 836 3 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173113276400 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17894] ppid=17827 vsize=11080032 memory=3418668 CPUtime=3.06 cores=1,3,5,7
/proc/17830/task/17894/stat : 17894 (java) S 17827 17830 6396 0 -1 1077944384 17655 13035 0 0 292 6 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173112224112 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17895] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.08 cores=1,3,5,7
/proc/17830/task/17895/stat : 17895 (java) S 17827 17830 6396 0 -1 1077944384 3 13035 0 0 0 0 5 3 20 0 15 0 107134447 11345952768 854667 33554432000 4194304 4196468 140728719665680 140172096170464 140174146021077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
[pid=17830/tid=17896] ppid=17827 vsize=11080032 memory=3418668 CPUtime=0.2 cores=1,3,5,7
/proc/17830/task/17896/stat : 17896 (java) S 17827 17830 6396 0 -1 1077944384 404 13035 0 0 6 6 5 3 20 0 15 0 107134448 11345952768 854667 33554432000 4194304 4196468 140728719665680 140173111172016 140174146022018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11505664 140728719673970 140728719676769 140728719676769 140728719679439 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3418668 KiB
Child status: 143
Real time (s): 219.547
CPU time (s): 252.098
CPU user time (s): 249.302
CPU system time (s): 2.79576
CPU usage (%): 114.826
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 3418668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.302
system time used= 2.79576
maximum resident set size= 3421048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17030
involuntary context switches= 547
# summary of solver processes directly reported to runsolver:
# pid: 17830
# total CPU time (s): 252.098
# total CPU user time (s): 249.302
# total CPU system time (s): 2.79576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24482 second user time and 2.20447 second system time
The end