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 (7303 MiB free)
memory of node 1: 16384 MiB (12285 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293018-1532304008/watcher-4293018-1532304008 -o /tmp/evaluation-result-4293018-1532304008/solver-4293018-1532304008 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1173725863 -superng HOME/instance-4293018-1532304008.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
Current StackSize limit: 8192 KiB
solver pid=8114, runsolver pid=8111
[startup+0.100092 s]*
/proc/loadavg: 1.40 1.31 1.39 3/206 8171
/proc/meminfo: memFree=20052340/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=9972712 memory=18592 CPUtime=0.08 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 4274 12986 0 0 1 0 5 2 20 0 6 0 47963942 10212057088 4648 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2493178 4648 1934 1 0 2481616 0
[pid=8114/tid=8167] ppid=8111 vsize=9972712 memory=-8384983170502934469 CPUtime=0.08 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 2096 12986 0 0 1 0 5 2 20 0 6 0 47963951 10212057088 4648 33554432000 4194304 4196468 140732152782576 139957510046288 139957523382534 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 6 0 47963952 10212057088 4648 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=9972712 memory=140251463636608 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 6 0 47963952 10212057088 4648 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 6 0 47963952 10212057088 4648 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 2 12986 0 0 0 0 5 2 20 0 6 0 47963952 10212057088 4648 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.20977 s]*
/proc/loadavg: 1.40 1.31 1.39 3/215 8180
/proc/meminfo: memFree=20033456/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=10818904 memory=44800 CPUtime=0.26 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 9136 12986 0 0 17 2 5 2 20 0 15 0 47963942 11078557696 11200 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2704726 11200 2932 1 0 2667149 0
[pid=8114/tid=8167] ppid=8111 vsize=10819044 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 5807 12986 0 0 10 1 5 2 20 0 15 0 47963951 11078701056 11200 33554432000 4194304 4196468 140732152782576 139957510041728 139957461286774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10819044 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11078701056 11200 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10819044 memory=140251463636608 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11078701056 11200 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10819044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11078701056 11200 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10819044 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 2 12986 0 0 0 0 5 2 20 0 15 0 47963952 11078701056 11200 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10819044 memory=140251463636608 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 2 12986 0 0 0 0 5 2 20 0 15 0 47963953 11078701056 11200 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10819044 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 33 12986 0 0 0 0 5 2 20 0 15 0 47963953 11078701056 11200 33554432000 4194304 4196468 140732152782576 139956996469536 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10819044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963954 11078701056 11200 33554432000 4194304 4196468 140732152782576 139956408280176 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10819044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11078701056 11200 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10819044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 521 12986 0 0 1 0 5 2 20 0 15 0 47963956 11078701056 11200 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10819044 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) R 8111 8114 6708 0 -1 1077944384 57 12986 0 0 0 0 5 2 20 0 15 0 47963956 11078701056 11200 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10819044 memory=140251463636608 CPUtime=0.1 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) R 8111 8114 6708 0 -1 4202560 549 12986 0 0 3 0 5 2 20 0 15 0 47963956 11078701056 11200 33554432000 4194304 4196468 140732152782576 139956960807792 139957538230874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10819052 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11078709248 11200 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10819052 memory=140251463636608 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963957 11078709248 11200 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44800 KiB
[startup+0.310366 s]*
/proc/loadavg: 1.40 1.31 1.39 3/215 8180
/proc/meminfo: memFree=20021160/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=10819352 memory=52676 CPUtime=0.39 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 10329 12986 0 0 29 3 5 2 20 0 15 0 47963942 11079016448 13169 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2704838 13169 3051 1 0 2667149 0
[pid=8114/tid=8167] ppid=8111 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 6954 12986 0 0 20 2 5 2 20 0 15 0 47963951 11079016448 13169 33554432000 4194304 4196468 140732152782576 139957510021536 139957519773087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10819352 memory=7230082075856097360 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 13169 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10819352 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 13169 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 13169 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 2 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 13169 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 2 12986 0 0 0 0 5 2 20 0 15 0 47963953 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 33 12986 0 0 0 0 5 2 20 0 15 0 47963953 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956996469536 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963954 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956408280176 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 522 12986 0 0 2 0 5 2 20 0 15 0 47963956 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) S 8111 8114 6708 0 -1 1077944384 57 12986 0 0 1 0 5 2 20 0 15 0 47963956 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) S 8111 8114 6708 0 -1 1077944384 560 12986 0 0 5 0 5 2 20 0 15 0 47963956 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956960807792 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963957 11079016448 13169 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52676 KiB
[startup+0.700752 s]
/proc/loadavg: 1.40 1.31 1.39 3/215 8180
/proc/meminfo: memFree=20012724/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=10819352 memory=85056 CPUtime=0.99 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 16400 12986 0 0 87 5 5 2 20 0 15 0 47963942 11079016448 21264 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2704838 21264 3237 1 0 2667149 0
[pid=8114/tid=8167] ppid=8111 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 11937 12986 0 0 56 3 5 2 20 0 15 0 47963951 11079016448 21264 33554432000 4194304 4196468 140732152782576 139957510030352 139957519773091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 21264 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 21264 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 21264 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 2 12986 0 0 0 0 5 2 20 0 15 0 47963952 11079016448 21264 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 5 12986 0 0 0 0 5 2 20 0 15 0 47963953 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 33 12986 0 0 0 0 5 2 20 0 15 0 47963953 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956996469536 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963954 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956408280176 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10819352 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 890 12986 0 0 7 0 5 2 20 0 15 0 47963956 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10819352 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) S 8111 8114 6708 0 -1 1077944384 725 12986 0 0 9 0 5 2 20 0 15 0 47963956 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10819352 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) S 8111 8114 6708 0 -1 1077944384 609 12986 0 0 13 0 5 2 20 0 15 0 47963956 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956960807792 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963957 11079016448 21264 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85056 KiB
[startup+1.50116 s]
/proc/loadavg: 1.40 1.31 1.39 5/215 8180
/proc/meminfo: memFree=19969304/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=10834252 memory=196768 CPUtime=2.81 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 24237 12986 0 0 263 11 5 2 20 0 15 0 47963942 11094274048 49192 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2708563 49192 3475 1 0 2670221 0
[pid=8114/tid=8167] ppid=8111 vsize=10834252 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 16771 12986 0 0 129 6 5 2 20 0 15 0 47963951 11094274048 49192 33554432000 4194304 4196468 140732152782576 139957510020544 139957523903008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 23 12986 0 0 1 0 5 2 20 0 15 0 47963952 11094274048 49192 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 183 12986 0 0 0 0 5 2 20 0 15 0 47963952 11094274048 49192 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10834252 memory=3611949788955226161 CPUtime=0.08 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 26 12986 0 0 1 0 5 2 20 0 15 0 47963952 11094274048 49192 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 55 12986 0 0 1 0 5 2 20 0 15 0 47963952 11094274048 49192 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10834252 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 53 12986 0 0 1 0 5 2 20 0 15 0 47963953 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10834252 memory=280502703565056 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 34 12986 0 0 0 0 5 2 20 0 15 0 47963953 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956996469536 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963954 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956408280176 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10834252 memory=5380 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10834252 memory=4616 CPUtime=0.51 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 1723 12986 0 0 44 0 5 2 20 0 15 0 47963956 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10834252 memory=1232 CPUtime=0.46 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) S 8111 8114 6708 0 -1 1077944384 1665 12986 0 0 39 0 5 2 20 0 15 0 47963956 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10834252 memory=11964 CPUtime=0.49 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) S 8111 8114 6708 0 -1 1077944384 1508 12986 0 0 42 0 5 2 20 0 15 0 47963956 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956960807792 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10834252 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10834252 memory=8384 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 1 12986 0 0 0 0 5 2 20 0 15 0 47963957 11094274048 49192 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 97961 12986 0 0 236257 49 5 2 20 0 15 0 47963951 11180277760 308665 33554432000 4194304 4196468 140732152782576 139957510044272 139957120807152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.33 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 13546 12986 0 0 881 45 5 2 20 0 15 0 47963952 11180277760 308665 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.32 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 8269 12986 0 0 884 41 5 2 20 0 15 0 47963952 11180277760 308665 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.32 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 9626 12986 0 0 884 41 5 2 20 0 15 0 47963952 11180277760 308665 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.33 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 11544 12986 0 0 884 42 5 2 20 0 15 0 47963952 11180277760 308665 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10918240 memory=1234660 CPUtime=6.78 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 15163 12986 0 0 635 36 5 2 20 0 15 0 47963953 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10918240 memory=1234660 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 39 12986 0 0 0 0 5 2 20 0 15 0 47963953 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956996469600 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10918240 memory=1234660 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 8 12986 0 0 0 0 5 2 20 0 15 0 47963954 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956408280192 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10918240 memory=1234660 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.08 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 69615 12986 0 0 894 7 5 2 20 0 15 0 47963956 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.61 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) S 8111 8114 6708 0 -1 1077944384 76359 12986 0 0 947 7 5 2 20 0 15 0 47963956 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10918240 memory=1234660 CPUtime=4.12 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) S 8111 8114 6708 0 -1 1077944384 79384 12986 0 0 395 10 5 2 20 0 15 0 47963956 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956960807792 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10918240 memory=1234592 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10918240 memory=1836 CPUtime=1.47 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 2146 12986 0 0 56 84 5 2 20 0 15 0 47963957 11180277760 308665 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 2430.97 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1234660 KiB
[startup+2442.3 s]
/proc/loadavg: 1.34 1.25 1.32 3/215 8411
/proc/meminfo: memFree=18984228/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=10918240 memory=1236744 CPUtime=2491.82 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 389339 12986 0 0 248855 320 5 2 20 0 15 0 47963942 11180277760 309186 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2729560 309186 3532 1 0 2691213 0
[pid=8114/tid=8167] ppid=8111 vsize=10918240 memory=1236744 CPUtime=2422.63 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 98701 12986 0 0 242206 50 5 2 20 0 15 0 47963951 11180277760 309186 33554432000 4194304 4196468 140732152782576 139957510044192 139957107900960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10918240 memory=15872 CPUtime=9.58 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 13617 12986 0 0 906 45 5 2 20 0 15 0 47963952 11180277760 309186 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10918240 memory=1234696 CPUtime=9.57 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 8311 12986 0 0 908 42 5 2 20 0 15 0 47963952 11180277760 309186 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10918240 memory=1234696 CPUtime=9.57 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 9764 12986 0 0 909 41 5 2 20 0 15 0 47963952 11180277760 309186 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10918240 memory=1234696 CPUtime=9.58 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 11603 12986 0 0 908 43 5 2 20 0 15 0 47963952 11180277760 309186 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10918240 memory=1236744 CPUtime=6.95 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 15396 12986 0 0 651 37 5 2 20 0 15 0 47963953 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10918240 memory=1236744 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 39 12986 0 0 0 0 5 2 20 0 15 0 47963953 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956996469600 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10918240 memory=1234696 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 8 12986 0 0 0 0 5 2 20 0 15 0 47963954 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956408280192 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10918240 memory=1236744 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10918240 memory=4048 CPUtime=9.14 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 70361 12986 0 0 900 7 5 2 20 0 15 0 47963956 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10918240 memory=1236744 CPUtime=9.66 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) S 8111 8114 6708 0 -1 1077944384 76930 12986 0 0 952 7 5 2 20 0 15 0 47963956 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10918240 memory=1236744 CPUtime=4.16 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) S 8111 8114 6708 0 -1 1077944384 80261 12986 0 0 399 10 5 2 20 0 15 0 47963956 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956960807792 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10918240 memory=1236744 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10918240 memory=1236744 CPUtime=1.5 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 2154 12986 0 0 58 85 5 2 20 0 15 0 47963957 11180277760 309186 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 2491.82 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1236744 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.11 s]
/proc/loadavg: 1.41 1.28 1.33 3/215 8411
/proc/meminfo: memFree=18984948/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=10918240 memory=1236792 CPUtime=2520.02 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 391413 12986 0 0 251673 322 5 2 20 0 15 0 47963942 11180277760 309198 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2729560 309198 3532 1 0 2691213 0
[pid=8114/tid=8167] ppid=8111 vsize=10918240 memory=1236792 CPUtime=2450.19 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 99017 12986 0 0 244962 50 5 2 20 0 15 0 47963951 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957510044720 139957115331307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.7 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 13633 12986 0 0 917 46 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.69 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 8353 12986 0 0 920 42 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.69 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 9826 12986 0 0 920 42 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.71 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 11612 12986 0 0 920 44 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10918240 memory=1236792 CPUtime=7.04 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 15570 12986 0 0 659 38 5 2 20 0 15 0 47963953 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10918240 memory=1236792 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 39 12986 0 0 0 0 5 2 20 0 15 0 47963953 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956996469600 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10918240 memory=280502704672400 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 8 12986 0 0 0 0 5 2 20 0 15 0 47963954 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956408280192 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10918240 memory=1236792 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10918240 memory=15872 CPUtime=9.15 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 70826 12986 0 0 901 7 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.69 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) S 8111 8114 6708 0 -1 1077944384 77268 12986 0 0 955 7 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10918240 memory=1236792 CPUtime=4.17 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) S 8111 8114 6708 0 -1 1077944384 80900 12986 0 0 400 10 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956960807792 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10918240 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10918240 memory=1236792 CPUtime=1.52 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 2167 12986 0 0 59 86 5 2 20 0 15 0 47963957 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1236792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.14 s]
# the end of solver process 8114 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.82 s, system=3.26115 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.11 s]
/proc/loadavg: 1.41 1.28 1.33 3/215 8411
/proc/meminfo: memFree=18984948/32770624 swapFree=67108860/67108860
[pid=8114] ppid=8111 vsize=10918240 memory=1236792 CPUtime=2520.02 cores=1,3,5,7
/proc/8114/stat : 8114 (java) S 8111 8114 6708 0 -1 1077944320 391413 12986 0 0 251673 322 5 2 20 0 15 0 47963942 11180277760 309198 33554432000 4194304 4196468 140732152782576 140732152765120 139957538209527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
/proc/8114/statm: 2729560 309198 3532 1 0 2691213 0
[pid=8114/tid=8167] ppid=8111 vsize=10918240 memory=1236792 CPUtime=2450.19 cores=1,3,5,7
/proc/8114/task/8167/stat : 8167 (java) R 8111 8114 6708 0 -1 4202560 99017 12986 0 0 244962 50 5 2 20 0 15 0 47963951 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957510044720 139957115331307 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8168] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.7 cores=1,3,5,7
/proc/8114/task/8168/stat : 8168 (java) S 8111 8114 6708 0 -1 1077944384 13633 12986 0 0 917 46 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957542452112 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8169] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.69 cores=1,3,5,7
/proc/8114/task/8169/stat : 8169 (java) S 8111 8114 6708 0 -1 1077944384 8353 12986 0 0 920 42 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957430725392 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8170] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.69 cores=1,3,5,7
/proc/8114/task/8170/stat : 8170 (java) S 8111 8114 6708 0 -1 1077944384 9826 12986 0 0 920 42 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957429673104 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8171] ppid=8111 vsize=10918240 memory=1236792 CPUtime=9.71 cores=1,3,5,7
/proc/8114/task/8171/stat : 8171 (java) S 8111 8114 6708 0 -1 1077944384 11612 12986 0 0 920 44 5 2 20 0 15 0 47963952 11180277760 309198 33554432000 4194304 4196468 140732152782576 139957428620304 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8172] ppid=8111 vsize=10918240 memory=1236792 CPUtime=7.04 cores=1,3,5,7
/proc/8114/task/8172/stat : 8172 (java) S 8111 8114 6708 0 -1 1077944384 15570 12986 0 0 659 38 5 2 20 0 15 0 47963953 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956997523568 139957538220674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8173] ppid=8111 vsize=10918240 memory=1236792 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8173/stat : 8173 (java) S 8111 8114 6708 0 -1 1077944384 39 12986 0 0 0 0 5 2 20 0 15 0 47963953 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956996469600 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8174] ppid=8111 vsize=10918240 memory=280502704672400 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8174/stat : 8174 (java) S 8111 8114 6708 0 -1 1077944384 8 12986 0 0 0 0 5 2 20 0 15 0 47963954 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956408280192 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8175] ppid=8111 vsize=10918240 memory=1236792 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8175/stat : 8175 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956100880464 139957538228123 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8176] ppid=8111 vsize=10918240 memory=15872 CPUtime=9.15 cores=1,3,5,7
/proc/8114/task/8176/stat : 8176 (java) S 8111 8114 6708 0 -1 1077944384 70826 12986 0 0 901 7 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956962912880 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8177] ppid=8111 vsize=10918240 memory=1234660 CPUtime=9.69 cores=1,3,5,7
/proc/8114/task/8177/stat : 8177 (java) S 8111 8114 6708 0 -1 1077944384 77268 12986 0 0 955 7 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956961860080 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8178] ppid=8111 vsize=10918240 memory=1236792 CPUtime=4.17 cores=1,3,5,7
/proc/8114/task/8178/stat : 8178 (java) S 8111 8114 6708 0 -1 1077944384 80900 12986 0 0 400 10 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956960807792 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8179] ppid=8111 vsize=10918240 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/8114/task/8179/stat : 8179 (java) S 8111 8114 6708 0 -1 1077944384 3 12986 0 0 0 0 5 2 20 0 15 0 47963956 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956067322848 139957538219733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
[pid=8114/tid=8180] ppid=8111 vsize=10918240 memory=1236792 CPUtime=1.52 cores=1,3,5,7
/proc/8114/task/8180/stat : 8180 (java) S 8111 8114 6708 0 -1 1077944384 2167 12986 0 0 59 86 5 2 20 0 15 0 47963957 11180277760 309198 33554432000 4194304 4196468 140732152782576 139956959754672 139957538220674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30691328 140732152789163 140732152792412 140732152792412 140732152795087 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1236792 KiB
Child status: 143
Real time (s): 2470.14
CPU time (s): 2520.08
CPU user time (s): 2516.82
CPU system time (s): 3.26115
CPU usage (%): 102.022
Max. virtual memory (cumulated for all children) (KiB): 10919028
Max. memory (cumulated for all children) (KiB): 1490924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.82
system time used= 3.26115
maximum resident set size= 1492980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404863
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199346
involuntary context switches= 7064
# summary of solver processes directly reported to runsolver:
# pid: 8114
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.82
# total CPU system time (s): 3.26115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8623 second user time and 22.2009 second system time
The end