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 (10337 MiB free)
memory of node 1: 16384 MiB (11723 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387203-1568294243/watcher-4387203-1568294243 -o /tmp/evaluation-result-4387203-1568294243/solver-4387203-1568294243 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1786 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1001209695 HOME/instance-4387203-1568294243.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4456, runsolver pid=4453
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 1.31 1.35 1.39 3/214 4509
/proc/meminfo: memFree=22588880/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=9972712 memory=14652 CPUtime=0.09 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 4405 13410 0 0 1 0 5 3 20 0 6 0 405361706 10212057088 3663 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2493178 3663 1933 1 0 2481616 0
[pid=4456/tid=4509] ppid=4453 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 2240 13410 0 0 0 0 5 3 20 0 6 0 405361716 10212057088 3663 33554432000 4194304 4196468 140725998268080 139869335315024 139869347558750 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 6 0 405361716 10212057088 3663 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=9972712 memory=140231687169664 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 6 0 405361716 10212057088 3663 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 6 0 405361716 10212057088 3729 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 6 0 405361716 10212057088 3729 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14652 KiB
[startup+0.21231 s]*
/proc/loadavg: 1.31 1.35 1.39 3/227 4522
/proc/meminfo: memFree=22564632/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=10818940 memory=39836 CPUtime=0.26 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 7328 13410 0 0 16 2 5 3 20 0 15 0 405361706 11078594560 9959 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2704735 9959 2972 1 0 2667149 0
[pid=4456/tid=4509] ppid=4453 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 3768 13410 0 0 10 1 5 3 20 0 15 0 405361716 11078594560 10036 33554432000 4194304 4196468 140725998268080 139869335311736 139869347558750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10818940 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078594560 10036 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10818940 memory=140231687179363 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10818940 memory=140231687169664 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361718 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 33 13410 0 0 0 0 5 3 20 0 15 0 405361718 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868821738528 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361719 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868696994672 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) S 4453 4456 466 0 -1 1077944384 464 13410 0 0 1 0 5 3 20 0 15 0 405361721 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868788181872 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) S 4453 4456 466 0 -1 1077944384 193 13410 0 0 0 0 5 3 20 0 15 0 405361721 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868787129072 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10818940 memory=140231687169664 CPUtime=0.11 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) S 4453 4456 466 0 -1 1077944384 678 13410 0 0 3 0 5 3 20 0 15 0 405361721 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868786076272 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11078594560 10036 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10818940 memory=140231687169664 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361722 11078594560 10036 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39836 KiB
[startup+0.310623 s]*
/proc/loadavg: 1.31 1.35 1.39 3/227 4523
/proc/meminfo: memFree=22552656/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=10819136 memory=48652 CPUtime=0.4 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 10928 13410 0 0 28 4 5 3 20 0 15 0 405361706 11078795264 12163 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2704790 12163 3038 1 0 2667149 0
[pid=4456/tid=4509] ppid=4453 vsize=10819288 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 7320 13410 0 0 19 2 5 3 20 0 15 0 405361716 11078950912 12163 33554432000 4194304 4196468 140725998268080 139869335298480 139869363500189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078950912 12163 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078950912 12163 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078950912 12163 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11078950912 12163 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10819288 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361718 11078950912 12163 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10819432 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 33 13410 0 0 0 0 5 3 20 0 15 0 405361718 11079098368 12163 33554432000 4194304 4196468 140725998268080 139868821738528 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10819432 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361719 11079098368 12163 33554432000 4194304 4196468 140725998268080 139868696994672 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10819432 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11079098368 12163 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10819432 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) S 4453 4456 466 0 -1 1077944384 471 13410 0 0 1 0 5 3 20 0 15 0 405361721 11079098368 12229 33554432000 4194304 4196468 140725998268080 139868788181872 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10819432 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) S 4453 4456 466 0 -1 1077944384 198 13410 0 0 1 0 5 3 20 0 15 0 405361721 11079098368 12229 33554432000 4194304 4196468 140725998268080 139868787129072 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10819432 memory=140231687169664 CPUtime=0.13 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) S 4453 4456 466 0 -1 1077944384 722 13410 0 0 5 0 5 3 20 0 15 0 405361721 11079098368 12229 33554432000 4194304 4196468 140725998268080 139868786076272 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10819432 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11079098368 12229 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10819432 memory=140231687169664 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361722 11079098368 12229 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819136 KiB
Current children cumulated memory: 48652 KiB
[startup+0.700723 s]
/proc/loadavg: 1.31 1.35 1.39 3/227 4523
/proc/meminfo: memFree=22540248/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=10824340 memory=83396 CPUtime=1.14 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 15095 13410 0 0 100 6 5 3 20 0 15 0 405361706 11084124160 20849 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2706085 20849 3499 1 0 2668173 0
[pid=4456/tid=4509] ppid=4453 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 10525 13410 0 0 55 4 5 3 20 0 15 0 405361716 11084124160 20849 33554432000 4194304 4196468 140725998268080 139869335291456 139869363500189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11084124160 20849 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361716 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10824340 memory=140231554773200 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10824340 memory=140234977182290 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361716 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10824340 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 5 13410 0 0 0 0 5 3 20 0 15 0 405361718 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10824340 memory=7302135314614015849 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 33 13410 0 0 0 0 5 3 20 0 15 0 405361718 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868821738528 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10824340 memory=6010179516970067026 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361719 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868696994672 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10824340 memory=1100 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10824340 memory=15208 CPUtime=0.2 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) R 4453 4456 466 0 -1 4202560 761 13410 0 0 12 0 5 3 20 0 15 0 405361721 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868788170672 139869343647008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10824340 memory=22916 CPUtime=0.22 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) S 4453 4456 466 0 -1 1077944384 562 13410 0 0 14 0 5 3 20 0 15 0 405361721 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868787129072 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10824340 memory=4048 CPUtime=0.25 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) S 4453 4456 466 0 -1 1077944384 989 13410 0 0 17 0 5 3 20 0 15 0 405361721 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868786076272 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10824340 memory=14288 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11084124160 20849 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10824340 memory=504 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361722 11084124160 20849 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 83396 KiB
[startup+1.50066 s]
/proc/loadavg: 1.31 1.35 1.39 3/227 4523
/proc/meminfo: memFree=22493832/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=10834656 memory=169024 CPUtime=2.43 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 22701 13410 0 0 223 12 5 3 20 0 15 0 405361706 11094687744 42256 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2708664 42256 3579 1 0 2670733 0
[pid=4456/tid=4509] ppid=4453 vsize=10834656 memory=165632 CPUtime=1.43 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 15646 13410 0 0 129 6 5 3 20 0 15 0 405361716 11094687744 42256 33554432000 4194304 4196468 140725998268080 139869335278064 139869363490198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10834656 memory=2692 CPUtime=0.09 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 66 13410 0 0 1 0 5 3 20 0 15 0 405361716 11094687744 42256 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10834656 memory=2376 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 33 13410 0 0 0 0 5 3 20 0 15 0 405361716 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 70 13410 0 0 0 0 5 3 20 0 15 0 405361716 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10834656 memory=7684413776151944361 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 353 13410 0 0 0 0 5 3 20 0 15 0 405361716 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10834656 memory=-6010476260271675999 CPUtime=0.09 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 769 13410 0 0 1 0 5 3 20 0 15 0 405361718 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10834656 memory=3692215370526009243 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 34 13410 0 0 0 0 5 3 20 0 15 0 405361718 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868821738528 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10834656 memory=3616448913277150529 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361719 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868696994672 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10834656 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) R 4453 4456 466 0 -1 1077944384 947 13410 0 0 22 0 5 3 20 0 15 0 405361721 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868788181872 139869363489410 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10834656 memory=4580 CPUtime=0.34 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) R 4453 4456 466 0 -1 4202560 843 13410 0 0 25 1 5 3 20 0 15 0 405361721 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868787129072 139869344073501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10834656 memory=7229790692055335016 CPUtime=0.46 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) R 4453 4456 466 0 -1 4202560 1727 13410 0 0 38 0 5 3 20 0 15 0 405361721 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868786073528 139869356582966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10834656 memory=7956856036364537963 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11094687744 42256 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10834656 memory=7380670063165534056 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1 13410 0 0 0 0 5 3 20 0 15 0 405361722 11094687744 42256 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 93507 13410 0 0 235305 63 5 3 20 0 15 0 405361716 11107291136 334935 33554432000 4194304 4196468 140725998268080 139869335312784 139868982984274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10846964 memory=1337672 CPUtime=12.7 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 22271 13410 0 0 1198 64 5 3 20 0 15 0 405361716 11107291136 334935 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10846964 memory=1339740 CPUtime=12.67 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 17648 13410 0 0 1196 63 5 3 20 0 15 0 405361716 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10846964 memory=1337672 CPUtime=12.73 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 15613 13410 0 0 1203 62 5 3 20 0 15 0 405361716 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10846964 memory=1339740 CPUtime=12.68 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 29716 13410 0 0 1194 66 5 3 20 0 15 0 405361716 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10846964 memory=1339740 CPUtime=11.72 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 21157 13410 0 0 1105 59 5 3 20 0 15 0 405361718 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10846964 memory=1339740 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 50 13410 0 0 0 0 5 3 20 0 15 0 405361718 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868821738592 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10846964 memory=1337640 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 6 13410 0 0 0 0 5 3 20 0 15 0 405361719 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868696994688 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10846964 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10846964 memory=1337640 CPUtime=6.77 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) S 4453 4456 466 0 -1 1077944384 35313 13410 0 0 662 7 5 3 20 0 15 0 405361721 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868788181872 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10846964 memory=3924 CPUtime=6 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) S 4453 4456 466 0 -1 1077944384 28518 13410 0 0 586 6 5 3 20 0 15 0 405361721 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868787129072 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10846964 memory=37664 CPUtime=3.63 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) S 4453 4456 466 0 -1 1077944384 27789 13410 0 0 348 7 5 3 20 0 15 0 405361721 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868786076272 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10846964 memory=1228 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11107291136 334935 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10846964 memory=1339740 CPUtime=1.64 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1951 13410 0 0 74 82 5 3 20 0 15 0 405361722 11107291136 334935 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 2433.69 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1339740 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.45 1.41 3/229 5011
/proc/meminfo: memFree=19868400/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=10846964 memory=1339796 CPUtime=2494.66 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 299798 13410 0 0 249053 405 5 3 20 0 15 0 405361706 11107291136 334949 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2711741 334949 3629 1 0 2673805 0
[pid=4456/tid=4509] ppid=4453 vsize=10846964 memory=1339792 CPUtime=2413.04 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 95050 13410 0 0 241233 63 5 3 20 0 15 0 405361716 11107291136 334949 33554432000 4194304 4196468 140725998268080 139869335312656 139868978958996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10846964 memory=1339740 CPUtime=13.03 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 22469 13410 0 0 1230 65 5 3 20 0 15 0 405361716 11107291136 334949 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10846964 memory=1339796 CPUtime=13.01 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 17716 13410 0 0 1228 65 5 3 20 0 15 0 405361716 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10846964 memory=1339796 CPUtime=13.05 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 15806 13410 0 0 1234 63 5 3 20 0 15 0 405361716 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10846964 memory=1339796 CPUtime=13.03 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 30261 13410 0 0 1227 68 5 3 20 0 15 0 405361716 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10846964 memory=1339796 CPUtime=12.01 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 21481 13410 0 0 1132 61 5 3 20 0 15 0 405361718 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10846964 memory=1339796 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 50 13410 0 0 0 0 5 3 20 0 15 0 405361718 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868821738592 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10846964 memory=1339796 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 6 13410 0 0 0 0 5 3 20 0 15 0 405361719 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868696994688 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10846964 memory=1339792 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10846964 memory=1339796 CPUtime=6.78 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) S 4453 4456 466 0 -1 1077944384 36463 13410 0 0 663 7 5 3 20 0 15 0 405361721 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868788181872 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10846964 memory=3924 CPUtime=6 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) S 4453 4456 466 0 -1 1077944384 28520 13410 0 0 586 6 5 3 20 0 15 0 405361721 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868787129072 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10846964 memory=3924 CPUtime=3.63 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) S 4453 4456 466 0 -1 1077944384 27791 13410 0 0 348 7 5 3 20 0 15 0 405361721 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868786076272 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10846964 memory=1339796 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11107291136 334949 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10846964 memory=15208 CPUtime=1.68 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1974 13410 0 0 77 83 5 3 20 0 15 0 405361722 11107291136 334949 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 2494.66 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1339796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.3 s]
/proc/loadavg: 1.42 1.43 1.41 3/229 5012
/proc/meminfo: memFree=19927664/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=10846964 memory=1347568 CPUtime=2520.04 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 300637 13410 0 0 251588 408 5 3 20 0 15 0 405361706 11107291136 336892 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2711741 336892 3629 1 0 2673805 0
[pid=4456/tid=4509] ppid=4453 vsize=10846964 memory=1347568 CPUtime=2437.74 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 95451 13410 0 0 243702 64 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139869335312432 139868981459173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10846964 memory=1347568 CPUtime=13.16 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 22654 13410 0 0 1242 66 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10846964 memory=1341468 CPUtime=13.15 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 17806 13410 0 0 1241 66 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10846964 memory=1341440 CPUtime=13.2 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 15813 13410 0 0 1248 64 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10846964 memory=1341440 CPUtime=13.16 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 30267 13410 0 0 1240 68 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10846964 memory=1347568 CPUtime=12.14 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 21623 13410 0 0 1144 62 5 3 20 0 15 0 405361718 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10846964 memory=1339796 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 50 13410 0 0 0 0 5 3 20 0 15 0 405361718 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868821738592 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10846964 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 6 13410 0 0 0 0 5 3 20 0 15 0 405361719 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868696994688 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10846964 memory=1347568 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10846964 memory=1347568 CPUtime=6.78 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) S 4453 4456 466 0 -1 1077944384 36465 13410 0 0 663 7 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868788181872 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10846964 memory=752 CPUtime=6 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) S 4453 4456 466 0 -1 1077944384 28522 13410 0 0 586 6 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868787129072 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10846964 memory=3924 CPUtime=3.63 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) S 4453 4456 466 0 -1 1077944384 27793 13410 0 0 348 7 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868786076272 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10846964 memory=1341468 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11107291136 336892 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10846964 memory=1341468 CPUtime=1.7 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1976 13410 0 0 78 84 5 3 20 0 15 0 405361722 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1347568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.33 s]
# the end of solver process 4456 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.95 s, system=4.13598 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.3 s]
/proc/loadavg: 1.42 1.43 1.41 3/229 5012
/proc/meminfo: memFree=19927664/32770624 swapFree=67108848/67108860
[pid=4456] ppid=4453 vsize=10846964 memory=1347568 CPUtime=2520.04 cores=0,2,4,6
/proc/4456/stat : 4456 (java) S 4453 4456 466 0 -1 1077944320 300637 13410 0 0 251588 408 5 3 20 0 15 0 405361706 11107291136 336892 33554432000 4194304 4196468 140725998268080 140725998250624 139869363478263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
/proc/4456/statm: 2711741 336892 3629 1 0 2673805 0
[pid=4456/tid=4509] ppid=4453 vsize=10846964 memory=1347568 CPUtime=2437.74 cores=0,2,4,6
/proc/4456/task/4509/stat : 4509 (java) R 4453 4456 466 0 -1 4202560 95451 13410 0 0 243702 64 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139869335312432 139868981459173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4510] ppid=4453 vsize=10846964 memory=1347568 CPUtime=13.16 cores=0,2,4,6
/proc/4456/task/4510/stat : 4510 (java) S 4453 4456 466 0 -1 1077944384 22654 13410 0 0 1242 66 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139869367721104 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4511] ppid=4453 vsize=10846964 memory=1341468 CPUtime=13.15 cores=0,2,4,6
/proc/4456/task/4511/stat : 4511 (java) S 4453 4456 466 0 -1 1077944384 17806 13410 0 0 1241 66 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868936440848 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4512] ppid=4453 vsize=10846964 memory=1341440 CPUtime=13.2 cores=0,2,4,6
/proc/4456/task/4512/stat : 4512 (java) S 4453 4456 466 0 -1 1077944384 15813 13410 0 0 1248 64 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868935388048 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4513] ppid=4453 vsize=10846964 memory=1341440 CPUtime=13.16 cores=0,2,4,6
/proc/4456/task/4513/stat : 4513 (java) S 4453 4456 466 0 -1 1077944384 30267 13410 0 0 1240 68 5 3 20 0 15 0 405361716 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868934335248 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4514] ppid=4453 vsize=10846964 memory=1347568 CPUtime=12.14 cores=0,2,4,6
/proc/4456/task/4514/stat : 4514 (java) S 4453 4456 466 0 -1 1077944384 21623 13410 0 0 1144 62 5 3 20 0 15 0 405361718 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868822792560 139869363489410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4515] ppid=4453 vsize=10846964 memory=1339796 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4515/stat : 4515 (java) S 4453 4456 466 0 -1 1077944384 50 13410 0 0 0 0 5 3 20 0 15 0 405361718 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868821738592 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4516] ppid=4453 vsize=10846964 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4516/stat : 4516 (java) S 4453 4456 466 0 -1 1077944384 6 13410 0 0 0 0 5 3 20 0 15 0 405361719 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868696994688 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4517] ppid=4453 vsize=10846964 memory=1347568 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4517/stat : 4517 (java) S 4453 4456 466 0 -1 1077944384 2 13410 0 0 0 0 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868093015888 139869363496859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4518] ppid=4453 vsize=10846964 memory=1347568 CPUtime=6.78 cores=0,2,4,6
/proc/4456/task/4518/stat : 4518 (java) S 4453 4456 466 0 -1 1077944384 36465 13410 0 0 663 7 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868788181872 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4519] ppid=4453 vsize=10846964 memory=752 CPUtime=6 cores=0,2,4,6
/proc/4456/task/4519/stat : 4519 (java) S 4453 4456 466 0 -1 1077944384 28522 13410 0 0 586 6 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868787129072 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4520] ppid=4453 vsize=10846964 memory=3924 CPUtime=3.63 cores=0,2,4,6
/proc/4456/task/4520/stat : 4520 (java) S 4453 4456 466 0 -1 1077944384 27793 13410 0 0 348 7 5 3 20 0 15 0 405361721 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868786076272 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4521] ppid=4453 vsize=10846964 memory=1341468 CPUtime=0.08 cores=0,2,4,6
/proc/4456/task/4521/stat : 4521 (java) S 4453 4456 466 0 -1 1077944384 3 13410 0 0 0 0 5 3 20 0 15 0 405361722 11107291136 336892 33554432000 4194304 4196468 140725998268080 139867623254752 139869363488469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
[pid=4456/tid=4522] ppid=4453 vsize=10846964 memory=1341468 CPUtime=1.7 cores=0,2,4,6
/proc/4456/task/4522/stat : 4522 (java) S 4453 4456 466 0 -1 1077944384 1976 13410 0 0 78 84 5 3 20 0 15 0 405361722 11107291136 336892 33554432000 4194304 4196468 140725998268080 139868785023664 139869363489410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22700032 140725998275317 140725998277829 140725998277829 140725998280655 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1347568 KiB
Child status: 143
Real time (s): 2467.33
CPU time (s): 2520.09
CPU user time (s): 2515.95
CPU system time (s): 4.13598
CPU usage (%): 102.138
Max. virtual memory (cumulated for all children) (KiB): 10848912
Max. memory (cumulated for all children) (KiB): 1347568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.95
system time used= 4.13598
maximum resident set size= 1351716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327622
involuntary context switches= 9562
# summary of solver processes directly reported to runsolver:
# pid: 4456
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.95
# total CPU system time (s): 4.13598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5311 second user time and 23.7047 second system time
The end