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 (15203 MiB free)
memory of node 1: 16384 MiB (15615 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258026-1502643553/watcher-4258026-1502643553 -o /tmp/evaluation-result-4258026-1502643553/solver-4258026-1502643553 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258026-1502643553.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=6821, runsolver pid=6818
[startup+0.103979 s]*
/proc/loadavg: 4.94 4.05 2.82 3/185 6833
/proc/meminfo: memFree=31547272/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10151672 memory=21252 CPUtime=0.03 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 4218 0 0 0 3 0 0 0 20 0 9 0 66548631 10395312128 5313 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2537918 5313 2122 1 0 2527415 0
[pid=6821/tid=6826] ppid=6818 vsize=10151672 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) R 6818 6821 17093 0 -1 4202560 2885 0 0 0 3 0 0 0 20 0 9 0 66548638 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648614457208 140648610243741 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66548638 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648571120144 140648610232021 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10151672 memory=140596206335616 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66548638 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648219859600 140648610232021 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 66548638 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648218806544 140648610232021 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) S 6818 6821 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66548638 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648217754000 140648610232021 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10151672 memory=140596206335616 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 66548640 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648174336752 140648610232962 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 66548640 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648173282976 140648610232021 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 66548640 10395312128 5378 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 21252 KiB
[startup+0.212933 s]*
/proc/loadavg: 4.94 4.05 2.82 2/191 6842
/proc/meminfo: memFree=31543844/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10551156 memory=27320 CPUtime=0.1 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 5295 0 0 0 9 1 0 0 20 0 15 0 66548631 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2637789 6830 2801 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551156 memory=7310027617963868211 CPUtime=0.08 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) R 6818 6821 17093 0 -1 4202560 3225 0 0 0 7 1 0 0 20 0 15 0 66548638 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648614457280 140648250431015 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551156 memory=288230583233150999 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648571120144 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551156 memory=14271761070913176 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648219859600 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648218806544 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) S 6818 6821 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648217754000 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551156 memory=140596206335616 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66548640 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648174336752 140648610232962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66548640 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648173282976 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66548640 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648171178448 140648610240411 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) S 6818 6821 17093 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 66548643 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648170125552 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548643 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648169073008 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551156 memory=140596206335616 CPUtime=0.01 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) R 6818 6821 17093 0 -1 4202560 298 0 0 0 1 0 0 0 20 0 15 0 66548643 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648602560521 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6838] ppid=6818 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6838/stat : 6838 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648099342688 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6839] ppid=6818 vsize=10551156 memory=140596206335616 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6839/stat : 6839 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548650 10804383744 6830 18446744073709551615 4194304 4196468 140726737137456 140648098290736 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27320 KiB
[startup+0.310106 s]*
/proc/loadavg: 4.94 4.05 2.82 2/191 6848
/proc/meminfo: memFree=31534312/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10551156 memory=36472 CPUtime=0.25 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 8416 0 0 0 22 3 0 0 20 0 15 0 66548631 10804383744 9118 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2637789 9118 2870 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551156 memory=-7677926825137650786 CPUtime=0.17 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) R 6818 6821 17093 0 -1 4202560 6128 0 0 0 15 2 0 0 20 0 15 0 66548638 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648614455840 140648594265445 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648571120144 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648219859600 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648218806544 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) S 6818 6821 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66548638 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648217754000 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66548640 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648174336752 140648610232962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66548640 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648173282976 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66548640 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648171178448 140648610240411 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) S 6818 6821 17093 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 66548643 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648170125552 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) S 6818 6821 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66548643 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648169073008 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) S 6818 6821 17093 0 -1 1077944384 396 0 0 0 4 0 0 0 20 0 15 0 66548643 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6838] ppid=6818 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6838/stat : 6838 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648099342688 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6839] ppid=6818 vsize=10551156 memory=140596206335616 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6839/stat : 6839 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548650 10804383744 9183 18446744073709551615 4194304 4196468 140726737137456 140648098290736 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36472 KiB
[startup+0.700979 s]
/proc/loadavg: 4.94 4.05 2.82 3/190 6854
/proc/meminfo: memFree=31522004/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10551232 memory=93816 CPUtime=1.43 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 13090 0 0 0 139 4 0 0 20 0 15 0 66548631 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2637808 23454 3056 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551232 memory=33 CPUtime=0.55 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) R 6818 6821 17093 0 -1 4202560 7414 0 0 0 52 3 0 0 20 0 15 0 66548638 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648614459200 140648250374869 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551232 memory=1329904169539632281 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648571120144 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551232 memory=1329904169539632281 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648219859600 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551232 memory=8414074075373934941 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548638 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648218806544 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551232 memory=-9001734013606258791 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) S 6818 6821 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66548638 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648217754000 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551232 memory=-6586667735541663136 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648174336752 140648610232962 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551232 memory=-6876588452865875872 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648173282976 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551232 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648171178448 140648610240411 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551232 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) R 6818 6821 17093 0 -1 4202560 1516 0 0 0 28 0 0 0 20 0 15 0 66548643 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648170116696 140648595143568 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551232 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) R 6818 6821 17093 0 -1 4202560 1131 0 0 0 31 0 0 0 20 0 15 0 66548643 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648169061360 140648591739637 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551232 memory=281192180238624 CPUtime=0.27 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) S 6818 6821 17093 0 -1 1077944384 1660 0 0 0 27 0 0 0 20 0 15 0 66548643 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6838] ppid=6818 vsize=10551232 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6838/stat : 6838 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648099342688 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6839] ppid=6818 vsize=10551232 memory=13563795322702378 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6839/stat : 6839 (java) S 6818 6821 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66548650 10804461568 23454 18446744073709551615 4194304 4196468 140726737137456 140648098290736 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 93816 KiB
[startup+1.50101 s]
/proc/loadavg: 4.94 4.05 2.82 4/209 6882
/proc/meminfo: memFree=31143104/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10551232 memory=813872 CPUtime=3.27 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 15588 0 0 0 293 34 0 0 20 0 15 0 66548631 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2637808 203468 3089 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551232 memory=7595725831727968097 CPUtime=1.16 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) R 6818 6821 17093 0 -1 4202560 8227 0 0 0 105 11 0 0 20 0 15 0 66548638 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648614454944 140648254284433 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551232 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) S 6818 6821 17093 0 -1 1077944384 239 0 0 0 13 5 0 0 20 0 15 0 66548638 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648571120144 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551232 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) S 6818 6821 17093 0 -1 1077944384 249 0 0 0 13 5 0 0 20 0 15 0 66548638 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648219859600 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551232 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) S 6818 6821 17093 0 -1 1077944384 243 0 0 0 12 5 0 0 20 0 15 0 66548638 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648218806544 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551232 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) S 6818 6821 17093 0 -1 1077944384 263 0 0 0 13 5 0 0 20 0 15 0 66548638 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648217754000 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648174336752 140648610232962 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551232 memory=-2023959437020729679 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648173282976 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551232 memory=-2023959437020729679 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551232 memory=-7880843606118635149 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648171178448 140648610240411 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551232 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) R 6818 6821 17093 0 -1 4202560 1613 0 0 0 49 1 0 0 20 0 15 0 66548643 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648170118040 140648594615703 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551232 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) R 6818 6821 17093 0 -1 4202560 1180 0 0 0 53 0 0 0 20 0 15 0 66548643 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648169073008 140648587816816 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551232 memory=5788 CPUtime=0.31 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) S 6818 6821 17093 0 -1 1077944384 1730 0 0 0 31 0 0 0 20 0 15 0 66548643 10804461568 203468 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
################
# More data... #
################
/proc/6821/statm: 2637808 2078048 3111 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551232 memory=8312192 CPUtime=14.42 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) S 6818 6821 17093 0 -1 1077944384 21162 0 0 0 1416 26 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648614458496 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551232 memory=2420 CPUtime=54.26 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) R 6818 6821 17093 0 -1 4202560 53281 0 0 0 5287 139 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648571120344 140648595172420 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551232 memory=1732 CPUtime=54.25 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) R 6818 6821 17093 0 -1 4202560 44204 0 0 0 5294 131 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648219859800 140648594919612 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551232 memory=5788 CPUtime=54.15 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) R 6818 6821 17093 0 -1 4202560 47101 0 0 0 5292 123 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648218806744 140648595207111 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551232 memory=4612 CPUtime=53.95 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) R 6818 6821 17093 0 -1 4202560 30642 0 0 0 5271 124 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648217753584 140648602850023 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551232 memory=1708 CPUtime=19.17 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 28315 0 0 0 1916 1 0 0 20 0 15 0 66548640 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648174335072 140648610232021 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648173283040 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551232 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648171178448 140648610240411 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551232 memory=1992 CPUtime=0.73 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) S 6818 6821 17093 0 -1 1077944384 3464 0 0 0 72 1 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648170125552 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551232 memory=0 CPUtime=0.83 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) S 6818 6821 17093 0 -1 1077944384 3658 0 0 0 83 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648169073008 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551232 memory=26660 CPUtime=0.37 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) S 6818 6821 17093 0 -1 1077944384 3462 0 0 0 37 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6838] ppid=6818 vsize=10551232 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6838/stat : 6838 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648099342688 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6839] ppid=6818 vsize=10551232 memory=281192181110384 CPUtime=0.05 cores=1,3,5,7
/proc/6821/task/6839/stat : 6839 (java) S 6818 6821 17093 0 -1 1077944384 538 0 0 0 2 3 0 0 20 0 15 0 66548650 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648098290736 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 252.26 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+90.4527 s]
# the end of solver process 6821 was just reported to runsolver
# cumulated CPU time of all completed processes: user=254.69 s, system=5.55896 s
Solver just ended.
Dumping a history of the last processes samples
[startup+89.601 s]
/proc/loadavg: 2.94 3.64 2.79 6/210 6885
/proc/meminfo: memFree=17862220/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10551232 memory=8312192 CPUtime=257 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 237220 0 0 0 25149 551 0 0 20 0 15 0 66548631 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2637808 2078048 3111 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551232 memory=289 CPUtime=14.42 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) S 6818 6821 17093 0 -1 1077944384 21162 0 0 0 1416 26 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648614458496 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551232 memory=-6876588628787748224 CPUtime=55.45 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) R 6818 6821 17093 0 -1 4202560 53309 0 0 0 5406 139 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648571120344 140648595172942 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551232 memory=8257237230706253920 CPUtime=55.45 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) R 6818 6821 17093 0 -1 4202560 44204 0 0 0 5414 131 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648219859800 140648595172942 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551232 memory=7680170660397595203 CPUtime=55.33 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) R 6818 6821 17093 0 -1 4202560 47101 0 0 0 5410 123 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648218806744 140648595172942 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551232 memory=1708 CPUtime=55.1 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) R 6818 6821 17093 0 -1 4202560 30642 0 0 0 5385 125 0 0 20 0 15 0 66548638 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648217753584 140648602850023 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551232 memory=1444 CPUtime=19.17 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 28315 0 0 0 1916 1 0 0 20 0 15 0 66548640 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648174335072 140648610232021 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648173283040 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551232 memory=8312188 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551232 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648171178096 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551232 memory=37532 CPUtime=0.73 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) S 6818 6821 17093 0 -1 1077944384 3464 0 0 0 72 1 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648170125552 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551232 memory=1296 CPUtime=0.83 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) S 6818 6821 17093 0 -1 1077944384 3658 0 0 0 83 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648169073008 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551232 memory=8312188 CPUtime=0.37 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) S 6818 6821 17093 0 -1 1077944384 3462 0 0 0 37 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6838] ppid=6818 vsize=10551232 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6838/stat : 6838 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648099342688 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6839] ppid=6818 vsize=10551232 memory=1992 CPUtime=0.05 cores=1,3,5,7
/proc/6821/task/6839/stat : 6839 (java) S 6818 6821 17093 0 -1 1077944384 538 0 0 0 2 3 0 0 20 0 15 0 66548650 10804461568 2078048 18446744073709551615 4194304 4196468 140726737137456 140648098290736 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 257 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312192 KiB
[startup+90.001 s]*
/proc/loadavg: 2.94 3.64 2.79 6/210 6885
/proc/meminfo: memFree=17862220/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10551232 memory=8312196 CPUtime=258.61 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 237233 0 0 0 25310 551 0 0 20 0 15 0 66548631 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2637808 2078049 3111 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551232 memory=5788 CPUtime=14.42 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) S 6818 6821 17093 0 -1 1077944384 21162 0 0 0 1416 26 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648614458496 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551232 memory=4872558044660077418 CPUtime=55.86 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) R 6818 6821 17093 0 -1 4202560 53322 0 0 0 5447 139 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648571120344 140648594919477 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551232 memory=4612 CPUtime=55.86 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) R 6818 6821 17093 0 -1 4202560 44204 0 0 0 5455 131 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648219859800 140648591818899 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551232 memory=1708 CPUtime=55.73 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) R 6818 6821 17093 0 -1 4202560 47101 0 0 0 5450 123 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648218806744 140648594919454 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551232 memory=1444 CPUtime=55.49 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) R 6818 6821 17093 0 -1 4202560 30642 0 0 0 5424 125 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648217753584 140648602850023 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551232 memory=1228 CPUtime=19.17 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 28315 0 0 0 1916 1 0 0 20 0 15 0 66548640 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648174335072 140648610232021 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551232 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648173283040 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551232 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551232 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648171178096 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551232 memory=1000 CPUtime=0.73 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) S 6818 6821 17093 0 -1 1077944384 3464 0 0 0 72 1 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648170125552 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551232 memory=8312188 CPUtime=0.83 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) S 6818 6821 17093 0 -1 1077944384 3658 0 0 0 83 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648169073008 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551232 memory=8312188 CPUtime=0.37 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) S 6818 6821 17093 0 -1 1077944384 3462 0 0 0 37 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6838] ppid=6818 vsize=10551232 memory=2784 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6838/stat : 6838 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648099342688 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6839] ppid=6818 vsize=10551232 memory=8312184 CPUtime=0.05 cores=1,3,5,7
/proc/6821/task/6839/stat : 6839 (java) S 6818 6821 17093 0 -1 1077944384 538 0 0 0 2 3 0 0 20 0 15 0 66548650 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648098290736 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 258.61 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312196 KiB
[startup+90.401 s]
/proc/loadavg: 2.94 3.64 2.79 6/210 6885
/proc/meminfo: memFree=17862220/32770624 swapFree=67108860/67108860
[pid=6821] ppid=6818 vsize=10551232 memory=8312196 CPUtime=260.15 cores=1,3,5,7
/proc/6821/stat : 6821 (java) S 6818 6821 17093 0 -1 1077944320 237244 0 0 0 25464 551 0 0 20 0 15 0 66548631 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140726737120000 140648610221815 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
/proc/6821/statm: 2637808 2078049 3111 1 0 2627261 0
[pid=6821/tid=6826] ppid=6818 vsize=10551232 memory=8312192 CPUtime=14.42 cores=1,3,5,7
/proc/6821/task/6826/stat : 6826 (java) S 6818 6821 17093 0 -1 1077944384 21162 0 0 0 1416 26 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648614458496 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6827] ppid=6818 vsize=10551232 memory=1296 CPUtime=56.25 cores=1,3,5,7
/proc/6821/task/6827/stat : 6827 (java) R 6818 6821 17093 0 -1 4202560 53333 0 0 0 5486 139 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648571120344 140648594919484 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6828] ppid=6818 vsize=10551232 memory=2420 CPUtime=56.25 cores=1,3,5,7
/proc/6821/task/6828/stat : 6828 (java) R 6818 6821 17093 0 -1 4202560 44204 0 0 0 5494 131 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648219859800 140648595172942 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6829] ppid=6818 vsize=10551232 memory=7680170660397595203 CPUtime=56.12 cores=1,3,5,7
/proc/6821/task/6829/stat : 6829 (java) R 6818 6821 17093 0 -1 4202560 47101 0 0 0 5489 123 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648218806744 140648595172420 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6830] ppid=6818 vsize=10551232 memory=8312184 CPUtime=55.87 cores=1,3,5,7
/proc/6821/task/6830/stat : 6830 (java) R 6818 6821 17093 0 -1 4202560 30642 0 0 0 5462 125 0 0 20 0 15 0 66548638 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648217753584 140648602850023 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6831] ppid=6818 vsize=10551232 memory=2752 CPUtime=19.17 cores=1,3,5,7
/proc/6821/task/6831/stat : 6831 (java) S 6818 6821 17093 0 -1 1077944384 28315 0 0 0 1916 1 0 0 20 0 15 0 66548640 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648174335072 140648610232021 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6832] ppid=6818 vsize=10551232 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6832/stat : 6832 (java) S 6818 6821 17093 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648173283040 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6833] ppid=6818 vsize=10551232 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6833/stat : 6833 (java) S 6818 6821 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66548640 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648172229872 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6834] ppid=6818 vsize=10551232 memory=7680170660397595203 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6834/stat : 6834 (java) S 6818 6821 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648171178096 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6835] ppid=6818 vsize=10551232 memory=796 CPUtime=0.73 cores=1,3,5,7
/proc/6821/task/6835/stat : 6835 (java) S 6818 6821 17093 0 -1 1077944384 3464 0 0 0 72 1 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648170125552 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6836] ppid=6818 vsize=10551232 memory=8944 CPUtime=0.83 cores=1,3,5,7
/proc/6821/task/6836/stat : 6836 (java) S 6818 6821 17093 0 -1 1077944384 3658 0 0 0 83 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648169073008 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6837] ppid=6818 vsize=10551232 memory=15876 CPUtime=0.37 cores=1,3,5,7
/proc/6821/task/6837/stat : 6837 (java) S 6818 6821 17093 0 -1 1077944384 3462 0 0 0 37 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648168019952 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6838] ppid=6818 vsize=10551232 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/6821/task/6838/stat : 6838 (java) S 6818 6821 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66548643 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648099342688 140648610232021 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
[pid=6821/tid=6839] ppid=6818 vsize=10551232 memory=288230574492221466 CPUtime=0.05 cores=1,3,5,7
/proc/6821/task/6839/stat : 6839 (java) S 6818 6821 17093 0 -1 1077944384 538 0 0 0 2 3 0 0 20 0 15 0 66548650 10804461568 2078049 18446744073709551615 4194304 4196468 140726737137456 140648098290736 140648610232962 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38281216 140726737142165 140726737142318 140726737142318 140726737145807 0
Current children cumulated CPU time: 260.15 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8312196 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 90.4528
CPU time (s): 260.249
CPU user time (s): 254.69
CPU system time (s): 5.55896
CPU usage (%): 287.718
Max. virtual memory (cumulated for all children) (KiB): 10551232
Max. memory (cumulated for all children) (KiB): 8312196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.69
system time used= 5.55896
maximum resident set size= 8312492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237249
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5115
involuntary context switches= 2613
# summary of solver processes directly reported to runsolver:
# pid: 6821
# total CPU time (s): 260.249
# total CPU user time (s): 254.69
# total CPU system time (s): 5.55896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.549068 second user time and 0.931514 second system time
The end