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 (13963 MiB free)
memory of node 1: 16384 MiB (8324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258270-1502639685/watcher-4258270-1502639685 -o /tmp/evaluation-result-4258270-1502639685/solver-4258270-1502639685 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258270-1502639685.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18192, runsolver pid=18189
[startup+0.109507 s]*
/proc/loadavg: 4.72 5.00 4.50 4/217 18207
/proc/meminfo: memFree=22805352/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10555400 memory=29580 CPUtime=0.14 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 6980 0 0 0 12 2 0 0 20 0 15 0 97049570 10808729600 7395 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2638850 7395 2836 1 0 2627263 0
[pid=18192/tid=18194] ppid=18189 vsize=10555400 memory=-7254954386087372155 CPUtime=0.1 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) R 18189 18192 6338 0 -1 4202560 4764 0 0 0 9 1 0 0 20 0 15 0 97049570 10808729600 7395 33554432000 4194304 4196468 140729893770688 139808536850784 139808532639126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10555400 memory=5793854913907009977 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 7395 33554432000 4194304 4196468 140729893770688 139808502340752 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10555400 memory=139662897116800 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18189 18192 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 7395 33554432000 4194304 4196468 140729893770688 139808137939984 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 7395 33554432000 4194304 4196468 140729893770688 139808136887184 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 7395 33554432000 4194304 4196468 140729893770688 139808135834384 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049572 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807890049392 139808532638338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97049573 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807888995360 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97049573 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807887942512 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807886890832 139808532645787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18189 18192 6338 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807885839216 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18189 18192 6338 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807884786416 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10555400 memory=139662897116800 CPUtime=0.02 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) R 18189 18192 6338 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 15 0 97049576 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807883733616 139808512581637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10555400 memory=139662897116800 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 7395 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29580 KiB
[startup+0.210499 s]*
/proc/loadavg: 4.72 5.00 4.50 4/217 18207
/proc/meminfo: memFree=22797404/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10555400 memory=38352 CPUtime=0.3 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 8330 0 0 0 28 2 0 0 20 0 15 0 97049570 10808729600 9588 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2638850 9588 2918 1 0 2627263 0
[pid=18192/tid=18194] ppid=18189 vsize=10555400 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) R 18189 18192 6338 0 -1 4202560 5290 0 0 0 18 1 0 0 20 0 15 0 97049570 10808729600 9588 33554432000 4194304 4196468 140729893770688 139808536836960 139808516707678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10555400 memory=4211973389101907338 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 9588 33554432000 4194304 4196468 140729893770688 139808502340752 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10555400 memory=139662897116800 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18189 18192 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 9588 33554432000 4194304 4196468 140729893770688 139808137939984 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 9588 33554432000 4194304 4196468 140729893770688 139808136887184 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808729600 9588 33554432000 4194304 4196468 140729893770688 139808135834384 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10555400 memory=139662897116800 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049572 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807890049392 139808532638338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97049573 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807888995360 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97049573 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807887942512 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807886890832 139808532645787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18189 18192 6338 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 15 0 97049576 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807885839216 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18189 18192 6338 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 97049576 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807884786416 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10555400 memory=139662897116800 CPUtime=0.06 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) S 18189 18192 6338 0 -1 1077944384 947 0 0 0 6 0 0 0 20 0 15 0 97049576 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807883733616 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10555400 memory=139662897116800 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97049576 10808729600 9588 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38352 KiB
[startup+0.311262 s]*
/proc/loadavg: 4.72 5.00 4.50 3/217 18207
/proc/meminfo: memFree=22790424/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10555476 memory=45976 CPUtime=0.51 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 9221 0 0 0 48 3 0 0 20 0 15 0 97049570 10808807424 11494 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2638869 11494 3026 1 0 2627263 0
[pid=18192/tid=18194] ppid=18189 vsize=10555476 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) R 18189 18192 6338 0 -1 4202560 5782 0 0 0 28 1 0 0 20 0 15 0 97049570 10808807424 11494 33554432000 4194304 4196468 140729893770688 139808536861600 139808516670821 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10555476 memory=4211973389101907338 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808807424 11494 33554432000 4194304 4196468 140729893770688 139808502340752 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10555476 memory=139662897119157 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18189 18192 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97049571 10808807424 11494 33554432000 4194304 4196468 140729893770688 139808137939984 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10555476 memory=139662740013778 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808807424 11494 33554432000 4194304 4196468 140729893770688 139808136887184 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10555476 memory=139662740016591 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049571 10808807424 11494 33554432000 4194304 4196468 140729893770688 139808135834384 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10555476 memory=139662897123165 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18189 18192 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97049572 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807890049392 139808532638338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10555476 memory=139662740025775 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807888995360 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10555476 memory=279325480042384 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807887942512 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10555476 memory=279325480040080 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807886890832 139808532645787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18189 18192 6338 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 15 0 97049576 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807885839216 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10555476 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18189 18192 6338 0 -1 1077944384 449 0 0 0 3 0 0 0 20 0 15 0 97049576 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807884786416 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10555476 memory=139662897116800 CPUtime=0.12 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) R 18189 18192 6338 0 -1 4202560 1145 0 0 0 12 0 0 0 20 0 15 0 97049576 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807883733616 139808532648538 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10555476 memory=139662897116800 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 11494 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 45976 KiB
[startup+0.701541 s]
/proc/loadavg: 4.72 5.00 4.50 6/217 18207
/proc/meminfo: memFree=22639124/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10555476 memory=354900 CPUtime=1.53 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 11224 0 0 0 136 17 0 0 20 0 15 0 97049570 10808807424 88725 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2638869 88725 3102 1 0 2627263 0
[pid=18192/tid=18194] ppid=18189 vsize=10555476 memory=1952 CPUtime=0.59 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) R 18189 18192 6338 0 -1 4202560 6126 0 0 0 54 5 0 0 20 0 15 0 97049570 10808807424 88725 33554432000 4194304 4196468 140729893770688 139808536831968 139808168561453 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10555476 memory=5796 CPUtime=0.06 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18189 18192 6338 0 -1 1077944384 122 0 0 0 4 2 0 0 20 0 15 0 97049571 10808807424 88725 33554432000 4194304 4196468 140729893770688 139808502340752 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10555476 memory=4616 CPUtime=0.06 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18189 18192 6338 0 -1 1077944384 110 0 0 0 4 2 0 0 20 0 15 0 97049571 10808807424 88725 33554432000 4194304 4196468 140729893770688 139808137939984 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10555476 memory=7523356985603351872 CPUtime=0.07 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18189 18192 6338 0 -1 1077944384 111 0 0 0 5 2 0 0 20 0 15 0 97049571 10808807424 88725 33554432000 4194304 4196468 140729893770688 139808136887184 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10555476 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18189 18192 6338 0 -1 1077944384 119 0 0 0 5 2 0 0 20 0 15 0 97049571 10808807424 88725 33554432000 4194304 4196468 140729893770688 139808135834384 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10555476 memory=7440066780423278672 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18189 18192 6338 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 97049572 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807890049392 139808532638338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807888995360 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807887942512 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807886890832 139808532645787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10555476 memory=72 CPUtime=0.18 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) R 18189 18192 6338 0 -1 4202560 991 0 0 0 18 0 0 0 20 0 15 0 97049576 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807885828816 139808514152047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10555476 memory=3 CPUtime=0.17 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) R 18189 18192 6338 0 -1 4202560 647 0 0 0 17 0 0 0 20 0 15 0 97049576 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807884773616 139808512281057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10555476 memory=6080 CPUtime=0.25 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) R 18189 18192 6338 0 -1 4202560 1428 0 0 0 25 0 0 0 20 0 15 0 97049576 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807883730352 139808525727038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10555476 memory=279325480226288 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 88725 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 354900 KiB
[startup+1.5008 s]
/proc/loadavg: 4.72 5.00 4.50 3/217 18207
/proc/meminfo: memFree=22476036/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10555476 memory=495928 CPUtime=3.27 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 12795 0 0 0 292 35 0 0 20 0 15 0 97049570 10808807424 123982 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2638869 123982 3111 1 0 2627263 0
[pid=18192/tid=18194] ppid=18189 vsize=10555476 memory=0 CPUtime=1.22 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) R 18189 18192 6338 0 -1 4202560 6145 0 0 0 117 5 0 0 20 0 15 0 97049570 10808807424 123982 33554432000 4194304 4196468 140729893770688 139808536860736 139808514276276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10555476 memory=-6940707314043347300 CPUtime=0.21 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18189 18192 6338 0 -1 1077944384 253 0 0 0 15 6 0 0 20 0 15 0 97049571 10808807424 123982 33554432000 4194304 4196468 140729893770688 139808502340752 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10555476 memory=-6583839696183762729 CPUtime=0.22 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18189 18192 6338 0 -1 1077944384 235 0 0 0 16 6 0 0 20 0 15 0 97049571 10808807424 123982 33554432000 4194304 4196468 140729893770688 139808137939984 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10555476 memory=-1161699032755887712 CPUtime=0.23 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18189 18192 6338 0 -1 1077944384 250 0 0 0 16 7 0 0 20 0 15 0 97049571 10808807424 123982 33554432000 4194304 4196468 140729893770688 139808136887184 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10555476 memory=-6305713884474598784 CPUtime=0.23 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18189 18192 6338 0 -1 1077944384 244 0 0 0 17 6 0 0 20 0 15 0 97049571 10808807424 123982 33554432000 4194304 4196468 140729893770688 139808135834384 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10555476 memory=-6305711724122236032 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18189 18192 6338 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 97049572 10808807424 123982 33554432000 4194304 4196468 140729893770688 139807890049392 139808532638338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
################
# More data... #
################
[startup+84.8511 s]
# the end of solver process 18192 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.713 s, system=6.05717 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.2007 s]
/proc/loadavg: 4.31 4.80 4.47 5/196 18257
/proc/meminfo: memFree=20852024/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10555476 memory=8039460 CPUtime=253.08 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 221624 0 0 0 24707 601 0 0 20 0 15 0 97049570 10808807424 2009865 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2638869 2009865 3140 1 0 2627263 0
[pid=18192/tid=18194] ppid=18189 vsize=10555476 memory=8039460 CPUtime=13.8 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) S 18189 18192 6338 0 -1 1077944384 15087 0 0 0 1367 13 0 0 20 0 15 0 97049570 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808536860000 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10555476 memory=4096 CPUtime=55.82 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18189 18192 6338 0 -1 1077944384 36790 0 0 0 5446 136 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808502340752 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10555476 memory=28520 CPUtime=55.97 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18189 18192 6338 0 -1 1077944384 28999 0 0 0 5449 148 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808137939984 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10555476 memory=6791534058613427641 CPUtime=56.19 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18189 18192 6338 0 -1 1077944384 67958 0 0 0 5478 141 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808136887184 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10555476 memory=4 CPUtime=55.72 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18189 18192 6338 0 -1 1077944384 25832 0 0 0 5417 155 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808135834384 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10555476 memory=136 CPUtime=12.69 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) R 18189 18192 6338 0 -1 4202560 24924 0 0 0 1268 1 0 0 20 0 15 0 97049572 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807890047936 139808517327795 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10555476 memory=8039448 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807888995424 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10555476 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807887942528 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10555476 memory=8039292 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807886890480 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10555476 memory=6791534058613427641 CPUtime=1.36 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18189 18192 6338 0 -1 1077944384 10979 0 0 0 135 1 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807885839264 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10555476 memory=-7003737579269690708 CPUtime=1.04 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18189 18192 6338 0 -1 1077944384 5534 0 0 0 103 1 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807884786464 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10555476 memory=12064 CPUtime=0.35 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) S 18189 18192 6338 0 -1 1077944384 3896 0 0 0 35 0 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807883733376 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10555476 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10555476 memory=28520 CPUtime=0.04 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 234 0 0 0 3 1 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 253.08 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8039460 KiB
[startup+84.0007 s]*
/proc/loadavg: 4.12 4.75 4.45 6/216 18286
/proc/meminfo: memFree=20609084/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10555476 memory=8039460 CPUtime=253.89 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 221624 0 0 0 24788 601 0 0 20 0 15 0 97049570 10808807424 2009865 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2638869 2009865 3140 1 0 2627263 0
[pid=18192/tid=18194] ppid=18189 vsize=10555476 memory=6735269665583770266 CPUtime=13.8 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) S 18189 18192 6338 0 -1 1077944384 15087 0 0 0 1367 13 0 0 20 0 15 0 97049570 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808536860000 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10555476 memory=4211973389101907338 CPUtime=55.82 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) S 18189 18192 6338 0 -1 1077944384 36790 0 0 0 5446 136 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808502340752 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10555476 memory=3184237582973085360 CPUtime=55.97 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) S 18189 18192 6338 0 -1 1077944384 28999 0 0 0 5449 148 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808137939984 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10555476 memory=-4695052241013923951 CPUtime=56.19 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) S 18189 18192 6338 0 -1 1077944384 67958 0 0 0 5478 141 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808136887184 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10555476 memory=-7234893599321763111 CPUtime=55.72 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) S 18189 18192 6338 0 -1 1077944384 25832 0 0 0 5417 155 0 0 20 0 15 0 97049571 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139808135834384 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10555476 memory=0 CPUtime=13.5 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) R 18189 18192 6338 0 -1 4202560 24924 0 0 0 1349 1 0 0 20 0 15 0 97049572 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807890047824 139808517623601 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10555476 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807888995424 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10555476 memory=7372784292774569831 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 97049573 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807887942528 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10555476 memory=7450732124550228071 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807886890480 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10555476 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18189 18192 6338 0 -1 1077944384 10979 0 0 0 135 1 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807885839264 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10555476 memory=43984 CPUtime=1.04 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18189 18192 6338 0 -1 1077944384 5534 0 0 0 103 1 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807884786464 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10555476 memory=139662897116800 CPUtime=0.35 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) S 18189 18192 6338 0 -1 1077944384 3896 0 0 0 35 0 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807883733376 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10555476 memory=39376 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10555476 memory=139662897116800 CPUtime=0.05 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 15 0 97049576 10808807424 2009865 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 253.89 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8039460 KiB
[startup+84.4015 s]
/proc/loadavg: 4.12 4.75 4.45 6/216 18286
/proc/meminfo: memFree=20609084/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10755168 memory=8039492 CPUtime=255.08 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 221754 0 0 0 24907 601 0 0 20 0 17 0 97049570 11013292032 2009873 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2688792 2009873 3142 1 0 2677186 0
[pid=18192/tid=18194] ppid=18189 vsize=10755168 memory=1584 CPUtime=13.88 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) S 18189 18192 6338 0 -1 1077944384 15087 0 0 0 1375 13 0 0 20 0 17 0 97049570 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808536860000 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10755168 memory=2196 CPUtime=56.08 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) R 18189 18192 6338 0 -1 4202560 36790 0 0 0 5472 136 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808502340640 139808517324977 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10755168 memory=6508 CPUtime=56.24 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) R 18189 18192 6338 0 -1 4202560 28999 0 0 0 5476 148 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808137940184 139808517324966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10755168 memory=840 CPUtime=56.45 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) R 18189 18192 6338 0 -1 4202560 67958 0 0 0 5504 141 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808136887384 139808517324943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10755168 memory=8039448 CPUtime=55.98 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) R 18189 18192 6338 0 -1 4202560 25837 0 0 0 5443 155 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808135834584 139808517578318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10755168 memory=13849 CPUtime=13.55 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18189 18192 6338 0 -1 1077944384 24924 0 0 0 1354 1 0 0 20 0 17 0 97049572 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807890047712 139808532637397 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10755168 memory=24875 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 97049573 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807888995424 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10755168 memory=8717776979713 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 97049573 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807887942528 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10755168 memory=9993382266625 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807886890832 139808532645787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10755168 memory=10092166514433 CPUtime=1.36 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18189 18192 6338 0 -1 1077944384 10979 0 0 0 135 1 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807885839216 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10755168 memory=10126526252801 CPUtime=1.04 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18189 18192 6338 0 -1 1077944384 5534 0 0 0 103 1 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807884786416 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10755168 memory=29398044510698 CPUtime=0.35 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) S 18189 18192 6338 0 -1 1077944384 3896 0 0 0 35 0 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807883733616 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10755168 memory=29509713660394 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10755168 memory=279325480454368 CPUtime=0.05 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 255.08 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 8039492 KiB
[startup+84.8015 s]
/proc/loadavg: 4.12 4.75 4.45 6/216 18286
/proc/meminfo: memFree=20609084/32770624 swapFree=67108860/67108860
[pid=18192] ppid=18189 vsize=10755168 memory=8039492 CPUtime=256.67 cores=0,2,4,6
/proc/18192/stat : 18192 (java) S 18189 18192 6338 0 -1 1077944320 221754 0 0 0 25066 601 0 0 20 0 17 0 97049570 11013292032 2009873 33554432000 4194304 4196468 140729893770688 140729893753232 139808532627191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
/proc/18192/statm: 2688792 2009873 3142 1 0 2677186 0
[pid=18192/tid=18194] ppid=18189 vsize=10755168 memory=1440 CPUtime=13.88 cores=0,2,4,6
/proc/18192/task/18194/stat : 18194 (java) S 18189 18192 6338 0 -1 1077944384 15087 0 0 0 1375 13 0 0 20 0 17 0 97049570 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808536860000 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18195] ppid=18189 vsize=10755168 memory=6791534058613427641 CPUtime=56.48 cores=0,2,4,6
/proc/18192/task/18195/stat : 18195 (java) R 18189 18192 6338 0 -1 4202560 36790 0 0 0 5512 136 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808502340640 139808517612432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18196] ppid=18189 vsize=10755168 memory=8679811306300824452 CPUtime=56.64 cores=0,2,4,6
/proc/18192/task/18196/stat : 18196 (java) R 18189 18192 6338 0 -1 4202560 28999 0 0 0 5516 148 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808137940184 139808517324966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18197] ppid=18189 vsize=10755168 memory=7589560661872780000 CPUtime=56.85 cores=0,2,4,6
/proc/18192/task/18197/stat : 18197 (java) R 18189 18192 6338 0 -1 4202560 67958 0 0 0 5544 141 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808136887384 139808517324966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18198] ppid=18189 vsize=10755168 memory=279325480338288 CPUtime=56.38 cores=0,2,4,6
/proc/18192/task/18198/stat : 18198 (java) R 18189 18192 6338 0 -1 4202560 25837 0 0 0 5483 155 0 0 20 0 17 0 97049571 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139808135834584 139808517324801 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18199] ppid=18189 vsize=10755168 memory=279325480343600 CPUtime=13.55 cores=0,2,4,6
/proc/18192/task/18199/stat : 18199 (java) S 18189 18192 6338 0 -1 1077944384 24924 0 0 0 1354 1 0 0 20 0 17 0 97049572 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807890047712 139808532637397 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18200] ppid=18189 vsize=10755168 memory=3905947149799369737 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18200/stat : 18200 (java) S 18189 18192 6338 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 97049573 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807888995424 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18201] ppid=18189 vsize=10755168 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18201/stat : 18201 (java) S 18189 18192 6338 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 97049573 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807887942528 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18202] ppid=18189 vsize=10755168 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18202/stat : 18202 (java) S 18189 18192 6338 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807886890832 139808532645787 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18203] ppid=18189 vsize=10755168 memory=8039448 CPUtime=1.36 cores=0,2,4,6
/proc/18192/task/18203/stat : 18203 (java) S 18189 18192 6338 0 -1 1077944384 10979 0 0 0 135 1 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807885839216 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18204] ppid=18189 vsize=10755168 memory=8039448 CPUtime=1.04 cores=0,2,4,6
/proc/18192/task/18204/stat : 18204 (java) S 18189 18192 6338 0 -1 1077944384 5534 0 0 0 103 1 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807884786416 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18205] ppid=18189 vsize=10755168 memory=1236 CPUtime=0.35 cores=0,2,4,6
/proc/18192/task/18205/stat : 18205 (java) S 18189 18192 6338 0 -1 1077944384 3896 0 0 0 35 0 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807883733616 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18206] ppid=18189 vsize=10755168 memory=960 CPUtime=0 cores=0,2,4,6
/proc/18192/task/18206/stat : 18206 (java) S 18189 18192 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807882681056 139808532637397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
[pid=18192/tid=18207] ppid=18189 vsize=10755168 memory=2240 CPUtime=0.05 cores=0,2,4,6
/proc/18192/task/18207/stat : 18207 (java) S 18189 18192 6338 0 -1 1077944384 234 0 0 0 3 2 0 0 20 0 17 0 97049576 11013292032 2009873 33554432000 4194304 4196468 140729893770688 139807881628336 139808532638338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10756096 140729893774475 140729893774628 140729893774628 140729893777359 0
Current children cumulated CPU time: 256.67 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 8039492 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 84.8511
CPU time (s): 256.77
CPU user time (s): 250.713
CPU system time (s): 6.05717
CPU usage (%): 302.613
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 8039492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.713
system time used= 6.05717
maximum resident set size= 8040136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6026
involuntary context switches= 2158
# summary of solver processes directly reported to runsolver:
# pid: 18192
# total CPU time (s): 256.77
# total CPU user time (s): 250.713
# total CPU system time (s): 6.05717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.526828 second user time and 0.865568 second system time
The end