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 (14946 MiB free)
memory of node 1: 16384 MiB (14828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396380-1568407889/watcher-4396380-1568407889 -o /tmp/evaluation-result-4396380-1568407889/solver-4396380-1568407889 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568396747-1256 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1298319118 HOME/instance-4396380-1568407889.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4018, runsolver pid=4015
[startup+0.100081 s]*
/proc/loadavg: 1.38 1.32 1.40 3/220 4075
/proc/meminfo: memFree=30482844/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=9972712 memory=19124 CPUtime=0.09 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 4487 13151 0 0 1 1 4 3 20 0 6 0 417027626 10212057088 4781 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2493178 4781 1963 1 0 2481616 0
[pid=4018/tid=4071] ppid=4015 vsize=10055356 memory=-8890511129163644867 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) R 4015 4018 1225 0 -1 4202560 2358 13151 0 0 0 0 4 3 20 0 7 0 417027635 10296684544 4847 33554432000 4194304 4196468 140732281432832 139849032211216 139848648306462 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10055356 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 7 0 417027635 10296684544 4847 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10055356 memory=139706101102208 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 7 0 417027635 10296684544 4847 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 7 0 417027635 10296684544 4847 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10055356 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 2 13151 0 0 0 0 4 3 20 0 7 0 417027635 10296684544 4847 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10055356 memory=139706101102208 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 2 13151 0 0 0 0 4 3 20 0 7 0 417027637 10296684544 4847 33554432000 4194304 4196468 140732281432832 139848586987632 139849060379266 0 0 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.210077 s]*
/proc/loadavg: 1.38 1.32 1.40 4/229 4084
/proc/meminfo: memFree=30465244/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=10819664 memory=40820 CPUtime=0.26 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 7077 13151 0 0 17 2 4 3 20 0 15 0 417027626 11079335936 10205 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2704916 10205 3149 1 0 2667149 0
[pid=4018/tid=4071] ppid=4015 vsize=10819808 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) R 4015 4018 1225 0 -1 4202560 3607 13151 0 0 11 1 4 3 20 0 15 0 417027635 11079483392 10205 33554432000 4194304 4196468 140732281432832 139849032200832 139849060390045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10819808 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079483392 10205 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10819808 memory=139706101111152 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079483392 10205 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10819808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079483392 10205 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10819808 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 2 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079483392 10205 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10819808 memory=139706101102208 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 2 13151 0 0 0 0 4 3 20 0 15 0 417027637 11079483392 10205 33554432000 4194304 4196468 140732281432832 139848586987632 139849060379266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4077] ppid=4015 vsize=10819972 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4077/stat : 4077 (java) S 4015 4018 1225 0 -1 1077944384 13 13151 0 0 0 0 4 3 20 0 15 0 417027637 11079651328 10205 33554432000 4194304 4196468 140732281432832 139847960355616 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4078] ppid=4015 vsize=10819972 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4078/stat : 4078 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027638 11079651328 10271 33554432000 4194304 4196468 140732281432832 139847826138224 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4079] ppid=4015 vsize=10819972 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4079/stat : 4079 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11079651328 10271 33554432000 4194304 4196468 140732281432832 139847585847376 139849060386715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4080] ppid=4015 vsize=10819972 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4080/stat : 4080 (java) S 4015 4018 1225 0 -1 1077944384 585 13151 0 0 1 0 4 3 20 0 15 0 417027640 11079651328 10271 33554432000 4194304 4196468 140732281432832 139848585935472 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4081] ppid=4015 vsize=10819972 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4081/stat : 4081 (java) S 4015 4018 1225 0 -1 1077944384 46 13151 0 0 0 0 4 3 20 0 15 0 417027640 11079651328 10271 33554432000 4194304 4196468 140732281432832 139848584882672 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4082] ppid=4015 vsize=10819972 memory=139706101102208 CPUtime=0.1 cores=0,2,4,6
/proc/4018/task/4082/stat : 4082 (java) S 4015 4018 1225 0 -1 1077944384 653 13151 0 0 3 0 4 3 20 0 15 0 417027640 11079651328 10271 33554432000 4194304 4196468 140732281432832 139848583830384 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4083] ppid=4015 vsize=10819972 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4083/stat : 4083 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11079651328 10271 33554432000 4194304 4196468 140732281432832 139847552289760 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4084] ppid=4015 vsize=10819972 memory=139706101102208 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4084/stat : 4084 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027641 11079651328 10271 33554432000 4194304 4196468 140732281432832 139848582777264 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40820 KiB
[startup+0.310584 s]*
/proc/loadavg: 1.38 1.32 1.40 3/229 4084
/proc/meminfo: memFree=30451756/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=10820148 memory=50460 CPUtime=0.4 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 10776 13151 0 0 29 4 4 3 20 0 15 0 417027626 11079831552 12615 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2705037 12615 3322 1 0 2667149 0
[pid=4018/tid=4071] ppid=4015 vsize=10820260 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) R 4015 4018 1225 0 -1 4202560 7255 13151 0 0 19 3 4 3 20 0 15 0 417027635 11079946240 12615 33554432000 4194304 4196468 140732281432832 139849032193648 139848983444434 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10820260 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079946240 12615 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10820260 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079946240 12615 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10820260 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079946240 12615 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10820260 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 2 13151 0 0 0 0 4 3 20 0 15 0 417027635 11079946240 12615 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10820260 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 2 13151 0 0 0 0 4 3 20 0 15 0 417027637 11079946240 12615 33554432000 4194304 4196468 140732281432832 139848586987632 139849060379266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4077] ppid=4015 vsize=10820260 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4077/stat : 4077 (java) S 4015 4018 1225 0 -1 1077944384 13 13151 0 0 0 0 4 3 20 0 15 0 417027637 11079946240 12615 33554432000 4194304 4196468 140732281432832 139847960355616 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4078] ppid=4015 vsize=10820264 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4078/stat : 4078 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027638 11079950336 12615 33554432000 4194304 4196468 140732281432832 139847826138224 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4079] ppid=4015 vsize=10820264 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4079/stat : 4079 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11079950336 12615 33554432000 4194304 4196468 140732281432832 139847585847376 139849060386715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4080] ppid=4015 vsize=10820264 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4018/task/4080/stat : 4080 (java) S 4015 4018 1225 0 -1 1077944384 595 13151 0 0 2 0 4 3 20 0 15 0 417027640 11079950336 12615 33554432000 4194304 4196468 140732281432832 139848585935472 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4081] ppid=4015 vsize=10820264 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4081/stat : 4081 (java) S 4015 4018 1225 0 -1 1077944384 46 13151 0 0 1 0 4 3 20 0 15 0 417027640 11079950336 12615 33554432000 4194304 4196468 140732281432832 139848584882672 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4082] ppid=4015 vsize=10820264 memory=139706101102208 CPUtime=0.12 cores=0,2,4,6
/proc/4018/task/4082/stat : 4082 (java) S 4015 4018 1225 0 -1 1077944384 672 13151 0 0 5 0 4 3 20 0 15 0 417027640 11079950336 12615 33554432000 4194304 4196468 140732281432832 139848583830384 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4083] ppid=4015 vsize=10820264 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4083/stat : 4083 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11079950336 12615 33554432000 4194304 4196468 140732281432832 139847552289760 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4084] ppid=4015 vsize=10820264 memory=139706101102208 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4084/stat : 4084 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027641 11079950336 12615 33554432000 4194304 4196468 140732281432832 139848582777264 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50460 KiB
[startup+0.700683 s]
/proc/loadavg: 1.38 1.32 1.40 3/229 4084
/proc/meminfo: memFree=30437176/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=10824360 memory=83692 CPUtime=1.12 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 15093 13151 0 0 99 6 4 3 20 0 15 0 417027626 11084144640 20923 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2706090 20923 3510 1 0 2668173 0
[pid=4018/tid=4071] ppid=4015 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) R 4015 4018 1225 0 -1 4202560 10271 13151 0 0 55 5 4 3 20 0 15 0 417027635 11084144640 20923 33554432000 4194304 4196468 140732281432832 139849032195072 139849060390141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11084144640 20923 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027635 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 2 13151 0 0 0 0 4 3 20 0 15 0 417027635 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10824360 memory=139706696204865 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 5 13151 0 0 0 0 4 3 20 0 15 0 417027637 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848586987632 139849060379266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4077] ppid=4015 vsize=10824360 memory=139706696204872 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4077/stat : 4077 (java) S 4015 4018 1225 0 -1 1077944384 13 13151 0 0 0 0 4 3 20 0 15 0 417027637 11084144640 20923 33554432000 4194304 4196468 140732281432832 139847960355616 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4078] ppid=4015 vsize=10824360 memory=139706696204876 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4078/stat : 4078 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027638 11084144640 20923 33554432000 4194304 4196468 140732281432832 139847826138224 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4079] ppid=4015 vsize=10824360 memory=139706696204877 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4079/stat : 4079 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11084144640 20923 33554432000 4194304 4196468 140732281432832 139847585847376 139849060386715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4080] ppid=4015 vsize=10824360 memory=139706696204884 CPUtime=0.16 cores=0,2,4,6
/proc/4018/task/4080/stat : 4080 (java) S 4015 4018 1225 0 -1 1077944384 1051 13151 0 0 9 0 4 3 20 0 15 0 417027640 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848585935472 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4081] ppid=4015 vsize=10824360 memory=139706696204886 CPUtime=0.23 cores=0,2,4,6
/proc/4018/task/4081/stat : 4081 (java) R 4015 4018 1225 0 -1 4202560 604 13151 0 0 16 0 4 3 20 0 15 0 417027640 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848584868768 139849045290092 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4082] ppid=4015 vsize=10824360 memory=139706696204906 CPUtime=0.24 cores=0,2,4,6
/proc/4018/task/4082/stat : 4082 (java) R 4015 4018 1225 0 -1 4202560 929 13151 0 0 17 0 4 3 20 0 15 0 417027640 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848583830384 139849060389466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4083] ppid=4015 vsize=10824360 memory=14012 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4083/stat : 4083 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11084144640 20923 33554432000 4194304 4196468 140732281432832 139847552289760 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4084] ppid=4015 vsize=10824360 memory=2112 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4084/stat : 4084 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027641 11084144640 20923 33554432000 4194304 4196468 140732281432832 139848582777264 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83692 KiB
[startup+1.50069 s]
/proc/loadavg: 1.38 1.32 1.40 3/229 4084
/proc/meminfo: memFree=30395548/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=10834676 memory=174828 CPUtime=2.45 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 21666 13151 0 0 227 11 4 3 20 0 15 0 417027626 11094708224 43707 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2708669 43707 3575 1 0 2670733 0
[pid=4018/tid=4071] ppid=4015 vsize=10834676 memory=1943560 CPUtime=1.43 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) R 4015 4018 1225 0 -1 4202560 15143 13151 0 0 129 7 4 3 20 0 15 0 417027635 11094708224 43707 33554432000 4194304 4196468 140732281432832 139849032167552 139848648368000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10834676 memory=1944736 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 70 13151 0 0 1 0 4 3 20 0 15 0 417027635 11094708224 43707 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 46 13151 0 0 1 0 4 3 20 0 15 0 417027635 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10834676 memory=320425177016018691 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 325 13151 0 0 1 0 4 3 20 0 15 0 417027635 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10834676 memory=288287770758195043 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 54 13151 0 0 1 0 4 3 20 0 15 0 417027635 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10834676 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 167 13151 0 0 1 0 4 3 20 0 15 0 417027637 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848586987632 139849060379266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4077] ppid=4015 vsize=10834676 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4077/stat : 4077 (java) S 4015 4018 1225 0 -1 1077944384 14 13151 0 0 0 0 4 3 20 0 15 0 417027637 11094708224 43707 33554432000 4194304 4196468 140732281432832 139847960355616 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4078] ppid=4015 vsize=10834676 memory=7681421203011431829 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4078/stat : 4078 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027638 11094708224 43707 33554432000 4194304 4196468 140732281432832 139847826138224 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4079] ppid=4015 vsize=10834676 memory=7222483652687470737 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4079/stat : 4079 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11094708224 43707 33554432000 4194304 4196468 140732281432832 139847585847376 139849060386715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4080] ppid=4015 vsize=10834676 memory=-3472574944341025154 CPUtime=0.29 cores=0,2,4,6
/proc/4018/task/4080/stat : 4080 (java) S 4015 4018 1225 0 -1 1077944384 1262 13151 0 0 22 0 4 3 20 0 15 0 417027640 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848585935472 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4081] ppid=4015 vsize=10834676 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/4018/task/4081/stat : 4081 (java) S 4015 4018 1225 0 -1 1077944384 675 13151 0 0 26 0 4 3 20 0 15 0 417027640 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848584882672 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4082] ppid=4015 vsize=10834676 memory=-2672971631320983069 CPUtime=0.48 cores=0,2,4,6
/proc/4018/task/4082/stat : 4082 (java) R 4015 4018 1225 0 -1 4202560 1730 13151 0 0 41 0 4 3 20 0 15 0 417027640 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848583823808 139849039309710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4083] ppid=4015 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4083/stat : 4083 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11094708224 43707 33554432000 4194304 4196468 140732281432832 139847552289760 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4084] ppid=4015 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4084/stat : 4084 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027641 11094708224 43707 33554432000 4194304 4196468 140732281432832 139848582777264 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834676 KiB
Current children cumulated memory: 174828 KiB
[startup+3.11049 s]
/proc/loadavg: 1.67 1.38 1.42 5/229 4084
/proc/meminfo: memFree=30250860/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=10842888 memory=271620 CPUtime=7.2 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 33111 13151 0 0 697 16 4 3 20 0 15 0 417027626 11103117312 67905 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2710722 67905 3599 1 0 2672781 0
[pid=4018/tid=4071] ppid=4015 vsize=10842888 memory=3620 CPUtime=3.04 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) R 4015 4018 1225 0 -1 4202560 18012 13151 0 0 287 10 4 3 20 0 15 0 417027635 11103117312 67905 33554432000 4194304 4196468 140732281432832 139849032199040 139848659921038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10842888 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 70 13151 0 0 1 0 4 3 20 0 15 0 417027635 11103117312 67905 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10842888 memory=288230617494169357 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 46 13151 0 0 1 0 4 3 20 0 15 0 417027635 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10842888 memory=181792 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 325 13151 0 0 1 0 4 3 20 0 15 0 417027635 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10842888 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 54 13151 0 0 1 0 4 3 20 0 15 0 417027635 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10842888 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 174 13151 0 0 1 0 4 3 20 0 15 0 417027637 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848586987632 139849060379266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4077] ppid=4015 vsize=10842888 memory=5972 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4077/stat : 4077 (java) S 4015 4018 1225 0 -1 1077944384 14 13151 0 0 0 0 4 3 20 0 15 0 417027637 11103117312 67905 33554432000 4194304 4196468 140732281432832 139847960355616 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4078] ppid=4015 vsize=10842888 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4078/stat : 4078 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027638 11103117312 67905 33554432000 4194304 4196468 140732281432832 139847826138224 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4079] ppid=4015 vsize=10842888 memory=7019606794015341876 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4079/stat : 4079 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11103117312 67905 33554432000 4194304 4196468 140732281432832 139847585847376 139849060386715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4080] ppid=4015 vsize=10842888 memory=7019467087940104244 CPUtime=1.44 cores=0,2,4,6
/proc/4018/task/4080/stat : 4080 (java) R 4015 4018 1225 0 -1 4202560 3006 13151 0 0 136 1 4 3 20 0 15 0 417027640 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848585919248 139849053467966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4081] ppid=4015 vsize=10842888 memory=7019467087956881460 CPUtime=1.51 cores=0,2,4,6
/proc/4018/task/4081/stat : 4081 (java) R 4015 4018 1225 0 -1 4202560 3874 13151 0 0 143 1 4 3 20 0 15 0 417027640 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848584881072 139849043754907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4082] ppid=4015 vsize=10842888 memory=0 CPUtime=1.3 cores=0,2,4,6
/proc/4018/task/4082/stat : 4082 (java) S 4015 4018 1225 0 -1 1077944384 5326 13151 0 0 122 1 4 3 20 0 15 0 417027640 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848583830384 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4083] ppid=4015 vsize=10842888 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4083/stat : 4083 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11103117312 67905 33554432000 4194304 4196468 140732281432832 139847552289760 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4084] ppid=4015 vsize=10842888 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4084/stat : 4084 (java) S 4015 4018 1225 0 -1 1077944384 1 13151 0 0 0 0 4 3 20 0 15 0 417027641 11103117312 67905 33554432000 4194304 4196468 140732281432832 139848582777264 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 271620 KiB
[startup+6.30075 s]
/proc/loadavg: 1.67 1.38 1.42 5/228 4084
/proc/meminfo: memFree=30137756/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=10846984 memory=367328 CPUtime=15.92 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 57934 13151 0 0 1562 23 4 3 20 0 15 0 417027626 11107311616 91832 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2711746 91832 3620 1 0 2673805 0
[pid=4018/tid=4071] ppid=4015 vsize=10846984 memory=164 CPUtime=6.15 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) R 4015 4018 1225 0 -1 4202560 23124 13151 0 0 597 11 4 3 20 0 15 0 417027635 11107311616 91832 33554432000 4194304 4196468 140732281432832 139849032202384 139848665204241 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10846984 memory=6944656592455097440 CPUtime=0.1 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 308 13151 0 0 3 0 4 3 20 0 15 0 417027635 11107311616 91832 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10846984 memory=6944656592387989600 CPUtime=0.11 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 69 13151 0 0 4 0 4 3 20 0 15 0 417027635 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10846984 memory=55 CPUtime=0.1 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 355 13151 0 0 3 0 4 3 20 0 15 0 417027635 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10846984 memory=1399052312596663670 CPUtime=0.11 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 713 13151 0 0 4 0 4 3 20 0 15 0 417027635 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10846984 memory=288287774918944567 CPUtime=0.11 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 5100 13151 0 0 4 0 4 3 20 0 15 0 417027637 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848586987632 139849060379266 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4077] ppid=4015 vsize=10846984 memory=323448 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4077/stat : 4077 (java) S 4015 4018 1225 0 -1 1077944384 22 13151 0 0 0 0 4 3 20 0 15 0 417027637 11107311616 91832 33554432000 4194304 4196468 140732281432832 139847960355744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4078] ppid=4015 vsize=10846984 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4078/stat : 4078 (java) S 4015 4018 1225 0 -1 1077944384 11 13151 0 0 0 0 4 3 20 0 15 0 417027638 11107311616 91832 33554432000 4194304 4196468 140732281432832 139847826138240 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4079] ppid=4015 vsize=10846984 memory=-2893623298589923098 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4079/stat : 4079 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11107311616 91832 33554432000 4194304 4196468 140732281432832 139847585847376 139849060386715 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4080] ppid=4015 vsize=10846984 memory=6944656592455359580 CPUtime=3.83 cores=0,2,4,6
/proc/4018/task/4080/stat : 4080 (java) R 4015 4018 1225 0 -1 4202560 10453 13151 0 0 372 4 4 3 20 0 15 0 417027640 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848585920224 139849043868539 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4081] ppid=4015 vsize=10846984 memory=3620 CPUtime=3.96 cores=0,2,4,6
/proc/4018/task/4081/stat : 4081 (java) R 4015 4018 1225 0 -1 4202560 7074 13151 0 0 388 1 4 3 20 0 15 0 417027640 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848584861776 139849041913086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4082] ppid=4015 vsize=10846984 memory=39852 CPUtime=1.9 cores=0,2,4,6
/proc/4018/task/4082/stat : 4082 (java) S 4015 4018 1225 0 -1 1077944384 8484 13151 0 0 181 2 4 3 20 0 15 0 417027640 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848583830384 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4083] ppid=4015 vsize=10846984 memory=1988 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4083/stat : 4083 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 15 0 417027640 11107311616 91832 33554432000 4194304 4196468 140732281432832 139847552289760 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4084] ppid=4015 vsize=10846984 memory=988 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4084/stat : 4084 (java) S 4015 4018 1225 0 -1 1077944384 8 13151 0 0 0 0 4 3 20 0 15 0 417027641 11107311616 91832 33554432000 4194304 4196468 140732281432832 139848582777264 139849060379266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 15.92 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 367328 KiB
[startup+6.42222 s]
# the end of solver process 4018 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.9765 s, system=0.281738 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40092 s]
/proc/loadavg: 1.67 1.38 1.42 5/228 4084
/proc/meminfo: memFree=30137756/32770624 swapFree=66940916/67108860
[pid=4018] ppid=4015 vsize=10945292 memory=367852 CPUtime=16.22 cores=0,2,4,6
/proc/4018/stat : 4018 (java) S 4015 4018 1225 0 -1 1077944320 58061 13151 0 0 1592 23 4 3 20 0 14 0 417027626 11207979008 91963 33554432000 4194304 4196468 140732281432832 140732281415376 139849060368119 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
/proc/4018/statm: 2736323 91963 3622 1 0 2698382 0
[pid=4018/tid=4071] ppid=4015 vsize=10945292 memory=1772 CPUtime=6.24 cores=0,2,4,6
/proc/4018/task/4071/stat : 4071 (java) S 4015 4018 1225 0 -1 1077944384 23137 13151 0 0 606 11 4 3 20 0 14 0 417027635 11207979008 91963 33554432000 4194304 4196468 140732281432832 139849032211600 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4072] ppid=4015 vsize=10945292 memory=8112282956445269571 CPUtime=0.1 cores=0,2,4,6
/proc/4018/task/4072/stat : 4072 (java) S 4015 4018 1225 0 -1 1077944384 308 13151 0 0 3 0 4 3 20 0 14 0 417027635 11207979008 91963 33554432000 4194304 4196468 140732281432832 139849064610704 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4073] ppid=4015 vsize=10945292 memory=3977582480835510261 CPUtime=0.11 cores=0,2,4,6
/proc/4018/task/4073/stat : 4073 (java) S 4015 4018 1225 0 -1 1077944384 69 13151 0 0 4 0 4 3 20 0 14 0 417027635 11207979008 91963 33554432000 4194304 4196468 140732281432832 139848968813328 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4074] ppid=4015 vsize=10945292 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4018/task/4074/stat : 4074 (java) S 4015 4018 1225 0 -1 1077944384 355 13151 0 0 3 0 4 3 20 0 14 0 417027635 11207979008 91963 33554432000 4194304 4196468 140732281432832 139848632294544 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4075] ppid=4015 vsize=10945292 memory=7163085606822111586 CPUtime=0.11 cores=0,2,4,6
/proc/4018/task/4075/stat : 4075 (java) S 4015 4018 1225 0 -1 1077944384 713 13151 0 0 4 0 4 3 20 0 14 0 417027635 11207979008 91963 33554432000 4194304 4196468 140732281432832 139848631241744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4076] ppid=4015 vsize=10945292 memory=7812175694914937957 CPUtime=0.11 cores=0,2,4,6
/proc/4018/task/4076/stat : 4076 (java) S 4015 4018 1225 0 -1 1077944384 5100 13151 0 0 4 0 4 3 20 0 14 0 417027637 11207979008 91963 33554432000 4194304 4196468 140732281432832 139848586987840 139849060379266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4077] ppid=4015 vsize=10945292 memory=7018949540659484519 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4077/stat : 4077 (java) S 4015 4018 1225 0 -1 1077944384 22 13151 0 0 0 0 4 3 20 0 14 0 417027637 11207979008 91963 33554432000 4194304 4196468 140732281432832 139847960355744 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4078] ppid=4015 vsize=10945292 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4078/stat : 4078 (java) S 4015 4018 1225 0 -1 1077944384 11 13151 0 0 0 0 4 3 20 0 14 0 417027638 11207979008 91963 33554432000 4194304 4196468 140732281432832 139847826138240 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4079] ppid=4015 vsize=10945292 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4079/stat : 4079 (java) S 4015 4018 1225 0 -1 1077944384 6 13151 0 0 0 0 4 3 20 0 14 0 417027640 11207979008 91963 33554432000 4194304 4196468 140732281432832 139847585847024 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4080] ppid=4015 vsize=10945292 memory=39852 CPUtime=3.93 cores=0,2,4,6
/proc/4018/task/4080/stat : 4080 (java) R 4015 4018 1225 0 -1 4202560 10453 13151 0 0 382 4 4 3 20 0 14 0 417027640 11207979008 91963 33554432000 4194304 4196468 140732281432832 139848585920224 139849045478042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4081] ppid=4015 vsize=10945292 memory=4580 CPUtime=4.05 cores=0,2,4,6
/proc/4018/task/4081/stat : 4081 (java) S 4015 4018 1225 0 -1 1077944384 7156 13151 0 0 397 1 4 3 20 0 14 0 417027640 11207979008 91963 33554432000 4194304 4196468 140732281432832 139848584866320 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4082] ppid=4015 vsize=10945292 memory=301741416391115062 CPUtime=1.91 cores=0,2,4,6
/proc/4018/task/4082/stat : 4082 (java) S 4015 4018 1225 0 -1 1077944384 8501 13151 0 0 182 2 4 3 20 0 14 0 417027640 11207979008 91963 33554432000 4194304 4196468 140732281432832 139848583826256 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
[pid=4018/tid=4083] ppid=4015 vsize=10945292 memory=15258138429359618 CPUtime=0.07 cores=0,2,4,6
/proc/4018/task/4083/stat : 4083 (java) S 4015 4018 1225 0 -1 1077944384 3 13151 0 0 0 0 4 3 20 0 14 0 417027640 11207979008 91963 33554432000 4194304 4196468 140732281432832 139847552289760 139849060378325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24801280 140732281441007 140732281443525 140732281443525 140732281446351 0
Current children cumulated CPU time: 16.22 s
Current children cumulated vsize: 10945292 KiB
Current children cumulated memory: 367852 KiB
Child status: 0
Real time (s): 6.42227
CPU time (s): 16.2582
CPU user time (s): 15.9765
CPU system time (s): 0.281738
CPU usage (%): 253.154
Max. virtual memory (cumulated for all children) (KiB): 10945292
Max. memory (cumulated for all children) (KiB): 367852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9765
system time used= 0.281738
maximum resident set size= 369840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71236
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6729
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 4018
# total CPU time (s): 16.2582
# total CPU user time (s): 15.9765
# total CPU system time (s): 0.281738
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072837 second user time and 0.094414 second system time
The end