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 (14007 MiB free)
memory of node 1: 16384 MiB (15751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390928-1568383122/watcher-4390928-1568383122 -o /tmp/evaluation-result-4390928-1568383122/solver-4390928-1568383122 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568380475-2531 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390928-1568383122.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3781, runsolver pid=3778
[startup+0.100062 s]*
/proc/loadavg: 1.74 1.45 1.42 4/228 3796
/proc/meminfo: memFree=30457672/32770624 swapFree=66945292/67108860
[pid=3781] ppid=3778 vsize=10659884 memory=27700 CPUtime=0.13 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 5413 0 0 0 12 1 0 0 20 0 15 0 414254138 10915721216 6925 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2664971 6925 2891 1 0 2627468 0
[pid=3781/tid=3783] ppid=3778 vsize=10659884 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) R 3778 3781 2499 0 -1 4202560 3230 0 0 0 8 1 0 0 20 0 15 0 414254138 10915721216 6925 33554432000 4194304 4196468 140723224493296 140653751974160 140653747756438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 6925 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 6925 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 6925 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 6925 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254140 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254141 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652782536352 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254141 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652781483248 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) S 3778 3781 2499 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652778326384 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0.02 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) R 3778 3781 2499 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 414254143 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652777273328 140653734068887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) R 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254144 10915721216 6925 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27700 KiB
[startup+0.210548 s]*
/proc/loadavg: 1.74 1.45 1.42 4/228 3796
/proc/meminfo: memFree=30446380/32770624 swapFree=66945292/67108860
[pid=3781] ppid=3778 vsize=10659884 memory=37636 CPUtime=0.33 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 9181 0 0 0 30 3 0 0 20 0 15 0 414254138 10915721216 9409 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2664971 9409 2985 1 0 2627468 0
[pid=3781/tid=3783] ppid=3778 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) R 3778 3781 2499 0 -1 4202560 6122 0 0 0 18 2 0 0 20 0 15 0 414254138 10915721216 9409 33554432000 4194304 4196468 140723224493296 140653751970864 140653747766429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 9409 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10659884 memory=4051464848458626720 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 9409 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 9409 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 9409 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254140 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254141 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652782536352 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254141 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652781483248 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 884 0 0 0 3 0 0 0 20 0 15 0 414254143 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) S 3778 3781 2499 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 15 0 414254143 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652778326384 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0.05 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) S 3778 3781 2499 0 -1 1077944384 686 0 0 0 5 0 0 0 20 0 15 0 414254143 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652777273328 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254144 10915721216 9409 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37636 KiB
[startup+0.310377 s]*
/proc/loadavg: 1.74 1.45 1.42 4/228 3796
/proc/meminfo: memFree=30444548/32770624 swapFree=66945292/67108860
[pid=3781] ppid=3778 vsize=10659884 memory=40436 CPUtime=0.48 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 9395 0 0 0 44 4 0 0 20 0 15 0 414254138 10915721216 10109 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2664971 10109 3006 1 0 2627468 0
[pid=3781/tid=3783] ppid=3778 vsize=10659884 memory=8390339637985935414 CPUtime=0.3 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) R 3778 3781 2499 0 -1 4202560 6273 0 0 0 27 3 0 0 20 0 15 0 414254138 10915721216 10109 33554432000 4194304 4196468 140723224493296 140653751981088 140653747766429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10659884 memory=304556140472303639 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 10109 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10659884 memory=3906224855692588704 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 10109 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 10109 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254139 10915721216 10109 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254140 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254141 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652782536352 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254141 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652781483248 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 892 0 0 0 4 0 0 0 20 0 15 0 414254143 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) R 3778 3781 2499 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 15 0 414254143 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652778326384 140653747755650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0.07 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) R 3778 3781 2499 0 -1 4202560 709 0 0 0 7 0 0 0 20 0 15 0 414254143 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652777273328 140653747765850 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10659884 memory=140321805022848 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254144 10915721216 10109 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40436 KiB
[startup+0.701743 s]
/proc/loadavg: 1.74 1.45 1.42 3/228 3796
/proc/meminfo: memFree=30434164/32770624 swapFree=66945292/67108860
[pid=3781] ppid=3778 vsize=10661932 memory=63704 CPUtime=1.11 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 12986 0 0 0 105 6 0 0 20 0 15 0 414254138 10917818368 15926 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2665483 15926 3062 1 0 2627980 0
[pid=3781/tid=3783] ppid=3778 vsize=10661932 memory=1428 CPUtime=0.68 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) R 3778 3781 2499 0 -1 4202560 8824 0 0 0 64 4 0 0 20 0 15 0 414254138 10917818368 15926 33554432000 4194304 4196468 140723224493296 140653751970384 140653730937237 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10661932 memory=11580 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10917818368 15926 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10661932 memory=740 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10917818368 15926 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10917818368 15926 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10661932 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254139 10917818368 15926 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10661932 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254140 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10661932 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254141 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652782536352 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10661932 memory=780 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254141 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652781483248 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10661932 memory=7450174591119418944 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10661932 memory=7013342048905618540 CPUtime=0.11 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 1169 0 0 0 11 0 0 0 20 0 15 0 414254143 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10661932 memory=5787219346483269989 CPUtime=0.11 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) R 3778 3781 2499 0 -1 4202560 431 0 0 0 11 0 0 0 20 0 15 0 414254143 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652778326384 140653732134357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10661932 memory=4629539461233085814 CPUtime=0.18 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) S 3778 3781 2499 0 -1 1077944384 1202 0 0 0 18 0 0 0 20 0 15 0 414254143 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652777273328 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254144 10917818368 15926 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63704 KiB
[startup+1.50074 s]
/proc/loadavg: 1.74 1.45 1.42 4/228 3796
/proc/meminfo: memFree=30417972/32770624 swapFree=66945292/67108860
[pid=3781] ppid=3778 vsize=10663980 memory=75692 CPUtime=2.01 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 17165 0 0 0 194 7 0 0 20 0 15 0 414254138 10919915520 18923 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2665995 18923 3092 1 0 2628492 0
[pid=3781/tid=3783] ppid=3778 vsize=10663980 memory=8112282956445269571 CPUtime=1.48 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) R 3778 3781 2499 0 -1 4202560 11876 0 0 0 143 5 0 0 20 0 15 0 414254138 10919915520 18923 33554432000 4194304 4196468 140723224493296 140653751976528 140653728016240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10663980 memory=33 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10919915520 18923 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10919915520 18923 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10663980 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10919915520 18923 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254139 10919915520 18923 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10663980 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414254140 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254141 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652782536352 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10663980 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254141 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652781483248 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10663980 memory=7014751519734649955 CPUtime=0.14 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 1511 0 0 0 14 0 0 0 20 0 15 0 414254143 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10663980 memory=7156903070254787153 CPUtime=0.18 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) S 3778 3781 2499 0 -1 1077944384 1191 0 0 0 18 0 0 0 20 0 15 0 414254143 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652778326384 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10663980 memory=8112282956445269571 CPUtime=0.18 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) S 3778 3781 2499 0 -1 1077944384 1204 0 0 0 18 0 0 0 20 0 15 0 414254143 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652777273328 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10663980 memory=13057 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254144 10919915520 18923 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75692 KiB
[startup+2.31165 s]
# the end of solver process 3781 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.44196 s, system=0.118582 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60085 s]
/proc/loadavg: 1.74 1.45 1.42 4/228 3796
/proc/meminfo: memFree=30417972/32770624 swapFree=66945292/67108860
[pid=3781] ppid=3778 vsize=10666028 memory=76748 CPUtime=2.11 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 17516 0 0 0 204 7 0 0 20 0 15 0 414254138 10922012672 19187 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2666507 19187 3092 1 0 2629004 0
[pid=3781/tid=3783] ppid=3778 vsize=10666028 memory=0 CPUtime=1.58 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) R 3778 3781 2499 0 -1 4202560 12231 0 0 0 153 5 0 0 20 0 15 0 414254138 10922012672 19187 33554432000 4194304 4196468 140723224493296 140653751970384 140653730940288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10922012672 19187 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10922012672 19187 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414254139 10922012672 19187 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414254139 10922012672 19187 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 414254140 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10666028 memory=7234030499489206888 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414254141 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652782536352 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10666028 memory=5793975935227614313 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414254141 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652781483248 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10666028 memory=156591018059051 CPUtime=0.15 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 1514 0 0 0 15 0 0 0 20 0 15 0 414254143 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10666028 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) S 3778 3781 2499 0 -1 1077944384 1191 0 0 0 18 0 0 0 20 0 15 0 414254143 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652778326384 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10666028 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) S 3778 3781 2499 0 -1 1077944384 1204 0 0 0 18 0 0 0 20 0 15 0 414254143 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652777273328 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10666028 memory=-4695052241013923951 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254143 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10666028 memory=280643363668208 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414254144 10922012672 19187 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76748 KiB
[startup+2.00068 s]*
/proc/loadavg: 1.92 1.50 1.43 7/229 3798
/proc/meminfo: memFree=30339740/32770624 swapFree=66945304/67108860
[pid=3781] ppid=3778 vsize=10744136 memory=146252 CPUtime=2.92 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 21504 0 0 0 282 10 0 0 20 0 16 0 414254138 11001995264 36563 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2686034 36563 3316 1 0 2646705 0
[pid=3781/tid=3783] ppid=3778 vsize=10744136 memory=7822038051842263955 CPUtime=1.85 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) S 3778 3781 2499 0 -1 1077944384 13886 0 0 0 179 6 0 0 20 0 16 0 414254138 11001995264 36563 33554432000 4194304 4196468 140723224493296 140653751987376 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10744136 memory=4122819170707441977 CPUtime=0.01 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414254139 11001995264 36563 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10744136 memory=140321805022848 CPUtime=0.01 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 16 0 414254139 11001995264 36563 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414254139 11001995264 36563 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10744136 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414254139 11001995264 36563 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10744136 memory=140321805022848 CPUtime=0.01 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 693 0 0 0 1 0 0 0 20 0 16 0 414254140 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10744136 memory=3472323898181169199 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414254141 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652782536416 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414254141 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652781483264 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254143 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10744136 memory=280643364274784 CPUtime=0.26 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 1747 0 0 0 26 0 0 0 20 0 16 0 414254143 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10744136 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) S 3778 3781 2499 0 -1 1077944384 1293 0 0 0 32 0 0 0 20 0 16 0 414254143 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652778326384 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10744136 memory=576461256399351847 CPUtime=0.28 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) R 3778 3781 2499 0 -1 4202560 1537 0 0 0 28 0 0 0 20 0 16 0 414254143 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652777271288 140653747747842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10744136 memory=17120 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254143 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254144 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3798] ppid=3778 vsize=10744136 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3781/task/3798/stat : 3798 (java) R 3778 3781 2499 0 -1 4202560 747 0 0 0 10 0 0 0 20 0 16 0 414254325 11001995264 36563 33554432000 4194304 4196468 140723224493296 140652758100528 140653747756438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 146252 KiB
[startup+2.20072 s]
/proc/loadavg: 1.92 1.50 1.43 7/229 3798
/proc/meminfo: memFree=30339740/32770624 swapFree=66945304/67108860
[pid=3781] ppid=3778 vsize=10746276 memory=148356 CPUtime=3.33 cores=1,3,5,7
/proc/3781/stat : 3781 (java) S 3778 3781 2499 0 -1 1077944320 22102 0 0 0 322 11 0 0 20 0 16 0 414254138 11004186624 37089 33554432000 4194304 4196468 140723224493296 140723224475840 140653747744503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
/proc/3781/statm: 2686569 37089 3348 1 0 2646705 0
[pid=3781/tid=3783] ppid=3778 vsize=10746276 memory=21834 CPUtime=1.85 cores=1,3,5,7
/proc/3781/task/3783/stat : 3783 (java) S 3778 3781 2499 0 -1 1077944384 13886 0 0 0 179 6 0 0 20 0 16 0 414254138 11004186624 37089 33554432000 4194304 4196468 140723224493296 140653751987376 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3784] ppid=3778 vsize=10746276 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3781/task/3784/stat : 3784 (java) S 3778 3781 2499 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 16 0 414254139 11004186624 37089 33554432000 4194304 4196468 140723224493296 140653673818640 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3785] ppid=3778 vsize=10746276 memory=664970774541936282 CPUtime=0.01 cores=1,3,5,7
/proc/3781/task/3785/stat : 3785 (java) S 3778 3781 2499 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 16 0 414254139 11004186624 37089 33554432000 4194304 4196468 140723224493296 140653672766096 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3786] ppid=3778 vsize=10746276 memory=8694935348286824567 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3786/stat : 3786 (java) S 3778 3781 2499 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 16 0 414254139 11004186624 37089 33554432000 4194304 4196468 140723224493296 140653671713040 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3787] ppid=3778 vsize=10746276 memory=735124469398485392 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3787/stat : 3787 (java) S 3778 3781 2499 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 414254139 11004186624 37089 33554432000 4194304 4196468 140723224493296 140653670660496 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3788] ppid=3778 vsize=10746276 memory=140325171496421 CPUtime=0.01 cores=1,3,5,7
/proc/3781/task/3788/stat : 3788 (java) S 3778 3781 2499 0 -1 1077944384 693 0 0 0 1 0 0 0 20 0 16 0 414254140 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652783590128 140653747755650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3789] ppid=3778 vsize=10746276 memory=924 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3789/stat : 3789 (java) S 3778 3781 2499 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 414254141 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652782536416 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3790] ppid=3778 vsize=10746276 memory=7305218370954291798 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3790/stat : 3790 (java) S 3778 3781 2499 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414254141 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652781483264 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3791] ppid=3778 vsize=10746276 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3791/stat : 3791 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254143 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652780431824 140653747763099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3792] ppid=3778 vsize=10746276 memory=8025788814078207340 CPUtime=0.33 cores=1,3,5,7
/proc/3781/task/3792/stat : 3792 (java) S 3778 3781 2499 0 -1 1077944384 1779 0 0 0 33 0 0 0 20 0 16 0 414254143 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652779378928 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3793] ppid=3778 vsize=10746276 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/3781/task/3793/stat : 3793 (java) S 3778 3781 2499 0 -1 1077944384 1326 0 0 0 37 0 0 0 20 0 16 0 414254143 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652778326384 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3794] ppid=3778 vsize=10746276 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/3781/task/3794/stat : 3794 (java) S 3778 3781 2499 0 -1 1077944384 1753 0 0 0 37 0 0 0 20 0 16 0 414254143 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652777273328 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3795] ppid=3778 vsize=10746276 memory=280643363668208 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3795/stat : 3795 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254143 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652776221024 140653747754709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3796] ppid=3778 vsize=10746276 memory=7301007228753963368 CPUtime=0 cores=1,3,5,7
/proc/3781/task/3796/stat : 3796 (java) S 3778 3781 2499 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414254144 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652775169072 140653747755650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
[pid=3781/tid=3798] ppid=3778 vsize=10746276 memory=6441370576508249454 CPUtime=0.29 cores=1,3,5,7
/proc/3781/task/3798/stat : 3798 (java) R 3778 3781 2499 0 -1 4202560 1060 0 0 0 29 0 0 0 20 0 16 0 414254325 11004186624 37089 33554432000 4194304 4196468 140723224493296 140652758097664 140653354888192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39612416 140723224499211 140723224499314 140723224499314 140723224502223 0
Current children cumulated CPU time: 3.33 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 148356 KiB
Child status: 1
Real time (s): 2.31168
CPU time (s): 3.56054
CPU user time (s): 3.44196
CPU system time (s): 0.118582
CPU usage (%): 154.024
Max. virtual memory (cumulated for all children) (KiB): 10746276
Max. memory (cumulated for all children) (KiB): 148356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.44196
system time used= 0.118582
maximum resident set size= 149736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2268
involuntary context switches= 14
# summary of solver processes directly reported to runsolver:
# pid: 3781
# total CPU time (s): 3.56054
# total CPU user time (s): 3.44196
# total CPU system time (s): 0.118582
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046082 second user time and 0.058306 second system time
The end