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 (14915 MiB free)
memory of node 1: 16384 MiB (11670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300243-1532859928/watcher-4300243-1532859928 -o /tmp/evaluation-result-4300243-1532859928/solver-4300243-1532859928 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532844911-3527 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4300243-1532859928.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5272, runsolver pid=5269
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.45 1.59 1.65 4/215 5287
/proc/meminfo: memFree=27206864/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661056 memory=28380 CPUtime=0.12 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 4979 0 0 0 11 1 0 0 20 0 15 0 103556007 10916921344 7095 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665264 7095 2843 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661056 memory=-8968179175196030144 CPUtime=0.09 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 2861 0 0 0 8 1 0 0 20 0 15 0 103556007 10916921344 7095 33554432000 4194304 4196468 140723591304528 140446056970208 140446052760982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556009 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103556010 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445542716448 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103556010 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) S 5269 5272 3495 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445539560304 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445538507504 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0.01 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) R 5269 5272 3495 0 -1 4202560 322 0 0 0 1 0 0 0 20 0 15 0 103556012 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445537454704 140446031884530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556013 10916921344 7095 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28380 KiB
[startup+0.210574 s]*
/proc/loadavg: 1.45 1.59 1.65 5/215 5287
/proc/meminfo: memFree=27195328/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661056 memory=40340 CPUtime=0.34 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 7683 0 0 0 31 3 0 0 20 0 15 0 103556007 10916921344 10085 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665264 10085 2978 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 4629 0 0 0 18 1 0 0 20 0 15 0 103556007 10916921344 10085 33554432000 4194304 4196468 140723591304528 140446056988064 140445648801526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661056 memory=364 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661056 memory=140718878929763 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556009 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103556010 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445542716448 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103556010 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) R 5269 5272 3495 0 -1 1077944384 757 0 0 0 2 0 0 0 20 0 15 0 103556012 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445539560400 140446052759253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) R 5269 5272 3495 0 -1 4202560 109 0 0 0 2 0 0 0 20 0 15 0 103556012 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445538498832 140446036245835 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0.08 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) R 5269 5272 3495 0 -1 4202560 821 0 0 0 8 0 0 0 20 0 15 0 103556012 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445537452368 140446032157396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556013 10916921344 10085 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40340 KiB
[startup+0.311239 s]*
/proc/loadavg: 1.45 1.59 1.65 5/215 5287
/proc/meminfo: memFree=27179200/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661056 memory=56328 CPUtime=0.68 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 9630 0 0 0 65 3 0 0 20 0 15 0 103556007 10916921344 14082 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665264 14082 3052 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661056 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 4668 0 0 0 28 2 0 0 20 0 15 0 103556007 10916921344 14148 33554432000 4194304 4196468 140723591304528 140446056985408 140446052770973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661056 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661056 memory=140718878928199 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556009 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103556010 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445542716448 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103556010 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661056 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) R 5269 5272 3495 0 -1 4202560 1290 0 0 0 11 0 0 0 20 0 15 0 103556012 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445539546560 140446033449344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661056 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) R 5269 5272 3495 0 -1 4202560 1058 0 0 0 12 0 0 0 20 0 15 0 103556012 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445538488408 140446034293265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0.12 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) R 5269 5272 3495 0 -1 1077944384 1275 0 0 0 12 0 0 0 20 0 15 0 103556012 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445537454704 140446052760194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661056 memory=140718878914176 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556013 10916921344 14148 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 56328 KiB
[startup+0.700703 s]
/proc/loadavg: 1.45 1.59 1.65 5/215 5287
/proc/meminfo: memFree=27149292/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661132 memory=138164 CPUtime=1.91 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 11104 0 0 0 186 5 0 0 20 0 15 0 103556007 10916999168 34541 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665283 34541 3106 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661132 memory=1788 CPUtime=0.68 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 5058 0 0 0 65 3 0 0 20 0 15 0 103556007 10916999168 34541 33554432000 4194304 4196468 140723591304528 140446056987136 140445652220002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661132 memory=860 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661132 memory=12556 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661132 memory=756 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556008 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661132 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103556008 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661132 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 103556009 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661132 memory=1132 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445542716448 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661132 memory=6388 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661132 memory=5500 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661132 memory=7092418796125250880 CPUtime=0.45 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) R 5269 5272 3495 0 -1 4202560 1883 0 0 0 45 0 0 0 20 0 15 0 103556012 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445539547088 140446052770394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661132 memory=7597685182856913236 CPUtime=0.47 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) R 5269 5272 3495 0 -1 4202560 1154 0 0 0 47 0 0 0 20 0 15 0 103556012 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445538498960 140446052770394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661132 memory=7301858164987948385 CPUtime=0.27 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) R 5269 5272 3495 0 -1 1077944384 1636 0 0 0 27 0 0 0 20 0 15 0 103556012 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445537454704 140446052760194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661132 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103556013 10916999168 34541 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 138164 KiB
[startup+1.50228 s]
/proc/loadavg: 1.45 1.59 1.65 6/215 5287
/proc/meminfo: memFree=27034924/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661132 memory=417228 CPUtime=4.34 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 13886 0 0 0 418 16 0 0 20 0 15 0 103556007 10916999168 104307 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665283 104307 3165 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661132 memory=0 CPUtime=1.33 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 5252 0 0 0 127 6 0 0 20 0 15 0 103556007 10916999168 104307 33554432000 4194304 4196468 140723591304528 140446056987072 140445654020627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661132 memory=-8754540793456063680 CPUtime=0.1 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 171 0 0 0 9 1 0 0 20 0 15 0 103556008 10916999168 104307 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661132 memory=-2843874019102283166 CPUtime=0.13 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 262 0 0 0 11 2 0 0 20 0 15 0 103556008 10916999168 104307 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661132 memory=5450919713671312938 CPUtime=0.1 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 170 0 0 0 9 1 0 0 20 0 15 0 103556008 10916999168 104307 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661132 memory=7005738693937936738 CPUtime=0.1 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 196 0 0 0 9 1 0 0 20 0 15 0 103556008 10916999168 104307 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 103556009 10916999168 104307 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
################
# More data... #
################
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 104151 0 0 0 237575 75 0 0 20 0 15 0 103556007 10916999168 692975 33554432000 4194304 4196468 140723591304528 140446056988656 140445655911302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661132 memory=2774980 CPUtime=5.03 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 16297 0 0 0 481 22 0 0 20 0 15 0 103556008 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661132 memory=2774980 CPUtime=5.04 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 14470 0 0 0 480 24 0 0 20 0 15 0 103556008 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661132 memory=2774980 CPUtime=5.03 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 14831 0 0 0 480 23 0 0 20 0 15 0 103556008 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661132 memory=2771900 CPUtime=5.03 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 15736 0 0 0 481 22 0 0 20 0 15 0 103556008 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661132 memory=2774980 CPUtime=0.76 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 14480 0 0 0 70 6 0 0 20 0 15 0 103556009 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661132 memory=2771900 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445542716512 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661132 memory=2771900 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661132 memory=2787296 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661132 memory=2774980 CPUtime=2.38 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) S 5269 5272 3495 0 -1 1077944384 10962 0 0 0 236 2 0 0 20 0 15 0 103556012 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445539560304 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661132 memory=2774980 CPUtime=2.59 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) S 5269 5272 3495 0 -1 1077944384 11238 0 0 0 257 2 0 0 20 0 15 0 103556012 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445538507504 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661132 memory=2771900 CPUtime=0.64 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) S 5269 5272 3495 0 -1 1077944384 4446 0 0 0 62 2 0 0 20 0 15 0 103556012 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445537454704 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661132 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661132 memory=29676 CPUtime=1.47 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 2167 0 0 0 63 84 0 0 20 0 15 0 103556013 10916999168 692975 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 2404.54 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2771900 KiB
[startup+2442.3 s]
/proc/loadavg: 1.76 1.84 1.91 3/215 5463
/proc/meminfo: memFree=21859616/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661132 memory=2747272 CPUtime=2465.39 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 213488 0 0 0 246287 252 0 0 20 0 15 0 103556007 10916999168 686818 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665283 686818 3189 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661132 memory=2771900 CPUtime=2436.22 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 105338 0 0 0 243546 76 0 0 20 0 15 0 103556007 10916999168 686818 33554432000 4194304 4196468 140723591304528 140446056988496 140445653793557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661132 memory=2759072 CPUtime=5.3 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 16961 0 0 0 508 22 0 0 20 0 15 0 103556008 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661132 memory=2757020 CPUtime=5.31 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 14995 0 0 0 507 24 0 0 20 0 15 0 103556008 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661132 memory=2752404 CPUtime=5.29 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 15076 0 0 0 506 23 0 0 20 0 15 0 103556008 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661132 memory=2751892 CPUtime=5.3 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 16027 0 0 0 508 22 0 0 20 0 15 0 103556008 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661132 memory=2748812 CPUtime=0.77 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 14829 0 0 0 71 6 0 0 20 0 15 0 103556009 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661132 memory=2747272 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445542716512 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661132 memory=2748812 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661132 memory=3872 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661132 memory=4000 CPUtime=2.38 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) S 5269 5272 3495 0 -1 1077944384 10966 0 0 0 236 2 0 0 20 0 15 0 103556012 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445539560304 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661132 memory=14256 CPUtime=2.59 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) S 5269 5272 3495 0 -1 1077944384 11242 0 0 0 257 2 0 0 20 0 15 0 103556012 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445538507504 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661132 memory=2747272 CPUtime=0.64 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) S 5269 5272 3495 0 -1 1077944384 4450 0 0 0 62 2 0 0 20 0 15 0 103556012 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445537454704 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661132 memory=2747272 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661132 memory=6388 CPUtime=1.51 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 2215 0 0 0 65 86 0 0 20 0 15 0 103556013 10916999168 686818 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 2465.39 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2747272 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.11 s]
/proc/loadavg: 1.61 1.78 1.88 3/215 5464
/proc/meminfo: memFree=21897496/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661132 memory=2729312 CPUtime=2520.01 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 215556 0 0 0 251746 255 0 0 20 0 15 0 103556007 10916999168 682328 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665283 682328 3189 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661132 memory=2729312 CPUtime=2489.76 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 106292 0 0 0 248900 76 0 0 20 0 15 0 103556007 10916999168 682328 33554432000 4194304 4196468 140723591304528 140446056988544 140445656406361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661132 memory=2729312 CPUtime=5.55 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 17080 0 0 0 533 22 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661132 memory=2731876 CPUtime=5.57 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 15211 0 0 0 533 24 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661132 memory=2731876 CPUtime=5.55 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 15233 0 0 0 532 23 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661132 memory=2729312 CPUtime=5.55 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 16444 0 0 0 533 22 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661132 memory=2048 CPUtime=0.79 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 15013 0 0 0 72 7 0 0 20 0 15 0 103556009 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661132 memory=2731876 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445542716512 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661132 memory=4422914631113534561 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661132 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661132 memory=1160 CPUtime=2.38 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) S 5269 5272 3495 0 -1 1077944384 10968 0 0 0 236 2 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445539560304 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661132 memory=2731876 CPUtime=2.59 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) S 5269 5272 3495 0 -1 1077944384 11244 0 0 0 257 2 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445538507504 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661132 memory=1180 CPUtime=0.64 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) S 5269 5272 3495 0 -1 1077944384 4452 0 0 0 62 2 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445537454704 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661132 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661132 memory=1788 CPUtime=1.54 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 2230 0 0 0 65 89 0 0 20 0 15 0 103556013 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2729312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.13 s]
# the end of solver process 5272 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.47 s, system=2.56661 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.11 s]
/proc/loadavg: 1.61 1.78 1.88 3/215 5464
/proc/meminfo: memFree=21897496/32770624 swapFree=67108496/67108860
[pid=5272] ppid=5269 vsize=10661132 memory=2729312 CPUtime=2520.01 cores=1,3,5,7
/proc/5272/stat : 5272 (java) S 5269 5272 3495 0 -1 1077944320 215556 0 0 0 251746 255 0 0 20 0 15 0 103556007 10916999168 682328 33554432000 4194304 4196468 140723591304528 140723591287072 140446052749047 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
/proc/5272/statm: 2665283 682328 3189 1 0 2627263 0
[pid=5272/tid=5274] ppid=5269 vsize=10661132 memory=2729312 CPUtime=2489.76 cores=1,3,5,7
/proc/5272/task/5274/stat : 5274 (java) R 5269 5272 3495 0 -1 4202560 106292 0 0 0 248900 76 0 0 20 0 15 0 103556007 10916999168 682328 33554432000 4194304 4196468 140723591304528 140446056988544 140445656406361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5275] ppid=5269 vsize=10661132 memory=2729312 CPUtime=5.55 cores=1,3,5,7
/proc/5272/task/5275/stat : 5275 (java) S 5269 5272 3495 0 -1 1077944384 17080 0 0 0 533 22 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445978823824 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5276] ppid=5269 vsize=10661132 memory=2731876 CPUtime=5.57 cores=1,3,5,7
/proc/5272/task/5276/stat : 5276 (java) S 5269 5272 3495 0 -1 1077944384 15211 0 0 0 533 24 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445977771024 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5277] ppid=5269 vsize=10661132 memory=2731876 CPUtime=5.55 cores=1,3,5,7
/proc/5272/task/5277/stat : 5277 (java) S 5269 5272 3495 0 -1 1077944384 15233 0 0 0 532 23 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445976718224 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5278] ppid=5269 vsize=10661132 memory=2729312 CPUtime=5.55 cores=1,3,5,7
/proc/5272/task/5278/stat : 5278 (java) S 5269 5272 3495 0 -1 1077944384 16444 0 0 0 533 22 0 0 20 0 15 0 103556008 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445975665424 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5279] ppid=5269 vsize=10661132 memory=2048 CPUtime=0.79 cores=1,3,5,7
/proc/5272/task/5279/stat : 5279 (java) S 5269 5272 3495 0 -1 1077944384 15013 0 0 0 72 7 0 0 20 0 15 0 103556009 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445543770480 140446052760194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5280] ppid=5269 vsize=10661132 memory=2731876 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5280/stat : 5280 (java) S 5269 5272 3495 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445542716512 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5281] ppid=5269 vsize=10661132 memory=4422914631113534561 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5281/stat : 5281 (java) S 5269 5272 3495 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 103556010 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445541663600 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5282] ppid=5269 vsize=10661132 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5282/stat : 5282 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445540611920 140446052767643 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5283] ppid=5269 vsize=10661132 memory=1160 CPUtime=2.38 cores=1,3,5,7
/proc/5272/task/5283/stat : 5283 (java) S 5269 5272 3495 0 -1 1077944384 10968 0 0 0 236 2 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445539560304 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5284] ppid=5269 vsize=10661132 memory=2731876 CPUtime=2.59 cores=1,3,5,7
/proc/5272/task/5284/stat : 5284 (java) S 5269 5272 3495 0 -1 1077944384 11244 0 0 0 257 2 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445538507504 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5285] ppid=5269 vsize=10661132 memory=1180 CPUtime=0.64 cores=1,3,5,7
/proc/5272/task/5285/stat : 5285 (java) S 5269 5272 3495 0 -1 1077944384 4452 0 0 0 62 2 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445537454704 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5286] ppid=5269 vsize=10661132 memory=2260 CPUtime=0 cores=1,3,5,7
/proc/5272/task/5286/stat : 5286 (java) S 5269 5272 3495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103556012 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445536402144 140446052759253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
[pid=5272/tid=5287] ppid=5269 vsize=10661132 memory=1788 CPUtime=1.54 cores=1,3,5,7
/proc/5272/task/5287/stat : 5287 (java) S 5269 5272 3495 0 -1 1077944384 2230 0 0 0 65 89 0 0 20 0 15 0 103556013 10916999168 682328 33554432000 4194304 4196468 140723591304528 140445535349424 140446052760194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19054592 140723591312501 140723591312649 140723591312649 140723591315407 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2729312 KiB
Child status: 143
Real time (s): 2496.13
CPU time (s): 2520.04
CPU user time (s): 2517.47
CPU system time (s): 2.56661
CPU usage (%): 100.958
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 3024252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.47
system time used= 2.56661
maximum resident set size= 3024252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215732
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60068
involuntary context switches= 1337
# summary of solver processes directly reported to runsolver:
# pid: 5272
# total CPU time (s): 2520.04
# total CPU user time (s): 2517.47
# total CPU system time (s): 2.56661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5051 second user time and 23.0229 second system time
The end