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 (5837 MiB free)
memory of node 1: 16384 MiB (14254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258240-1502638472/watcher-4258240-1502638472 -o /tmp/evaluation-result-4258240-1502638472/solver-4258240-1502638472 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15761 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258240-1502638472.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16041, runsolver pid=16038
[startup+0.100076 s]*
/proc/loadavg: 5.17 4.01 3.17 8/216 16056
/proc/meminfo: memFree=20553472/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10555400 memory=31072 CPUtime=0.13 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 6382 0 0 0 12 1 0 0 20 0 15 0 96928218 10808729600 7768 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2638850 7768 2791 1 0 2627263 0
[pid=16041/tid=16043] ppid=16038 vsize=10555400 memory=-7254954386087372155 CPUtime=0.09 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) R 16038 16041 6338 0 -1 4202560 4228 0 0 0 8 1 0 0 20 0 15 0 96928219 10808729600 7768 33554432000 4194304 4196468 140724773268976 139674507183952 139674502980186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555400 memory=5793855663699618233 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 7768 33554432000 4194304 4196468 140724773268976 139674429033488 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555400 memory=140412689725056 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 7768 33554432000 4194304 4196468 140724773268976 139674427980944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 7768 33554432000 4194304 4196468 140724773268976 139674426927888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) S 16038 16041 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 7768 33554432000 4194304 4196468 140724773268976 139674425875344 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928221 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673994213616 139674502969986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96928221 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673993159840 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928222 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673992106736 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673990003440 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673988950896 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10555400 memory=140412689725056 CPUtime=0.02 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) S 16038 16041 6338 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 96928224 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673987897840 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10555400 memory=140412689725056 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 7768 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31072 KiB
[startup+0.210594 s]*
/proc/loadavg: 5.17 4.01 3.17 6/216 16056
/proc/meminfo: memFree=20545108/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10555400 memory=39608 CPUtime=0.31 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 7703 0 0 0 30 1 0 0 20 0 15 0 96928218 10808729600 9902 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2638850 9902 2958 1 0 2627263 0
[pid=16041/tid=16043] ppid=16038 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) R 16038 16041 6338 0 -1 4202560 4771 0 0 0 19 1 0 0 20 0 15 0 96928219 10808729600 9902 33554432000 4194304 4196468 140724773268976 139674507191040 139674502970774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555400 memory=4211974138894515594 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 9902 33554432000 4194304 4196468 140724773268976 139674429033488 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555400 memory=140412689725056 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 9902 33554432000 4194304 4196468 140724773268976 139674427980944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 9902 33554432000 4194304 4196468 140724773268976 139674426927888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) S 16038 16041 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928220 10808729600 9902 33554432000 4194304 4196468 140724773268976 139674425875344 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555400 memory=140412689725056 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928221 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673994213616 139674502969986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96928221 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673993159840 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928222 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673992106736 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10555400 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 96928224 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673990003440 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10555400 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 96928224 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673988950896 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10555400 memory=140412689725056 CPUtime=0.06 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) S 16038 16041 6338 0 -1 1077944384 780 0 0 0 6 0 0 0 20 0 15 0 96928224 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673987897840 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10555400 memory=140412689725056 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928224 10808729600 9902 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39608 KiB
[startup+0.310778 s]*
/proc/loadavg: 5.17 4.01 3.17 8/216 16056
/proc/meminfo: memFree=20538780/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10555476 memory=46200 CPUtime=0.53 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 8321 0 0 0 51 2 0 0 20 0 15 0 96928218 10808807424 11550 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2638869 11550 3006 1 0 2627263 0
[pid=16041/tid=16043] ppid=16038 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) R 16038 16041 6338 0 -1 4202560 5192 0 0 0 28 2 0 0 20 0 15 0 96928219 10808807424 11550 33554432000 4194304 4196468 140724773268976 139674507197968 139674487002469 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555476 memory=4211974138894515594 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808807424 11550 33554432000 4194304 4196468 140724773268976 139674429033488 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555476 memory=140412689727413 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808807424 11550 33554432000 4194304 4196468 140724773268976 139674427980944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555476 memory=140412547351250 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928220 10808807424 11550 33554432000 4194304 4196468 140724773268976 139674426927888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555476 memory=140412547354063 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) S 16038 16041 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928220 10808807424 11550 33554432000 4194304 4196468 140724773268976 139674425875344 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555476 memory=140412689731421 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673994213616 139674502969986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10555476 memory=140412547363247 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673993159840 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10555476 memory=280825094717328 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928222 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673992106736 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10555476 memory=280825094715024 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 461 0 0 0 4 0 0 0 20 0 15 0 96928224 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673990003440 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10555476 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 423 0 0 0 4 0 0 0 20 0 15 0 96928224 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673988950896 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10555476 memory=140412689725056 CPUtime=0.13 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) R 16038 16041 6338 0 -1 4202560 881 0 0 0 13 0 0 0 20 0 15 0 96928224 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673987897840 139674502970774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10555476 memory=140412689725056 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 11550 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46200 KiB
[startup+0.700815 s]
/proc/loadavg: 5.17 4.01 3.17 8/216 16056
/proc/meminfo: memFree=20421244/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10555476 memory=357264 CPUtime=1.63 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 10717 0 0 0 147 16 0 0 20 0 15 0 96928218 10808807424 89316 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2638869 89316 3102 1 0 2627263 0
[pid=16041/tid=16043] ppid=16038 vsize=10555476 memory=1952 CPUtime=0.58 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) R 16038 16041 6338 0 -1 4202560 5412 0 0 0 53 5 0 0 20 0 15 0 96928219 10808807424 89316 33554432000 4194304 4196468 140724773268976 139674507195504 139674489026958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555476 memory=5796 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) S 16038 16041 6338 0 -1 1077944384 123 0 0 0 6 2 0 0 20 0 15 0 96928220 10808807424 89316 33554432000 4194304 4196468 140724773268976 139674429033488 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555476 memory=4616 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) S 16038 16041 6338 0 -1 1077944384 128 0 0 0 6 2 0 0 20 0 15 0 96928220 10808807424 89316 33554432000 4194304 4196468 140724773268976 139674427980944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555476 memory=7523356985603351872 CPUtime=0.09 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) S 16038 16041 6338 0 -1 1077944384 120 0 0 0 7 2 0 0 20 0 15 0 96928220 10808807424 89316 33554432000 4194304 4196468 140724773268976 139674426927888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555476 memory=7881696724453321575 CPUtime=0.08 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) S 16038 16041 6338 0 -1 1077944384 118 0 0 0 6 2 0 0 20 0 15 0 96928220 10808807424 89828 33554432000 4194304 4196468 140724773268976 139674425875344 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555476 memory=7368009186385350736 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673994213616 139674502969986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673993159840 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96928222 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673992106736 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10555476 memory=72 CPUtime=0.21 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 1251 0 0 0 21 0 0 0 20 0 15 0 96928224 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673990003440 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10555476 memory=3 CPUtime=0.21 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 899 0 0 0 21 0 0 0 20 0 15 0 96928224 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673988950896 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10555476 memory=6069 CPUtime=0.23 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) S 16038 16041 6338 0 -1 1077944384 1222 0 0 0 23 0 0 0 20 0 15 0 96928224 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673987897840 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10555476 memory=280825094901232 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 89828 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 357264 KiB
[startup+1.50513 s]
/proc/loadavg: 5.17 4.01 3.17 9/216 16056
/proc/meminfo: memFree=19862332/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10555476 memory=1361676 CPUtime=3.31 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 13553 0 0 0 278 53 0 0 20 0 15 0 96928218 10808807424 340419 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2638869 340419 3104 1 0 2627263 0
[pid=16041/tid=16043] ppid=16038 vsize=10555476 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) S 16038 16041 6338 0 -1 1077944384 6285 0 0 0 93 15 0 0 20 0 15 0 96928219 10808807424 340419 33554432000 4194304 4196468 140724773268976 139674507195840 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555476 memory=-6292470442678706790 CPUtime=0.38 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) R 16038 16041 6338 0 -1 4202560 594 0 0 0 29 9 0 0 20 0 15 0 96928220 10808807424 340419 33554432000 4194304 4196468 140724773268976 139674429033488 139674487980960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555476 memory=-5935602824819121961 CPUtime=0.37 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) R 16038 16041 6338 0 -1 4202560 657 0 0 0 29 8 0 0 20 0 15 0 96928220 10808807424 340419 33554432000 4194304 4196468 140724773268976 139674427981144 139674487980757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555476 memory=-1161699032755887712 CPUtime=0.38 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) R 16038 16041 6338 0 -1 4202560 360 0 0 0 29 9 0 0 20 0 15 0 96928220 10808807424 340419 33554432000 4194304 4196468 140724773268976 139674426928088 139674482154006 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555476 memory=-6305713888769566080 CPUtime=0.37 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) R 16038 16041 6338 0 -1 4202560 402 0 0 0 28 9 0 0 20 0 15 0 96928220 10808807424 340419 33554432000 4194304 4196468 140724773268976 139674425875344 139674487986146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555476 memory=-6305719381897995392 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 340419 33554432000 4194304 4196468 140724773268976 139673994212128 139674502969045 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
################
# More data... #
################
/proc/16041/task/16043/stat : 16043 (java) R 16038 16041 6338 0 -1 4202560 14265 0 0 0 718 30 0 0 20 0 15 0 96928219 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139674507192480 139674101644662 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555476 memory=3870108 CPUtime=13.24 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) S 16038 16041 6338 0 -1 1077944384 37897 0 0 0 1255 69 0 0 20 0 15 0 96928220 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139674429033488 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555476 memory=306 CPUtime=13.38 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) S 16038 16041 6338 0 -1 1077944384 26989 0 0 0 1273 65 0 0 20 0 15 0 96928220 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139674427980944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555476 memory=0 CPUtime=13.31 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) S 16038 16041 6338 0 -1 1077944384 37513 0 0 0 1263 68 0 0 20 0 15 0 96928220 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139674426927888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555476 memory=0 CPUtime=13.2 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) S 16038 16041 6338 0 -1 1077944384 35359 0 0 0 1252 68 0 0 20 0 15 0 96928220 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139674425875344 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555476 memory=56 CPUtime=4.54 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 15040 0 0 0 454 0 0 0 20 0 15 0 96928221 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673994213616 139674502969986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10555476 memory=-7674914008656224160 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673993159904 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10555476 memory=4659560 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 96928222 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673992106752 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10555476 memory=4659560 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10555476 memory=4618232 CPUtime=0.52 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 3097 0 0 0 52 0 0 0 20 0 15 0 96928224 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673990003440 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10555476 memory=280825095496896 CPUtime=0.5 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 2498 0 0 0 50 0 0 0 20 0 15 0 96928224 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673988950896 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10555476 memory=7307184289356141162 CPUtime=0.27 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) S 16038 16041 6338 0 -1 1077944384 1630 0 0 0 27 0 0 0 20 0 15 0 96928224 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673987897840 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10555476 memory=4639930699739322730 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10555476 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 96928224 10808807424 1165942 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 66.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 4663768 KiB
[startup+51.1111 s]
/proc/loadavg: 5.62 4.28 3.30 9/216 16131
/proc/meminfo: memFree=15205344/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10555476 memory=7353148 CPUtime=145.93 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 298689 0 0 0 14059 534 0 0 20 0 15 0 96928218 10808807424 1838287 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2638869 1838287 3135 1 0 2627263 0
[pid=16041/tid=16043] ppid=16038 vsize=10555476 memory=7353148 CPUtime=12.5 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) S 16038 16041 6338 0 -1 1077944384 19933 0 0 0 1219 31 0 0 20 0 15 0 96928219 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139674507192480 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555476 memory=6191864 CPUtime=31.28 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) R 16038 16041 6338 0 -1 4202560 70683 0 0 0 3005 123 0 0 20 0 15 0 96928220 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139674429033608 139674487659849 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555476 memory=4096 CPUtime=31.4 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) R 16038 16041 6338 0 -1 4202560 78839 0 0 0 3021 119 0 0 20 0 15 0 96928220 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139674427981144 139674487955348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555476 memory=28496 CPUtime=31.34 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) R 16038 16041 6338 0 -1 4202560 51067 0 0 0 3010 124 0 0 20 0 15 0 96928220 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139674426928088 139674487659472 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555476 memory=7353148 CPUtime=31.02 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) R 16038 16041 6338 0 -1 4202560 46938 0 0 0 2972 130 0 0 20 0 15 0 96928220 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139674425875464 139674487659472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555476 memory=4096 CPUtime=6.9 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 20889 0 0 0 689 1 0 0 20 0 15 0 96928221 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673994212160 139674502969045 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10555476 memory=5774016 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673993159904 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10555476 memory=5768200 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 96928222 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673992106752 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10555476 memory=6734588 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10555476 memory=28496 CPUtime=0.55 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 3725 0 0 0 55 0 0 0 20 0 15 0 96928224 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673990003200 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10555476 memory=280825095014032 CPUtime=0.53 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 3030 0 0 0 53 0 0 0 20 0 15 0 96928224 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673988950944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10555476 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) S 16038 16041 6338 0 -1 1077944384 1781 0 0 0 27 0 0 0 20 0 15 0 96928224 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673987897888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10555476 memory=6757140 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10555476 memory=288230621803970871 CPUtime=0.01 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 96928224 10808807424 1838287 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 145.93 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 7353148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+84.6012 s]
/proc/loadavg: 5.95 4.50 3.41 9/216 16132
/proc/meminfo: memFree=12483628/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10555476 memory=8302740 CPUtime=252.07 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 317995 0 0 0 24635 572 0 0 20 0 15 0 96928218 10808807424 2075685 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2638869 2075685 3135 1 0 2627263 0
[pid=16041/tid=16043] ppid=16038 vsize=10555476 memory=6944656592455350634 CPUtime=16.03 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) R 16038 16041 6338 0 -1 4202560 20575 0 0 0 1572 31 0 0 20 0 15 0 96928219 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139674507192416 139674098411418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10555476 memory=6655300316396806240 CPUtime=55.95 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) S 16038 16041 6338 0 -1 1077944384 77090 0 0 0 5466 129 0 0 20 0 15 0 96928220 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139674429033488 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10555476 memory=7373914762459506028 CPUtime=55.43 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) S 16038 16041 6338 0 -1 1077944384 79822 0 0 0 5407 136 0 0 20 0 15 0 96928220 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139674427980944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10555476 memory=7235425792595159144 CPUtime=55.59 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) S 16038 16041 6338 0 -1 1077944384 51738 0 0 0 5424 135 0 0 20 0 15 0 96928220 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139674426927888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10555476 memory=7595998441925667948 CPUtime=55.52 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) S 16038 16041 6338 0 -1 1077944384 49376 0 0 0 5418 134 0 0 20 0 15 0 96928220 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139674425875344 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10555476 memory=-8412654364556758899 CPUtime=12.07 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 28972 0 0 0 1205 2 0 0 20 0 15 0 96928221 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673994213616 139674502969986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10555476 memory=6227746475584612968 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 96928221 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673993159904 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10555476 memory=6227746475584612968 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 96928222 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673992106752 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10555476 memory=7882546625416353903 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10555476 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 3731 0 0 0 55 0 0 0 20 0 15 0 96928224 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673990003440 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10555476 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 3041 0 0 0 53 0 0 0 20 0 15 0 96928224 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673988950896 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10555476 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) S 16038 16041 6338 0 -1 1077944384 1822 0 0 0 27 0 0 0 20 0 15 0 96928224 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673987897840 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96928224 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10555476 memory=56 CPUtime=0.03 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 371 0 0 0 2 1 0 0 20 0 15 0 96928224 10808807424 2075685 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8302740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+84.8532 s]
# the end of solver process 16041 was just reported to runsolver
# cumulated CPU time of all completed processes: user=246.569 s, system=5.76566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+84.8007 s]
/proc/loadavg: 5.95 4.50 3.41 9/216 16132
/proc/meminfo: memFree=12483628/32770624 swapFree=67108860/67108860
[pid=16041] ppid=16038 vsize=10755168 memory=8302780 CPUtime=252.27 cores=1,3,5,7
/proc/16041/stat : 16041 (java) S 16038 16041 6338 0 -1 1077944320 318250 0 0 0 24655 572 0 0 20 0 17 0 96928218 11013292032 2075695 33554432000 4194304 4196468 140724773268976 140724773251520 139674502958839 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
/proc/16041/statm: 2688792 2075695 3137 1 0 2677186 0
[pid=16041/tid=16043] ppid=16038 vsize=10755168 memory=27 CPUtime=16.23 cores=1,3,5,7
/proc/16041/task/16043/stat : 16043 (java) R 16038 16041 6338 0 -1 4202560 20631 0 0 0 1592 31 0 0 20 0 17 0 96928219 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139674507192416 139674101669182 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16044] ppid=16038 vsize=10755168 memory=6791534058613427641 CPUtime=55.95 cores=1,3,5,7
/proc/16041/task/16044/stat : 16044 (java) S 16038 16041 6338 0 -1 1077944384 77090 0 0 0 5466 129 0 0 20 0 17 0 96928220 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139674429033488 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16045] ppid=16038 vsize=10755168 memory=2536 CPUtime=55.43 cores=1,3,5,7
/proc/16041/task/16045/stat : 16045 (java) S 16038 16041 6338 0 -1 1077944384 79822 0 0 0 5407 136 0 0 20 0 17 0 96928220 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139674427980944 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16046] ppid=16038 vsize=10755168 memory=2536 CPUtime=55.59 cores=1,3,5,7
/proc/16041/task/16046/stat : 16046 (java) S 16038 16041 6338 0 -1 1077944384 51738 0 0 0 5424 135 0 0 20 0 17 0 96928220 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139674426927888 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16047] ppid=16038 vsize=10755168 memory=8302740 CPUtime=55.52 cores=1,3,5,7
/proc/16041/task/16047/stat : 16047 (java) S 16038 16041 6338 0 -1 1077944384 49376 0 0 0 5418 134 0 0 20 0 17 0 96928220 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139674425875344 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16048] ppid=16038 vsize=10755168 memory=8302740 CPUtime=12.07 cores=1,3,5,7
/proc/16041/task/16048/stat : 16048 (java) S 16038 16041 6338 0 -1 1077944384 28972 0 0 0 1205 2 0 0 20 0 17 0 96928221 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673994213616 139674502969986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16049] ppid=16038 vsize=10755168 memory=8302740 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16049/stat : 16049 (java) S 16038 16041 6338 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 17 0 96928221 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673993159904 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16050] ppid=16038 vsize=10755168 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16050/stat : 16050 (java) S 16038 16041 6338 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 17 0 96928222 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673992106752 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16051] ppid=16038 vsize=10755168 memory=28496 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16051/stat : 16051 (java) S 16038 16041 6338 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 17 0 96928224 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673991055312 139674502977435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16052] ppid=16038 vsize=10755168 memory=2428 CPUtime=0.55 cores=1,3,5,7
/proc/16041/task/16052/stat : 16052 (java) S 16038 16041 6338 0 -1 1077944384 3731 0 0 0 55 0 0 0 20 0 17 0 96928224 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673990003440 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16053] ppid=16038 vsize=10755168 memory=1292 CPUtime=0.53 cores=1,3,5,7
/proc/16041/task/16053/stat : 16053 (java) S 16038 16041 6338 0 -1 1077944384 3041 0 0 0 53 0 0 0 20 0 17 0 96928224 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673988950896 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16054] ppid=16038 vsize=10755168 memory=1728 CPUtime=0.28 cores=1,3,5,7
/proc/16041/task/16054/stat : 16054 (java) S 16038 16041 6338 0 -1 1077944384 1858 0 0 0 28 0 0 0 20 0 17 0 96928224 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673987897840 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16055] ppid=16038 vsize=10755168 memory=12064 CPUtime=0 cores=1,3,5,7
/proc/16041/task/16055/stat : 16055 (java) S 16038 16041 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96928224 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673986845536 139674502969045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
[pid=16041/tid=16056] ppid=16038 vsize=10755168 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/16041/task/16056/stat : 16056 (java) S 16038 16041 6338 0 -1 1077944384 371 0 0 0 2 1 0 0 20 0 17 0 96928224 11013292032 2075695 33554432000 4194304 4196468 140724773268976 139673985792560 139674502969986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16089088 140724773270667 140724773270820 140724773270820 140724773273551 0
Current children cumulated CPU time: 252.27 s
Current children cumulated vsize: 10755168 KiB
Current children cumulated memory: 8302780 KiB
Child status: 143
Real time (s): 84.8532
CPU time (s): 252.335
CPU user time (s): 246.569
CPU system time (s): 5.76566
CPU usage (%): 297.378
Max. virtual memory (cumulated for all children) (KiB): 10755168
Max. memory (cumulated for all children) (KiB): 8302780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.569
system time used= 5.76566
maximum resident set size= 8303208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318307
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= 6889
involuntary context switches= 5400
# summary of solver processes directly reported to runsolver:
# pid: 16041
# total CPU time (s): 252.335
# total CPU user time (s): 246.569
# total CPU system time (s): 5.76566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.577677 second user time and 0.827514 second system time
The end