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 (9189 MiB free)
memory of node 1: 16384 MiB (13313 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392253-1568301317/watcher-4392253-1568301317 -o /tmp/evaluation-result-4392253-1568301317/solver-4392253-1568301317 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568301258-4658 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=229694115 HOME/instance-4392253-1568301317.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4681, runsolver pid=4678
[startup+0.100065 s]*
/proc/loadavg: 2.07 1.35 1.43 2/205 4776
/proc/meminfo: memFree=23040692/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=113256 memory=1612 CPUtime=0.07 cores=1,3,5,7
/proc/4681/stat : 4681 (bash) S 4678 4681 14487 0 -1 4202496 919 11224 1 1 0 0 5 2 20 0 1 0 406384773 115974144 403 33554432000 4194304 5098028 140736894114832 140736894108056 140035593899008 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 1 0 0 7196144 7232144 32272384 140736894116885 140736894117009 140736894117009 140736894119918 0
/proc/4681/statm: 28314 403 320 221 0 119 0
[pid=4773] ppid=4681 vsize=113256 memory=704 CPUtime=0 cores=1,3,5,7
/proc/4773/stat : 4773 (bash) S 4681 4681 14487 0 -1 4202560 156 151 0 0 0 0 0 0 20 0 1 0 406384782 115974144 176 33554432000 4194304 5098028 140736894114832 140736894106728 140035593724540 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32272384 140736894116885 140736894117009 140736894117009 140736894119918 0
/proc/4773/statm: 28314 176 92 221 0 119 0
[pid=4775] ppid=4773 vsize=328 memory=4 CPUtime=0 cores=1,3,5,7
/proc/4775/stat : 4775 (cut) R 4773 4681 14487 0 -1 4194304 131 0 0 0 0 0 0 0 20 0 1 0 406384782 335872 1 33554432000 4194304 4229580 140732496738864 140732496738648 140573005827807 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6327368 6329024 20934656 140732496745678 140732496745690 140732496745690 140732496748527 0
/proc/4775/statm: 83 1 0 9 0 38 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 226840 KiB
Current children cumulated memory: 2320 KiB
[startup+0.210453 s]*
/proc/loadavg: 2.07 1.35 1.43 8/230 4819
/proc/meminfo: memFree=23005772/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=10818900 memory=31556 CPUtime=0.23 cores=1,3,5,7
/proc/4681/stat : 4681 (java) S 4678 4681 14487 0 -1 1077944320 6817 13257 1 2 13 2 5 3 20 0 15 0 406384773 11078553600 7889 33554432000 4194304 4196468 140728293822880 140728293805424 140312487919351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
/proc/4681/statm: 2704725 7889 2960 1 0 2667149 0
[pid=4681/tid=4792] ppid=4678 vsize=10818900 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 3301 13257 0 2 8 1 5 3 20 0 15 0 406384784 11078553600 7954 33554432000 4194304 4196468 140728293822880 140312459751368 140312487941277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10818900 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078553600 7954 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10818900 memory=139647143843783 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078553600 7954 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078553600 7954 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 2 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078553600 7954 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10818900 memory=139647143831168 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 2 13257 0 2 0 0 5 3 20 0 15 0 406384786 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 33 13257 0 2 0 0 5 3 20 0 15 0 406384787 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311811560608 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384787 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311347061488 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10818900 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10818900 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) S 4678 4681 14487 0 -1 1077944384 366 13257 0 2 1 0 5 3 20 0 15 0 406384790 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311778003696 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) S 4678 4681 14487 0 -1 1077944384 293 13257 0 2 0 0 5 3 20 0 15 0 406384790 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311776951152 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10818900 memory=139647143831168 CPUtime=0.1 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 656 13257 0 2 2 0 5 3 20 0 15 0 406384790 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10818900 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10818900 memory=139647143831168 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384790 11078553600 7954 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 31556 KiB
[startup+0.310772 s]*
/proc/loadavg: 2.07 1.35 1.43 4/230 4819
/proc/meminfo: memFree=22976496/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=10819084 memory=43028 CPUtime=0.36 cores=1,3,5,7
/proc/4681/stat : 4681 (java) S 4678 4681 14487 0 -1 1077944320 10037 13257 1 2 25 3 5 3 20 0 15 0 406384773 11078742016 10757 33554432000 4194304 4196468 140728293822880 140728293805424 140312487919351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
/proc/4681/statm: 2704771 10757 3030 1 0 2667149 0
[pid=4681/tid=4792] ppid=4678 vsize=10819084 memory=7822038051842263955 CPUtime=0.26 cores=1,3,5,7
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 6405 13257 0 2 16 2 5 3 20 0 15 0 406384784 11078742016 10757 33554432000 4194304 4196468 140728293822880 140312459751296 140312469482950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10819084 memory=139647036533167 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078742016 10757 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10819084 memory=139647143833376 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078742016 10757 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10819084 memory=71876 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078742016 10757 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 2 13257 0 2 0 0 5 3 20 0 15 0 406384785 11078742016 10757 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 2 13257 0 2 0 0 5 3 20 0 15 0 406384786 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10819084 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 33 13257 0 2 0 0 5 3 20 0 15 0 406384787 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311811560608 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384787 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311347061488 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10819084 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10819084 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) S 4678 4681 14487 0 -1 1077944384 371 13257 0 2 1 0 5 3 20 0 15 0 406384790 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311778003696 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10819084 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) S 4678 4681 14487 0 -1 1077944384 296 13257 0 2 1 0 5 3 20 0 15 0 406384790 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311776951152 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10819084 memory=139647143831168 CPUtime=0.13 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 713 13257 0 2 5 0 5 3 20 0 15 0 406384790 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10819084 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10819084 memory=139647143831168 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384790 11078742016 10757 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 43028 KiB
[startup+0.70928 s]
/proc/loadavg: 2.07 1.35 1.43 3/230 4819
/proc/meminfo: memFree=22951856/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=10822292 memory=73288 CPUtime=1.01 cores=1,3,5,7
/proc/4681/stat : 4681 (java) S 4678 4681 14487 0 -1 1077944320 14633 13257 1 2 86 7 5 3 20 0 15 0 406384773 11082027008 18322 33554432000 4194304 4196468 140728293822880 140728293805424 140312487919351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
/proc/4681/statm: 2705573 18322 3488 1 0 2667661 0
[pid=4681/tid=4792] ppid=4678 vsize=10822292 memory=279294072854272 CPUtime=0.61 cores=1,3,5,7
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 10095 13257 0 2 48 5 5 3 20 0 15 0 406384784 11082027008 18322 33554432000 4194304 4196468 140728293822880 140312459735328 140312471999838 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10822292 memory=279294072854464 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11082027008 18322 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10822292 memory=279294073410592 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11082027008 18322 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384785 11082027008 18322 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 2 13257 0 2 0 0 5 3 20 0 15 0 406384785 11082027008 18322 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 5 13257 0 2 0 0 5 3 20 0 15 0 406384786 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 33 13257 0 2 0 0 5 3 20 0 15 0 406384787 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311811560608 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384787 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311347061488 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10822292 memory=6485400618181 CPUtime=0.19 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) R 4678 4681 14487 0 -1 4202560 720 13257 0 2 11 0 5 3 20 0 15 0 406384790 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311777992384 140312465605264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10822292 memory=288230583166042425 CPUtime=0.17 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) R 4678 4681 14487 0 -1 4202560 560 13257 0 2 9 0 5 3 20 0 15 0 406384790 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311776939824 140312487940698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10822292 memory=15260333174426011 CPUtime=0.24 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 1005 13257 0 2 16 0 5 3 20 0 15 0 406384790 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10822292 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10822292 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384790 11082027008 18322 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 73288 KiB
[startup+1.50076 s]
/proc/loadavg: 2.07 1.35 1.43 7/230 4819
/proc/meminfo: memFree=22868964/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=10834656 memory=167728 CPUtime=2.44 cores=1,3,5,7
/proc/4681/stat : 4681 (java) S 4678 4681 14487 0 -1 1077944320 22523 13257 1 2 225 11 5 3 20 0 15 0 406384773 11094687744 41932 33554432000 4194304 4196468 140728293822880 140728293805424 140312487919351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
/proc/4681/statm: 2708664 41932 3569 1 0 2670733 0
[pid=4681/tid=4792] ppid=4678 vsize=10834656 memory=14008 CPUtime=1.36 cores=1,3,5,7
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 15613 13257 0 2 121 7 5 3 20 0 15 0 406384784 11094687744 41932 33554432000 4194304 4196468 140728293822880 140312459742912 140312471962981 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 38 13257 0 2 1 0 5 3 20 0 15 0 406384785 11094687744 41932 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10834656 memory=4580 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 293 13257 0 2 1 0 5 3 20 0 15 0 406384785 11094687744 41932 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10834656 memory=279294073124256 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 70 13257 0 2 1 0 5 3 20 0 15 0 406384785 11094687744 41932 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10834656 memory=279294073301376 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 63 13257 0 2 1 0 5 3 20 0 15 0 406384785 11094687744 41932 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10834656 memory=3472609771204390960 CPUtime=0.09 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 537 13257 0 2 1 0 5 3 20 0 15 0 406384786 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10834656 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 33 13257 0 2 0 0 5 3 20 0 15 0 406384787 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311811560608 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10834656 memory=7594584564309779056 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 2 13257 0 2 0 0 5 3 20 0 15 0 406384787 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311347061488 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10834656 memory=7234839739778946157 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10834656 memory=-6800859132029471843 CPUtime=0.36 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) R 4678 4681 14487 0 -1 4202560 1035 13257 0 2 28 0 5 3 20 0 15 0 406384790 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311778003696 140312472306400 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10834656 memory=6944652177228980320 CPUtime=0.37 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) S 4678 4681 14487 0 -1 1077944384 1001 13257 0 2 29 0 5 3 20 0 15 0 406384790 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311776951152 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10834656 memory=6943526294502006880 CPUtime=0.47 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 1628 13257 0 2 39 0 5 3 20 0 15 0 406384790 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10834656 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10834656 memory=-7088785026380002758 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1 13257 0 2 0 0 5 3 20 0 15 0 406384790 11094687744 41932 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 167728 KiB
[startup+3.1105 s]
################
# More data... #
################
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 129127 13257 0 2 224180 66 5 3 20 0 15 0 406384784 11107291136 235458 33554432000 4194304 4196468 140728293822880 140312459752880 140312100735161 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10846964 memory=941832 CPUtime=15 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 17844 13257 0 2 1463 29 5 3 20 0 15 0 406384785 11107291136 235458 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10846964 memory=949528 CPUtime=14.98 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 34468 13257 0 2 1458 32 5 3 20 0 15 0 406384785 11107291136 235458 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10846964 memory=954148 CPUtime=14.99 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 20916 13257 0 2 1460 31 5 3 20 0 15 0 406384785 11107291136 235458 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10846964 memory=1009560 CPUtime=14.98 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 22878 13257 0 2 1460 30 5 3 20 0 15 0 406384785 11107291136 235458 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10846964 memory=948500 CPUtime=3.32 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 19013 13257 0 2 279 45 5 3 20 0 15 0 406384786 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10846964 memory=944908 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 68 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311811560736 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10846964 memory=947988 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 37 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311347061504 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10846964 memory=942856 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10846964 memory=942856 CPUtime=9.88 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) S 4678 4681 14487 0 -1 1077944384 57000 13257 0 2 973 7 5 3 20 0 15 0 406384790 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311778003696 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10846964 memory=941832 CPUtime=9.57 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) S 4678 4681 14487 0 -1 1077944384 60051 13257 0 2 941 8 5 3 20 0 15 0 406384790 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311776951152 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10846964 memory=288230574492221466 CPUtime=4.32 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 71710 13257 0 2 413 11 5 3 20 0 15 0 406384790 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10846964 memory=288230583166042425 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10846964 memory=1656 CPUtime=1.52 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1406 13257 0 2 66 78 5 3 20 0 15 0 406384790 11107291136 235458 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 2330.5 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 941832 KiB
[startup+2322.3 s]
/proc/loadavg: 1.41 1.46 1.49 3/227 5036
/proc/meminfo: memFree=21035248/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=10846964 memory=960280 CPUtime=2391.89 cores=1,3,5,7
/proc/4681/stat : 4681 (java) S 4678 4681 14487 0 -1 1077944320 441035 13257 1 2 238850 331 5 3 20 0 15 0 406384773 11107291136 240070 33554432000 4194304 4196468 140728293822880 140728293805424 140312487919351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
/proc/4681/statm: 2711741 240070 3646 1 0 2673805 0
[pid=4681/tid=4792] ppid=4678 vsize=10846964 memory=961820 CPUtime=2301.94 cores=1,3,5,7
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 131237 13257 0 2 230118 68 5 3 20 0 15 0 406384784 11107291136 240070 33554432000 4194304 4196468 140728293822880 140312459753456 140312099154901 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10846964 memory=963872 CPUtime=15.47 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 18218 13257 0 2 1507 32 5 3 20 0 15 0 406384785 11107291136 240070 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10846964 memory=969000 CPUtime=15.44 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 34825 13257 0 2 1502 34 5 3 20 0 15 0 406384785 11107291136 240070 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10846964 memory=971564 CPUtime=15.45 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 21371 13257 0 2 1504 33 5 3 20 0 15 0 406384785 11107291136 240070 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10846964 memory=963872 CPUtime=15.44 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 23273 13257 0 2 1504 32 5 3 20 0 15 0 406384785 11107291136 240070 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10846964 memory=961820 CPUtime=3.41 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 19274 13257 0 2 287 46 5 3 20 0 15 0 406384786 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10846964 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 68 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311811560736 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10846964 memory=960280 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 37 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311347061504 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10846964 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10846964 memory=970028 CPUtime=9.88 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) S 4678 4681 14487 0 -1 1077944384 57002 13257 0 2 973 7 5 3 20 0 15 0 406384790 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311778003696 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10846964 memory=960792 CPUtime=9.59 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) S 4678 4681 14487 0 -1 1077944384 60386 13257 0 2 943 8 5 3 20 0 15 0 406384790 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311776951152 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10846964 memory=3500 CPUtime=4.32 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 71712 13257 0 2 413 11 5 3 20 0 15 0 406384790 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10846964 memory=971564 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10846964 memory=971564 CPUtime=1.56 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1422 13257 0 2 68 80 5 3 20 0 15 0 406384790 11107291136 240070 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 2391.89 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 960280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2330.3 s]
/proc/loadavg: 1.30 1.43 1.48 3/227 5036
/proc/meminfo: memFree=21054044/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=10846964 memory=947968 CPUtime=2400.09 cores=1,3,5,7
/proc/4681/stat : 4681 (java) S 4678 4681 14487 0 -1 1077944320 441396 13257 1 2 239670 331 5 3 20 0 15 0 406384773 11107291136 236992 33554432000 4194304 4196468 140728293822880 140728293805424 140312487919351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
/proc/4681/statm: 2711741 236992 3646 1 0 2673805 0
[pid=4681/tid=4792] ppid=4678 vsize=10846964 memory=971564 CPUtime=2309.85 cores=1,3,5,7
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 131298 13257 0 2 230909 68 5 3 20 0 15 0 406384784 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312459752752 140312103396398 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10846964 memory=948992 CPUtime=15.54 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 18285 13257 0 2 1514 32 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10846964 memory=948480 CPUtime=15.5 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 34903 13257 0 2 1508 34 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10846964 memory=0 CPUtime=15.52 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 21446 13257 0 2 1511 33 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10846964 memory=8 CPUtime=15.5 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 23353 13257 0 2 1510 32 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10846964 memory=952072 CPUtime=3.42 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 19274 13257 0 2 288 46 5 3 20 0 15 0 406384786 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10846964 memory=971564 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 68 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311811560736 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 37 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311347061504 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10846964 memory=949508 CPUtime=9.88 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) S 4678 4681 14487 0 -1 1077944384 57002 13257 0 2 973 7 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311778003696 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10846964 memory=952584 CPUtime=9.59 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) S 4678 4681 14487 0 -1 1077944384 60386 13257 0 2 943 8 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311776951152 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10846964 memory=279294072965888 CPUtime=4.32 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 71712 13257 0 2 413 11 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10846964 memory=8028344061970897256 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10846964 memory=279294073994192 CPUtime=1.56 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1422 13257 0 2 68 80 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 947968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2330.34 s]
# the end of solver process 4681 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.79 s, system=3.36258 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2330.3 s]
/proc/loadavg: 1.30 1.43 1.48 3/227 5036
/proc/meminfo: memFree=21054044/32770624 swapFree=66997112/67108860
[pid=4681] ppid=4678 vsize=10846964 memory=947968 CPUtime=2400.09 cores=1,3,5,7
/proc/4681/stat : 4681 (java) S 4678 4681 14487 0 -1 1077944320 441396 13257 1 2 239670 331 5 3 20 0 15 0 406384773 11107291136 236992 33554432000 4194304 4196468 140728293822880 140728293805424 140312487919351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
/proc/4681/statm: 2711741 236992 3646 1 0 2673805 0
[pid=4681/tid=4792] ppid=4678 vsize=10846964 memory=971564 CPUtime=2309.85 cores=1,3,5,7
/proc/4681/task/4792/stat : 4792 (java) R 4678 4681 14487 0 -1 4202560 131298 13257 0 2 230909 68 5 3 20 0 15 0 406384784 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312459752752 140312103396398 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4794] ppid=4678 vsize=10846964 memory=948992 CPUtime=15.54 cores=1,3,5,7
/proc/4681/task/4794/stat : 4794 (java) S 4678 4681 14487 0 -1 1077944384 18285 13257 0 2 1514 32 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312492162064 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4795] ppid=4678 vsize=10846964 memory=948480 CPUtime=15.5 cores=1,3,5,7
/proc/4681/task/4795/stat : 4795 (java) S 4678 4681 14487 0 -1 1077944384 34903 13257 0 2 1508 34 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312421919888 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4796] ppid=4678 vsize=10846964 memory=0 CPUtime=15.52 cores=1,3,5,7
/proc/4681/task/4796/stat : 4796 (java) S 4678 4681 14487 0 -1 1077944384 21446 13257 0 2 1511 33 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312060554000 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4797] ppid=4678 vsize=10846964 memory=8 CPUtime=15.5 cores=1,3,5,7
/proc/4681/task/4797/stat : 4797 (java) S 4678 4681 14487 0 -1 1077944384 23353 13257 0 2 1510 32 5 3 20 0 15 0 406384785 11107291136 236992 33554432000 4194304 4196468 140728293822880 140312059501456 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4802] ppid=4678 vsize=10846964 memory=952072 CPUtime=3.42 cores=1,3,5,7
/proc/4681/task/4802/stat : 4802 (java) S 4678 4681 14487 0 -1 1077944384 19274 13257 0 2 288 46 5 3 20 0 15 0 406384786 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311812614384 140312487930498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4804] ppid=4678 vsize=10846964 memory=971564 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4804/stat : 4804 (java) S 4678 4681 14487 0 -1 1077944384 68 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311811560736 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4806] ppid=4678 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4806/stat : 4806 (java) S 4678 4681 14487 0 -1 1077944384 37 13257 0 2 0 0 5 3 20 0 15 0 406384787 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311347061504 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4808] ppid=4678 vsize=10846964 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4808/stat : 4808 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311039662032 140312487937947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4809] ppid=4678 vsize=10846964 memory=949508 CPUtime=9.88 cores=1,3,5,7
/proc/4681/task/4809/stat : 4809 (java) S 4678 4681 14487 0 -1 1077944384 57002 13257 0 2 973 7 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311778003696 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4810] ppid=4678 vsize=10846964 memory=952584 CPUtime=9.59 cores=1,3,5,7
/proc/4681/task/4810/stat : 4810 (java) S 4678 4681 14487 0 -1 1077944384 60386 13257 0 2 943 8 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311776951152 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4812] ppid=4678 vsize=10846964 memory=279294072965888 CPUtime=4.32 cores=1,3,5,7
/proc/4681/task/4812/stat : 4812 (java) S 4678 4681 14487 0 -1 1077944384 71712 13257 0 2 413 11 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311775898096 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4816] ppid=4678 vsize=10846964 memory=8028344061970897256 CPUtime=0.08 cores=1,3,5,7
/proc/4681/task/4816/stat : 4816 (java) S 4678 4681 14487 0 -1 1077944384 3 13257 0 2 0 0 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311006104416 140312487929557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
[pid=4681/tid=4818] ppid=4678 vsize=10846964 memory=279294073994192 CPUtime=1.56 cores=1,3,5,7
/proc/4681/task/4818/stat : 4818 (java) S 4678 4681 14487 0 -1 1077944384 1422 13257 0 2 68 80 5 3 20 0 15 0 406384790 11107291136 236992 33554432000 4194304 4196468 140728293822880 140311774845488 140312487930498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21643264 140728293829366 140728293831877 140728293831877 140728293834703 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 947968 KiB
Child status: 143
Real time (s): 2330.34
CPU time (s): 2400.15
CPU user time (s): 2396.79
CPU system time (s): 3.36258
CPU usage (%): 102.996
Max. virtual memory (cumulated for all children) (KiB): 10849660
Max. memory (cumulated for all children) (KiB): 2942284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.79
system time used= 3.36258
maximum resident set size= 2942284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455574
page faults= 3
swaps= 0
block input operations= 5424
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 130160
involuntary context switches= 3915
# summary of solver processes directly reported to runsolver:
# pid: 4681
# total CPU time (s): 2400.15
# total CPU user time (s): 2396.79
# total CPU system time (s): 3.36258
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4822 second user time and 22.0591 second system time
The end