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 (12169 MiB free)
memory of node 1: 16384 MiB (14748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301271-1532877398/watcher-4301271-1532877398 -o /tmp/evaluation-result-4301271-1532877398/solver-4301271-1532877398 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20369 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301271-1532877398.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
Current StackSize limit: 8192 KiB
solver pid=21748, runsolver pid=21745
[startup+0.100121 s]*
/proc/loadavg: 2.18 2.34 2.39 3/216 21763
/proc/meminfo: memFree=27548012/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10659012 memory=30660 CPUtime=0.13 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 6736 0 0 0 12 1 0 0 20 0 15 0 105303023 10914828288 7665 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2664753 7665 2842 1 0 2627263 0
[pid=21748/tid=21750] ppid=21745 vsize=10659012 memory=-8773748148830113661 CPUtime=0.09 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) R 21745 21748 16915 0 -1 4202560 4568 0 0 0 9 0 0 0 20 0 15 0 105303023 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342757202496 140342752992662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105303025 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105303026 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342244144672 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105303026 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) S 21745 21748 16915 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342240987504 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) S 21745 21748 16915 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342239934704 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0.02 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) R 21745 21748 16915 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 105303028 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342238881904 140342731500816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303029 10914828288 7665 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30660 KiB
[startup+0.210728 s]*
/proc/loadavg: 2.18 2.34 2.39 4/216 21763
/proc/meminfo: memFree=27534464/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10659012 memory=41848 CPUtime=0.32 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 8074 0 0 0 31 1 0 0 20 0 15 0 105303023 10914828288 10462 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2664753 10462 3007 1 0 2627263 0
[pid=21748/tid=21750] ppid=21745 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) R 21745 21748 16915 0 -1 4202560 5020 0 0 0 19 1 0 0 20 0 15 0 105303023 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342757217008 140342737024357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10659012 memory=288370024775067264 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105303025 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105303026 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342244144672 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105303026 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) S 21745 21748 16915 0 -1 1077944384 601 0 0 0 2 0 0 0 20 0 15 0 105303028 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342240987504 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) S 21745 21748 16915 0 -1 1077944384 393 0 0 0 1 0 0 0 20 0 15 0 105303028 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342239934704 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0.07 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) R 21745 21748 16915 0 -1 4202560 695 0 0 0 7 0 0 0 20 0 15 0 105303028 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342238881904 140342737061214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303029 10914828288 10462 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41848 KiB
[startup+0.311884 s]*
/proc/loadavg: 2.18 2.34 2.39 4/216 21763
/proc/meminfo: memFree=27521872/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10659012 memory=52816 CPUtime=0.58 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 9970 0 0 0 56 2 0 0 20 0 15 0 105303023 10914828288 13204 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2664753 13204 3050 1 0 2627263 0
[pid=21748/tid=21750] ppid=21745 vsize=10659012 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) R 21745 21748 16915 0 -1 4202560 5591 0 0 0 28 1 0 0 20 0 15 0 105303023 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342757217872 140342737061214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10659012 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10659012 memory=288370024775067264 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105303024 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105303025 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105303026 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342244144672 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105303026 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10659012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) R 21745 21748 16915 0 -1 4202560 941 0 0 0 7 0 0 0 20 0 15 0 105303028 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342240972168 140342732834283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10659012 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) R 21745 21748 16915 0 -1 4202560 965 0 0 0 6 0 0 0 20 0 15 0 105303028 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342239915720 140342737269584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0.13 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) R 21745 21748 16915 0 -1 1077944384 1108 0 0 0 13 0 0 0 20 0 15 0 105303028 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342238881904 140342752991874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10659012 memory=139648623355520 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303029 10914828288 13204 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 52816 KiB
[startup+0.709883 s]
/proc/loadavg: 2.33 2.37 2.40 6/216 21763
/proc/meminfo: memFree=27495296/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10659088 memory=108076 CPUtime=1.95 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 15058 0 0 0 191 4 0 0 20 0 15 0 105303023 10914906112 27019 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2664772 27019 3096 1 0 2627263 0
[pid=21748/tid=21750] ppid=21745 vsize=10659088 memory=233085526370394 CPUtime=0.67 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) R 21745 21748 16915 0 -1 4202560 5959 0 0 0 65 2 0 0 20 0 15 0 105303023 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342757218592 140342733806021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10659088 memory=3977296629253554382 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303024 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10659088 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105303024 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105303025 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10659088 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105303026 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342244144672 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105303026 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10659088 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) R 21745 21748 16915 0 -1 4202560 3321 0 0 0 45 0 0 0 20 0 15 0 105303028 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342240972552 140342734524927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10659088 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) R 21745 21748 16915 0 -1 4202560 2038 0 0 0 44 0 0 0 20 0 15 0 105303028 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342239920168 140342736466703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10659088 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) R 21745 21748 16915 0 -1 4202560 2370 0 0 0 34 0 0 0 20 0 15 0 105303028 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342238878840 140342738695248 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105303028 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10659088 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105303029 10914906112 27019 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 108076 KiB
[startup+1.50083 s]
/proc/loadavg: 2.33 2.37 2.40 5/216 21763
/proc/meminfo: memFree=27352296/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10662972 memory=384160 CPUtime=4.52 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 19566 0 0 0 439 13 0 0 20 0 15 0 105303023 10918883328 96040 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2665743 96040 3148 1 0 2628234 0
[pid=21748/tid=21750] ppid=21745 vsize=10662972 memory=10799 CPUtime=1.4 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) R 21745 21748 16915 0 -1 4202560 6162 0 0 0 135 5 0 0 20 0 15 0 105303023 10918883328 96040 33554432000 4194304 4196468 140728599193760 140342757215688 140342730983569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10662972 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 27 0 0 0 2 0 0 0 20 0 15 0 105303024 10918883328 96040 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10662972 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 36 0 0 0 4 1 0 0 20 0 15 0 105303024 10918883328 96040 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10662972 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 28 0 0 0 3 1 0 0 20 0 15 0 105303024 10918883328 96040 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10662972 memory=6943526294502006880 CPUtime=0.04 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 40 0 0 0 3 1 0 0 20 0 15 0 105303024 10918883328 96040 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10662972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 105303025 10918883328 96040 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
################
# More data... #
################
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1644 0 0 0 69 5 0 0 20 0 16 0 105303024 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10727700 memory=910504 CPUtime=0.76 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 312 0 0 0 69 7 0 0 20 0 16 0 105303024 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10727700 memory=910504 CPUtime=0.36 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 1009 0 0 0 36 0 0 0 20 0 16 0 105303025 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10727700 memory=910504 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105303026 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342244144736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10727700 memory=910504 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105303026 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10727700 memory=0 CPUtime=3.27 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) S 21745 21748 16915 0 -1 1077944384 11170 0 0 0 325 2 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342240987504 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10727700 memory=910504 CPUtime=3.54 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) S 21745 21748 16915 0 -1 1077944384 12610 0 0 0 352 2 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342239934704 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10727700 memory=910504 CPUtime=0.82 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) S 21745 21748 16915 0 -1 1077944384 5804 0 0 0 81 1 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342238881904 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10727700 memory=910504 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10727700 memory=5760 CPUtime=0.08 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 473 0 0 0 3 5 0 0 20 0 16 0 105303029 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21764] ppid=21745 vsize=10727700 memory=4588 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21764/stat : 21764 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105303461 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342233626032 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 172.31 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 910504 KiB
[startup+222.301 s]
/proc/loadavg: 2.07 2.22 2.33 3/218 21855
/proc/meminfo: memFree=26882828/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10727700 memory=910504 CPUtime=232.34 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 46669 0 0 0 23185 49 0 0 20 0 16 0 105303023 10985164800 227626 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2681925 227626 3197 1 0 2644416 0
[pid=21748/tid=21750] ppid=21745 vsize=10727700 memory=910504 CPUtime=221.08 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) R 21745 21748 16915 0 -1 4202560 10965 0 0 0 22099 9 0 0 20 0 16 0 105303023 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342757217272 140342377413981 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10727700 memory=910504 CPUtime=0.77 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 729 0 0 0 71 6 0 0 20 0 16 0 105303024 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10727700 memory=910504 CPUtime=0.79 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 509 0 0 0 72 7 0 0 20 0 16 0 105303024 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10727700 memory=910504 CPUtime=0.74 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1644 0 0 0 69 5 0 0 20 0 16 0 105303024 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10727700 memory=910504 CPUtime=0.76 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 312 0 0 0 69 7 0 0 20 0 16 0 105303024 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10727700 memory=5760 CPUtime=0.36 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 1019 0 0 0 36 0 0 0 20 0 16 0 105303025 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10727700 memory=4588 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105303026 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342244144736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10727700 memory=910504 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105303026 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10727700 memory=910504 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10727700 memory=4588 CPUtime=3.27 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) S 21745 21748 16915 0 -1 1077944384 11178 0 0 0 325 2 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342240987504 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10727700 memory=9920 CPUtime=3.54 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) S 21745 21748 16915 0 -1 1077944384 12613 0 0 0 352 2 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342239934704 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10727700 memory=1232 CPUtime=0.82 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) S 21745 21748 16915 0 -1 1077944384 5807 0 0 0 81 1 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342238881904 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10727700 memory=956 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105303028 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10727700 memory=2464 CPUtime=0.11 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 513 0 0 0 5 6 0 0 20 0 16 0 105303029 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21764] ppid=21745 vsize=10727700 memory=2584 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21764/stat : 21764 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105303461 10985164800 227626 33554432000 4194304 4196468 140728599193760 140342233626032 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 232.34 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 910504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+242.001 s]*
/proc/loadavg: 2.05 2.21 2.33 3/218 21855
/proc/meminfo: memFree=26882952/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10727700 memory=910516 CPUtime=252.07 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 47517 0 0 0 25157 50 0 0 20 0 16 0 105303023 10985164800 227629 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2681925 227629 3197 1 0 2644416 0
[pid=21748/tid=21750] ppid=21745 vsize=10727700 memory=6791534058613427641 CPUtime=240.79 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) R 21745 21748 16915 0 -1 4202560 11438 0 0 0 24070 9 0 0 20 0 16 0 105303023 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342757216544 140342376991824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10727700 memory=4872558044660077418 CPUtime=0.77 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 729 0 0 0 71 6 0 0 20 0 16 0 105303024 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10727700 memory=2200 CPUtime=0.79 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 509 0 0 0 72 7 0 0 20 0 16 0 105303024 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10727700 memory=7892 CPUtime=0.74 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1644 0 0 0 69 5 0 0 20 0 16 0 105303024 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10727700 memory=840 CPUtime=0.76 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 312 0 0 0 69 7 0 0 20 0 16 0 105303024 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10727700 memory=1800 CPUtime=0.36 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 1068 0 0 0 36 0 0 0 20 0 16 0 105303025 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10727700 memory=920 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 105303026 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342244144736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10727700 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105303026 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10727700 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105303028 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10727700 memory=2584 CPUtime=3.27 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) S 21745 21748 16915 0 -1 1077944384 11451 0 0 0 325 2 0 0 20 0 16 0 105303028 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342240987504 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10727700 memory=2584 CPUtime=3.54 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) S 21745 21748 16915 0 -1 1077944384 12621 0 0 0 352 2 0 0 20 0 16 0 105303028 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342239934704 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10727700 memory=1408 CPUtime=0.82 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) S 21745 21748 16915 0 -1 1077944384 5810 0 0 0 81 1 0 0 20 0 16 0 105303028 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342238881904 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10727700 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105303028 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10727700 memory=288230583166042426 CPUtime=0.13 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 555 0 0 0 6 7 0 0 20 0 16 0 105303029 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21764] ppid=21745 vsize=10727700 memory=14410445029116127 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21764/stat : 21764 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 105303461 10985164800 227629 33554432000 4194304 4196468 140728599193760 140342233626032 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 910516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+242.274 s]
# the end of solver process 21748 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.664 s, system=0.514173 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+242.201 s]
/proc/loadavg: 2.05 2.21 2.33 3/218 21855
/proc/meminfo: memFree=26882952/32770624 swapFree=67108792/67108860
[pid=21748] ppid=21745 vsize=10927392 memory=910852 CPUtime=252.11 cores=1,3,5,7
/proc/21748/stat : 21748 (java) S 21745 21748 16915 0 -1 1077944320 48828 0 0 0 25161 50 0 0 20 0 17 0 105303023 11189649408 227713 33554432000 4194304 4196468 140728599193760 140728599176304 140342752980727 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
/proc/21748/statm: 2731848 227713 3200 1 0 2694339 0
[pid=21748/tid=21750] ppid=21745 vsize=10927392 memory=288230583166042426 CPUtime=240.82 cores=1,3,5,7
/proc/21748/task/21750/stat : 21750 (java) S 21745 21748 16915 0 -1 1077944384 11523 0 0 0 24073 9 0 0 20 0 17 0 105303023 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342757223600 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21751] ppid=21745 vsize=10927392 memory=14410445029116127 CPUtime=0.77 cores=1,3,5,7
/proc/21748/task/21751/stat : 21751 (java) S 21745 21748 16915 0 -1 1077944384 729 0 0 0 71 6 0 0 20 0 17 0 105303024 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342689671824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21752] ppid=21745 vsize=10927392 memory=6791534058613427641 CPUtime=0.79 cores=1,3,5,7
/proc/21748/task/21752/stat : 21752 (java) S 21745 21748 16915 0 -1 1077944384 509 0 0 0 72 7 0 0 20 0 17 0 105303024 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342688619024 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21753] ppid=21745 vsize=10927392 memory=4872558044660077418 CPUtime=0.74 cores=1,3,5,7
/proc/21748/task/21753/stat : 21753 (java) S 21745 21748 16915 0 -1 1077944384 1644 0 0 0 69 5 0 0 20 0 17 0 105303024 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342357518736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21754] ppid=21745 vsize=10927392 memory=5760 CPUtime=0.76 cores=1,3,5,7
/proc/21748/task/21754/stat : 21754 (java) S 21745 21748 16915 0 -1 1077944384 312 0 0 0 69 7 0 0 20 0 17 0 105303024 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342356465936 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21755] ppid=21745 vsize=10927392 memory=910516 CPUtime=0.36 cores=1,3,5,7
/proc/21748/task/21755/stat : 21755 (java) S 21745 21748 16915 0 -1 1077944384 1110 0 0 0 36 0 0 0 20 0 17 0 105303025 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342245198704 140342752991874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21756] ppid=21745 vsize=10927392 memory=2464 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21756/stat : 21756 (java) S 21745 21748 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 105303026 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342244144736 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21757] ppid=21745 vsize=10927392 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21757/stat : 21757 (java) S 21745 21748 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 105303026 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342243091824 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21758] ppid=21745 vsize=10927392 memory=928 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21758/stat : 21758 (java) S 21745 21748 16915 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 17 0 105303028 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342242040144 140342752999323 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21759] ppid=21745 vsize=10927392 memory=2240 CPUtime=3.28 cores=1,3,5,7
/proc/21748/task/21759/stat : 21759 (java) S 21745 21748 16915 0 -1 1077944384 11538 0 0 0 326 2 0 0 20 0 17 0 105303028 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342240987504 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21760] ppid=21745 vsize=10927392 memory=910516 CPUtime=3.54 cores=1,3,5,7
/proc/21748/task/21760/stat : 21760 (java) S 21745 21748 16915 0 -1 1077944384 12977 0 0 0 352 2 0 0 20 0 17 0 105303028 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342239934704 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21761] ppid=21745 vsize=10927392 memory=910516 CPUtime=0.82 cores=1,3,5,7
/proc/21748/task/21761/stat : 21761 (java) S 21745 21748 16915 0 -1 1077944384 5921 0 0 0 81 1 0 0 20 0 17 0 105303028 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342238881904 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21762] ppid=21745 vsize=10927392 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21748/task/21762/stat : 21762 (java) S 21745 21748 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105303028 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342237829344 140342752990933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
[pid=21748/tid=21763] ppid=21745 vsize=10927392 memory=4136 CPUtime=0.13 cores=1,3,5,7
/proc/21748/task/21763/stat : 21763 (java) S 21745 21748 16915 0 -1 1077944384 555 0 0 0 6 7 0 0 20 0 17 0 105303029 11189649408 227713 33554432000 4194304 4196468 140728599193760 140342236777648 140342752991874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36102144 140728599196790 140728599196942 140728599196942 140728599199695 0
Current children cumulated CPU time: 252.11 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 910852 KiB
Child status: 143
Real time (s): 242.274
CPU time (s): 252.178
CPU user time (s): 251.664
CPU system time (s): 0.514173
CPU usage (%): 104.088
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 921660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.664
system time used= 0.514173
maximum resident set size= 921716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7660
involuntary context switches= 138
# summary of solver processes directly reported to runsolver:
# pid: 21748
# total CPU time (s): 252.178
# total CPU user time (s): 251.664
# total CPU system time (s): 0.514173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11836 second user time and 2.72874 second system time
The end