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 (3632 MiB free)
memory of node 1: 16384 MiB (8132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295754-1532595045/watcher-4295754-1532595045 -o /tmp/evaluation-result-4295754-1532595045/solver-4295754-1532595045 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532582651-32661 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1783614905 HOME/instance-4295754-1532595045.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=2358, runsolver pid=2355
[startup+0.100098 s]*
/proc/loadavg: 1.51 1.37 1.41 4/206 2416
/proc/meminfo: memFree=12042372/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=9972712 memory=15176 CPUtime=0.09 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 4428 12863 0 0 1 0 5 3 20 0 6 0 77067717 10212057088 3794 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2493178 3794 1934 1 0 2481616 0
[pid=2358/tid=2412] ppid=2355 vsize=9972712 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 2306 12863 0 0 1 0 5 3 20 0 6 0 77067726 10212057088 3860 33554432000 4194304 4196468 140720455046192 140466678092368 140466699352443 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 6 0 77067727 10212057088 3860 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=9972712 memory=140406512498304 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 6 0 77067727 10212057088 3860 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 6 0 77067727 10212057088 3860 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 2 12863 0 0 0 0 5 3 20 0 6 0 77067727 10212057088 3860 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15176 KiB
[startup+0.209778 s]*
/proc/loadavg: 1.51 1.37 1.41 3/215 2425
/proc/meminfo: memFree=12006768/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=10818904 memory=43476 CPUtime=0.26 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 8097 12863 0 0 16 2 5 3 20 0 15 0 77067717 11078557696 10869 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2704726 10869 2963 1 0 2667149 0
[pid=2358/tid=2412] ppid=2355 vsize=10818904 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 4812 12863 0 0 10 1 5 3 20 0 15 0 77067726 11078557696 11001 33554432000 4194304 4196468 140720455046192 140466678052528 140466690336094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10818904 memory=4294967638 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11078557696 11001 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10818904 memory=288370782664210048 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11078557696 11001 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11078557696 11001 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 2 12863 0 0 0 0 5 3 20 0 15 0 77067727 11078557696 11001 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10818904 memory=140406512498304 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 2 12863 0 0 0 0 5 3 20 0 15 0 77067728 11078557696 11001 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 13 12863 0 0 0 0 5 3 20 0 15 0 77067729 11078557696 11001 33554432000 4194304 4196468 140720455046192 140465697449248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067729 11078557696 11001 33554432000 4194304 4196468 140720455046192 140465496122992 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11078557696 11001 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) S 2355 2358 32629 0 -1 1077944384 423 12863 0 0 1 0 5 3 20 0 15 0 77067731 11078557696 11001 33554432000 4194304 4196468 140720455046192 140465775032432 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) S 2355 2358 32629 0 -1 1077944384 191 12863 0 0 1 0 5 3 20 0 15 0 77067731 11078557696 11001 33554432000 4194304 4196468 140720455046192 140465773979632 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10818904 memory=140406512498304 CPUtime=0.11 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) S 2355 2358 32629 0 -1 1077944384 603 12863 0 0 3 0 5 3 20 0 15 0 77067731 11078557696 11001 33554432000 4194304 4196468 140720455046192 140465772927344 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10818936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11078590464 11067 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10818936 memory=140406512498304 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067732 11078590464 11067 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43476 KiB
[startup+0.31018 s]*
/proc/loadavg: 1.51 1.37 1.41 4/215 2425
/proc/meminfo: memFree=11994984/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=10819352 memory=54724 CPUtime=0.38 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 10734 12863 0 0 27 3 5 3 20 0 15 0 77067717 11079016448 13681 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2704838 13681 3082 1 0 2667149 0
[pid=2358/tid=2412] ppid=2355 vsize=10819352 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 7308 12863 0 0 19 2 5 3 20 0 15 0 77067726 11079016448 13681 33554432000 4194304 4196468 140720455046192 140466678067616 140466690336094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10819352 memory=3047711553320166262 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 13681 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10819352 memory=-7022969359889120089 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 13681 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10819352 memory=-8412656567334364540 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 13681 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 2 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 13681 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 2 12863 0 0 0 0 5 3 20 0 15 0 77067728 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 13 12863 0 0 0 0 5 3 20 0 15 0 77067729 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465697449248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067729 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465496122992 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) R 2355 2358 32629 0 -1 1077944384 423 12863 0 0 1 0 5 3 20 0 15 0 77067731 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465775032432 140466706266754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) S 2355 2358 32629 0 -1 1077944384 192 12863 0 0 1 0 5 3 20 0 15 0 77067731 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465773979632 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) R 2355 2358 32629 0 -1 1077944384 609 12863 0 0 4 0 5 3 20 0 15 0 77067731 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465772927344 140466706266754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067732 11079016448 13681 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54724 KiB
[startup+0.700756 s]
/proc/loadavg: 1.51 1.37 1.41 6/215 2425
/proc/meminfo: memFree=11984052/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=10819352 memory=86700 CPUtime=0.99 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 16811 12863 0 0 86 5 5 3 20 0 15 0 77067717 11079016448 21675 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2704838 21675 3233 1 0 2667149 0
[pid=2358/tid=2412] ppid=2355 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 12345 12863 0 0 55 4 5 3 20 0 15 0 77067726 11079016448 21675 33554432000 4194304 4196468 140720455046192 140466678076432 140466690336094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 21675 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 21675 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10819352 memory=280812746444560 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 21675 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10819352 memory=2464908576513 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 2 12863 0 0 0 0 5 3 20 0 15 0 77067727 11079016448 21675 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10819352 memory=2473498511105 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 5 12863 0 0 0 0 5 3 20 0 15 0 77067728 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10819352 memory=2563692824321 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 13 12863 0 0 0 0 5 3 20 0 15 0 77067729 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465697449248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10819352 memory=546658043 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067729 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465496122992 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10819352 memory=6527292072566502530 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10819352 memory=6224932825143337299 CPUtime=0.18 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) S 2355 2358 32629 0 -1 1077944384 1043 12863 0 0 10 0 5 3 20 0 15 0 77067731 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465775032432 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10819352 memory=5795117241467496816 CPUtime=0.14 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) S 2355 2358 32629 0 -1 1077944384 554 12863 0 0 6 0 5 3 20 0 15 0 77067731 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465773979632 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10819352 memory=2867664571609172 CPUtime=0.21 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) S 2355 2358 32629 0 -1 1077944384 651 12863 0 0 13 0 5 3 20 0 15 0 77067731 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465772927344 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10819352 memory=280812747007552 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10819352 memory=140406775874170 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067732 11079016448 21675 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86700 KiB
[startup+1.50077 s]
/proc/loadavg: 1.51 1.37 1.41 3/215 2425
/proc/meminfo: memFree=11895924/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=10834252 memory=177948 CPUtime=2.3 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 23940 12863 0 0 211 11 5 3 20 0 15 0 77067717 11094274048 44487 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2708563 44487 3474 1 0 2670221 0
[pid=2358/tid=2412] ppid=2355 vsize=10834252 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 17862 12863 0 0 128 7 5 3 20 0 15 0 77067726 11094274048 44487 33554432000 4194304 4196468 140720455046192 140466678084352 140466686531335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10834252 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 21 12863 0 0 1 0 5 3 20 0 15 0 77067727 11094274048 44487 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 195 12863 0 0 1 0 5 3 20 0 15 0 77067727 11094274048 44487 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 23 12863 0 0 1 0 5 3 20 0 15 0 77067727 11094274048 44487 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 70 12863 0 0 0 0 5 3 20 0 15 0 77067727 11094274048 44487 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 47 12863 0 0 1 0 5 3 20 0 15 0 77067728 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 14 12863 0 0 0 0 5 3 20 0 15 0 77067729 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465697449312 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067729 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465496123008 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10834252 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10834252 memory=-5155630193543124308 CPUtime=0.29 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) S 2355 2358 32629 0 -1 1077944384 1194 12863 0 0 21 0 5 3 20 0 15 0 77067731 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465775032432 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10834252 memory=7380382111361296738 CPUtime=0.28 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) S 2355 2358 32629 0 -1 1077944384 1085 12863 0 0 20 0 5 3 20 0 15 0 77067731 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465773979632 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10834252 memory=6296406565455291498 CPUtime=0.41 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) S 2355 2358 32629 0 -1 1077944384 1233 12863 0 0 33 0 5 3 20 0 15 0 77067731 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465772927344 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10834252 memory=7305792226065018197 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10834252 memory=-8772906969194520171 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067732 11094274048 44487 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 27086 12863 0 0 282 9 5 3 20 0 15 0 77067726 11106877440 63248 33554432000 4194304 4196468 140720455046192 140466678083968 140466706267542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10846560 memory=280812746747840 CPUtime=0.11 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 41 12863 0 0 3 0 5 3 20 0 15 0 77067727 11106877440 63248 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10846560 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 200 12863 0 0 3 0 5 3 20 0 15 0 77067727 11106877440 63248 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10846560 memory=288230377007612190 CPUtime=0.1 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 30 12863 0 0 2 0 5 3 20 0 15 0 77067727 11106877440 63248 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10846560 memory=288287796509279384 CPUtime=0.1 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 78 12863 0 0 2 0 5 3 20 0 15 0 77067727 11106877440 63248 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10846560 memory=4128 CPUtime=0.11 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 1708 12863 0 0 3 0 5 3 20 0 15 0 77067728 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10846560 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 14 12863 0 0 0 0 5 3 20 0 15 0 77067729 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465697449312 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10846560 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 1 12863 0 0 0 0 5 3 20 0 15 0 77067729 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465496123008 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10846560 memory=0 CPUtime=0.8 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) R 2355 2358 32629 0 -1 4202560 1942 12863 0 0 72 0 5 3 20 0 15 0 77067731 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465775018864 140466687800207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10846560 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) R 2355 2358 32629 0 -1 4202560 1445 12863 0 0 63 1 5 3 20 0 15 0 77067731 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465773960464 140466687776288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10846560 memory=30305 CPUtime=1.17 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) R 2355 2358 32629 0 -1 1077944384 3875 12863 0 0 108 1 5 3 20 0 15 0 77067731 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465772927152 140466706265813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10846560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10846560 memory=185144 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11106877440 63248 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 252992 KiB
[startup+6.3008 s]
/proc/loadavg: 1.46 1.37 1.40 3/215 2425
/proc/meminfo: memFree=11288360/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=10916192 memory=454476 CPUtime=13.29 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 78445 12863 0 0 1295 26 5 3 20 0 15 0 77067717 11178180608 113619 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2729048 113619 3512 1 0 2690701 0
[pid=2358/tid=2412] ppid=2355 vsize=10916192 memory=12813 CPUtime=6.14 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 48373 12863 0 0 592 14 5 3 20 0 15 0 77067726 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466678086320 140466326433629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10916192 memory=406464 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 93 12863 0 0 4 0 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10916192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 322 12863 0 0 4 0 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10916192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 65 12863 0 0 4 1 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10916192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 88 12863 0 0 3 1 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10916192 memory=8112282956445269571 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 1815 12863 0 0 4 0 5 3 20 0 15 0 77067728 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10916192 memory=-7966001967407402336 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 15 12863 0 0 0 0 5 3 20 0 15 0 77067729 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465697449376 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10916192 memory=-9001727377965607015 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067729 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465496123008 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10916192 memory=7100839870102598768 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10916192 memory=4627829655977429107 CPUtime=2.68 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) S 2355 2358 32629 0 -1 1077944384 11896 12863 0 0 259 1 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465775032432 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10916192 memory=8514726395714820750 CPUtime=2.52 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) S 2355 2358 32629 0 -1 1077944384 5767 12863 0 0 242 2 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465773979632 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10916192 memory=8940607975817108529 CPUtime=1.88 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) S 2355 2358 32629 0 -1 1077944384 7800 12863 0 0 178 2 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465772927344 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10916192 memory=280812746698048 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 14 12863 0 0 0 0 5 3 20 0 15 0 77067732 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 13.29 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 454476 KiB
[startup+7.02649 s]
# the end of solver process 2358 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13.8884 s, system=0.326821 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40097 s]
/proc/loadavg: 1.46 1.37 1.40 3/215 2425
/proc/meminfo: memFree=11288360/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=10916192 memory=454476 CPUtime=13.44 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 78452 12863 0 0 1310 26 5 3 20 0 15 0 77067717 11178180608 113619 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2729048 113619 3512 1 0 2690701 0
[pid=2358/tid=2412] ppid=2355 vsize=10916192 memory=2628117333761 CPUtime=6.24 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 48373 12863 0 0 602 14 5 3 20 0 15 0 77067726 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466678086320 140466324534719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10916192 memory=2671067006721 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 93 12863 0 0 4 0 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10916192 memory=2675361974017 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 322 12863 0 0 4 0 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10916192 memory=2726901581569 CPUtime=0.13 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 65 12863 0 0 4 1 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10916192 memory=6489695585511 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 88 12863 0 0 3 1 5 3 20 0 15 0 77067727 11178180608 113619 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10916192 memory=288230621803970871 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 1815 12863 0 0 4 0 5 3 20 0 15 0 77067728 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10916192 memory=15822187894408724 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 15 12863 0 0 0 0 5 3 20 0 15 0 77067729 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465697449376 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10916192 memory=3847888045825 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067729 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465496123008 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10916192 memory=4075521312513 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10916192 memory=450156 CPUtime=2.69 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) S 2355 2358 32629 0 -1 1077944384 11899 12863 0 0 260 1 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465775032432 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10916192 memory=288370015068238086 CPUtime=2.54 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) R 2355 2358 32629 0 -1 4202560 5770 12863 0 0 244 2 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465773959744 140466692310815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10916192 memory=288292173097748415 CPUtime=1.88 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) S 2355 2358 32629 0 -1 1077944384 7801 12863 0 0 178 2 5 3 20 0 15 0 77067731 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465772927344 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 14 12863 0 0 0 0 5 3 20 0 15 0 77067732 11178180608 113619 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 13.44 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 454476 KiB
[startup+6.80076 s]
/proc/loadavg: 1.46 1.37 1.40 3/215 2425
/proc/meminfo: memFree=11288360/32770624 swapFree=67108860/67108860
[pid=2358] ppid=2355 vsize=10916192 memory=526416 CPUtime=13.91 cores=1,3,5,7
/proc/2358/stat : 2358 (java) S 2355 2358 32629 0 -1 1077944320 78594 12863 0 0 1355 28 5 3 20 0 15 0 77067717 11178180608 131604 33554432000 4194304 4196468 140720455046192 140720455028736 140466706255607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
/proc/2358/statm: 2729048 131604 3517 1 0 2690701 0
[pid=2358/tid=2412] ppid=2355 vsize=10916192 memory=0 CPUtime=6.63 cores=1,3,5,7
/proc/2358/task/2412/stat : 2412 (java) R 2355 2358 32629 0 -1 4202560 48462 12863 0 0 640 15 5 3 20 0 15 0 77067726 11178180608 131604 33554432000 4194304 4196468 140720455046192 140466678087984 140466317486183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2413] ppid=2355 vsize=10916192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/2358/task/2413/stat : 2413 (java) S 2355 2358 32629 0 -1 1077944384 95 12863 0 0 5 1 5 3 20 0 15 0 77067727 11178180608 131604 33554432000 4194304 4196468 140720455046192 140466710497680 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2414] ppid=2355 vsize=10916192 memory=8112282956445269571 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2414/stat : 2414 (java) S 2355 2358 32629 0 -1 1077944384 324 12863 0 0 4 0 5 3 20 0 15 0 77067727 11178180608 131604 33554432000 4194304 4196468 140720455046192 140466279000336 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2415] ppid=2355 vsize=10916192 memory=7019467087990043698 CPUtime=0.13 cores=1,3,5,7
/proc/2358/task/2415/stat : 2415 (java) S 2355 2358 32629 0 -1 1077944384 68 12863 0 0 4 1 5 3 20 0 15 0 77067727 11178180608 131604 33554432000 4194304 4196468 140720455046192 140466277948048 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2416] ppid=2355 vsize=10916192 memory=8 CPUtime=0.13 cores=1,3,5,7
/proc/2358/task/2416/stat : 2416 (java) S 2355 2358 32629 0 -1 1077944384 90 12863 0 0 4 1 5 3 20 0 15 0 77067727 11178180608 131604 33554432000 4194304 4196468 140720455046192 140466276895248 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2417] ppid=2355 vsize=10916192 memory=2209 CPUtime=0.12 cores=1,3,5,7
/proc/2358/task/2417/stat : 2417 (java) S 2355 2358 32629 0 -1 1077944384 1844 12863 0 0 4 0 5 3 20 0 15 0 77067728 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465776085616 140466706266754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2418] ppid=2355 vsize=10916192 memory=9092 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2418/stat : 2418 (java) S 2355 2358 32629 0 -1 1077944384 15 12863 0 0 0 0 5 3 20 0 15 0 77067729 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465697449376 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2419] ppid=2355 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2419/stat : 2419 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067729 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465496123008 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2420] ppid=2355 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2420/stat : 2420 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067731 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465255832144 140466706274203 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2421] ppid=2355 vsize=10916192 memory=0 CPUtime=2.72 cores=1,3,5,7
/proc/2358/task/2421/stat : 2421 (java) S 2355 2358 32629 0 -1 1077944384 11901 12863 0 0 263 1 5 3 20 0 15 0 77067731 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465775032432 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2422] ppid=2355 vsize=10916192 memory=0 CPUtime=2.57 cores=1,3,5,7
/proc/2358/task/2422/stat : 2422 (java) S 2355 2358 32629 0 -1 1077944384 5778 12863 0 0 247 2 5 3 20 0 15 0 77067731 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465773979632 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2423] ppid=2355 vsize=10916192 memory=0 CPUtime=1.89 cores=1,3,5,7
/proc/2358/task/2423/stat : 2423 (java) S 2355 2358 32629 0 -1 1077944384 7806 12863 0 0 179 2 5 3 20 0 15 0 77067731 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465772927344 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2424] ppid=2355 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2424/stat : 2424 (java) S 2355 2358 32629 0 -1 1077944384 3 12863 0 0 0 0 5 3 20 0 15 0 77067732 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465222273504 140466706265813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
[pid=2358/tid=2425] ppid=2355 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2358/task/2425/stat : 2425 (java) S 2355 2358 32629 0 -1 1077944384 14 12863 0 0 0 0 5 3 20 0 15 0 77067732 11178180608 131604 33554432000 4194304 4196468 140720455046192 140465771875248 140466706266754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20713472 140720455051886 140720455054684 140720455054684 140720455057359 0
Current children cumulated CPU time: 13.91 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 526416 KiB
[startup+7.00581 s]*
/proc/loadavg: 1.43 1.36 1.40 3/215 2425
/proc/meminfo: memFree=11200748/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 7.02656
CPU time (s): 14.2152
CPU user time (s): 13.8884
CPU system time (s): 0.326821
CPU usage (%): 202.307
Max. virtual memory (cumulated for all children) (KiB): 10919056
Max. memory (cumulated for all children) (KiB): 526416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8884
system time used= 0.326821
maximum resident set size= 529184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91790
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7968
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 2358
# total CPU time (s): 14.2152
# total CPU user time (s): 13.8884
# total CPU system time (s): 0.326821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.070152 second user time and 0.098092 second system time
The end