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 (4351 MiB free)
memory of node 1: 16384 MiB (5559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402646-1568984597/watcher-4402646-1568984597 -o /var/tmp/evaluation-result-4402646-1568984597/solver-4402646-1568984597 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31373 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1610828603 HOME/instance-4402646-1568984597.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3995, runsolver pid=3992
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.46 1.37 1.35 3/220 4052
/proc/meminfo: memFree=10142808/32770624 swapFree=66972196/67108860
[pid=3995] ppid=3992 vsize=9972712 memory=16808 CPUtime=0.1 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 4467 13423 0 0 1 1 5 3 20 0 6 0 474401594 10212057088 4202 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2493178 4202 1934 1 0 2481616 0
[pid=3995/tid=4048] ppid=3992 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 2312 13423 0 0 0 0 5 3 20 0 6 0 474401603 10212057088 4268 33554432000 4194304 4196468 140721629834736 139976905151056 139976917394782 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=9972712 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 6 0 474401604 10212057088 4268 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=9972712 memory=140344215328384 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 6 0 474401604 10212057088 4268 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 6 0 474401604 10212057088 4268 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 6 0 474401604 10212057088 4268 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210024 s]*
/proc/loadavg: 1.46 1.37 1.35 4/229 4061
/proc/meminfo: memFree=10117696/32770624 swapFree=66972196/67108860
[pid=3995] ppid=3992 vsize=10820196 memory=44504 CPUtime=0.28 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 7454 13423 0 0 18 2 5 3 20 0 15 0 474401594 11079880704 11126 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2705049 11126 3309 1 0 2667149 0
[pid=3995/tid=4048] ppid=3992 vsize=10820196 memory=-8171376296011865461 CPUtime=0.2 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 3933 13423 0 0 11 1 5 3 20 0 15 0 474401603 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976905128480 139976933336221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10820196 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10820196 memory=140344215328384 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10820196 memory=140344215328384 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401605 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 33 13423 0 0 0 0 5 3 20 0 15 0 474401605 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976390931360 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401606 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976272503792 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11079880704 11126 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 365 13423 0 0 1 0 5 3 20 0 15 0 474401608 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) S 3992 3995 31341 0 -1 1077944384 301 13423 0 0 1 0 5 3 20 0 15 0 474401608 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976356321904 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10820196 memory=140344215328384 CPUtime=0.11 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) S 3992 3995 31341 0 -1 1077944384 603 13423 0 0 3 0 5 3 20 0 15 0 474401608 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976355269360 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11079880704 11126 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10820196 memory=140344215328384 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401609 11079880704 11126 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44504 KiB
[startup+0.310741 s]*
/proc/loadavg: 1.46 1.37 1.35 5/229 4061
/proc/meminfo: memFree=10107060/32770624 swapFree=66972196/67108860
[pid=3995] ppid=3992 vsize=10820196 memory=52792 CPUtime=0.41 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 10949 13423 0 0 30 3 5 3 20 0 15 0 474401594 11079880704 13198 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2705049 13198 3327 1 0 2667149 0
[pid=3995/tid=4048] ppid=3992 vsize=10820196 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 7421 13423 0 0 19 2 5 3 20 0 15 0 474401603 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976905130560 139976919563536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10820196 memory=8693815914432465728 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10820196 memory=-8412656567334364540 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401604 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401605 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 33 13423 0 0 0 0 5 3 20 0 15 0 474401605 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976390931360 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401606 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976272503792 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11079880704 13198 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 365 13423 0 0 2 0 5 3 20 0 15 0 474401608 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) S 3992 3995 31341 0 -1 1077944384 302 13423 0 0 2 0 5 3 20 0 15 0 474401608 11079880704 13198 33554432000 4194304 4196468 140721629834736 139976356321904 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) S 3992 3995 31341 0 -1 1077944384 611 13423 0 0 5 0 5 3 20 0 15 0 474401608 11079880704 13263 33554432000 4194304 4196468 140721629834736 139976355269360 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11079880704 13263 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401609 11079880704 13263 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52792 KiB
[startup+0.700758 s]
/proc/loadavg: 1.46 1.37 1.35 3/229 4061
/proc/meminfo: memFree=10092520/32770624 swapFree=66972196/67108860
[pid=3995] ppid=3992 vsize=10824364 memory=85372 CPUtime=1.17 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 15118 13423 0 0 104 5 5 3 20 0 15 0 474401594 11084148736 21343 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2706091 21343 3508 1 0 2668173 0
[pid=3995/tid=4048] ppid=3992 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 10514 13423 0 0 56 3 5 3 20 0 15 0 474401603 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976905143840 139976917394782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401604 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10824364 memory=8174711894690969397 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401604 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10824364 memory=6297809512244072793 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401604 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10824364 memory=6368442160687370338 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401604 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10824364 memory=3053511329498284128 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 6 13423 0 0 0 0 5 3 20 0 15 0 474401605 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 33 13423 0 0 0 0 5 3 20 0 15 0 474401605 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976390931360 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401606 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976272503792 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10824364 memory=3612 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11084148736 21343 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10824364 memory=2241 CPUtime=0.22 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 789 13423 0 0 14 0 5 3 20 0 15 0 474401608 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10824364 memory=2244 CPUtime=0.23 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) R 3992 3995 31341 0 -1 4202560 784 13423 0 0 15 0 5 3 20 0 15 0 474401608 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976356321904 139976914858513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) R 3992 3995 31341 0 -1 4202560 775 13423 0 0 17 0 5 3 20 0 15 0 474401608 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976355269360 139976933335642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11084148736 21343 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401609 11084148736 21343 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85372 KiB
[startup+1.50075 s]
/proc/loadavg: 1.46 1.37 1.35 5/229 4061
/proc/meminfo: memFree=10031360/32770624 swapFree=66972196/67108860
[pid=3995] ppid=3992 vsize=10832632 memory=216912 CPUtime=3.14 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 25903 13423 0 0 296 10 5 3 20 0 15 0 474401594 11092615168 54228 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2708158 54228 3587 1 0 2670221 0
[pid=3995/tid=4048] ppid=3992 vsize=10832632 memory=171 CPUtime=1.43 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 15060 13423 0 0 129 6 5 3 20 0 15 0 474401603 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976905147072 139976917394782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10832632 memory=79 CPUtime=0.09 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 18 13423 0 0 1 0 5 3 20 0 15 0 474401604 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 252 13423 0 0 1 0 5 3 20 0 15 0 474401604 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 79 13423 0 0 1 0 5 3 20 0 15 0 474401604 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 31 13423 0 0 1 0 5 3 20 0 15 0 474401604 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 106 13423 0 0 1 0 5 3 20 0 15 0 474401605 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 33 13423 0 0 0 0 5 3 20 0 15 0 474401605 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976390931424 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10832632 memory=7445382928086034786 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401606 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976272503808 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10832632 memory=-2245088631185882904 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11092615168 54228 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10832632 memory=8594178284291729050 CPUtime=0.67 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 3018 13423 0 0 58 1 5 3 20 0 15 0 474401608 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10832632 memory=-6653879747326032730 CPUtime=0.65 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) S 3992 3995 31341 0 -1 1077944384 3184 13423 0 0 57 0 5 3 20 0 15 0 474401608 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976356321904 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10832632 memory=-1088251628401078322 CPUtime=0.49 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) S 3992 3995 31341 0 -1 1077944384 1910 13423 0 0 41 0 5 3 20 0 15 0 474401608 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976355269360 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10832632 memory=-1807685287717842718 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11092615168 54228 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10832632 memory=280688192493592 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1 13423 0 0 0 0 5 3 20 0 15 0 474401609 11092615168 54228 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 97525 13423 0 0 236005 57 5 3 20 0 15 0 474401603 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976905150144 139976511912161 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10846988 memory=8112282956445269571 CPUtime=13.7 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 21860 13423 0 0 1321 41 5 3 20 0 15 0 474401604 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10846988 memory=663888 CPUtime=13.62 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 24254 13423 0 0 1317 37 5 3 20 0 15 0 474401604 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10846988 memory=660832 CPUtime=13.66 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 26404 13423 0 0 1318 40 5 3 20 0 15 0 474401604 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10846988 memory=657752 CPUtime=13.61 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 29110 13423 0 0 1314 39 5 3 20 0 15 0 474401604 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10846988 memory=657240 CPUtime=5.38 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 21130 13423 0 0 469 61 5 3 20 0 15 0 474401605 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10846988 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 51 13423 0 0 0 0 5 3 20 0 15 0 474401605 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976390931488 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10846988 memory=655700 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 19 13423 0 0 0 0 5 3 20 0 15 0 474401606 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976272503808 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10846988 memory=655700 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11107315712 163669 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10846988 memory=654676 CPUtime=10.69 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 38887 13423 0 0 1054 7 5 3 20 0 15 0 474401608 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10846988 memory=662884 CPUtime=10.08 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) S 3992 3995 31341 0 -1 1077944384 39759 13423 0 0 996 4 5 3 20 0 15 0 474401608 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976356321904 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10846988 memory=280688192897352 CPUtime=2.75 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) S 3992 3995 31341 0 -1 1077944384 24495 13423 0 0 261 6 5 3 20 0 15 0 474401608 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976355269360 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10846988 memory=5787213827163908199 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11107315712 163669 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10846988 memory=656212 CPUtime=1.54 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1727 13423 0 0 73 73 5 3 20 0 15 0 474401609 11107315712 163669 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 2445.14 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 654676 KiB
[startup+2442.3 s]
/proc/loadavg: 1.53 1.55 1.57 3/228 4416
/proc/meminfo: memFree=6922464/32770624 swapFree=66972208/67108860
[pid=3995] ppid=3992 vsize=10846988 memory=608004 CPUtime=2506.38 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 329092 13423 0 0 250287 343 5 3 20 0 15 0 474401594 11107315712 152001 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2711747 152001 3644 1 0 2673805 0
[pid=3995/tid=4048] ppid=3992 vsize=10846988 memory=609544 CPUtime=2420.05 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 98122 13423 0 0 241940 57 5 3 20 0 15 0 474401603 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976905150048 139976511913000 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10846988 memory=631076 CPUtime=14.13 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 22013 13423 0 0 1363 42 5 3 20 0 15 0 474401604 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10846988 memory=625948 CPUtime=14.05 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 24673 13423 0 0 1359 38 5 3 20 0 15 0 474401604 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10846988 memory=641848 CPUtime=14.09 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 26510 13423 0 0 1360 41 5 3 20 0 15 0 474401604 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10846988 memory=614672 CPUtime=14.03 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 29358 13423 0 0 1355 40 5 3 20 0 15 0 474401604 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10846988 memory=616200 CPUtime=5.54 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 21244 13423 0 0 483 63 5 3 20 0 15 0 474401605 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10846988 memory=616200 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 51 13423 0 0 0 0 5 3 20 0 15 0 474401605 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976390931488 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10846988 memory=613132 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 19 13423 0 0 0 0 5 3 20 0 15 0 474401606 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976272503808 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10846988 memory=610568 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11107315712 152001 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10846988 memory=608516 CPUtime=10.69 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 38889 13423 0 0 1054 7 5 3 20 0 15 0 474401608 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10846988 memory=608004 CPUtime=10.08 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) S 3992 3995 31341 0 -1 1077944384 39761 13423 0 0 996 4 5 3 20 0 15 0 474401608 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976356321904 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10846988 memory=608516 CPUtime=2.75 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) S 3992 3995 31341 0 -1 1077944384 24497 13423 0 0 261 6 5 3 20 0 15 0 474401608 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976355269360 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10846988 memory=612108 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11107315712 152001 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10846988 memory=610568 CPUtime=1.58 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1745 13423 0 0 75 75 5 3 20 0 15 0 474401609 11107315712 152001 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 2506.38 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 608004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.7 s]
/proc/loadavg: 1.63 1.57 1.58 3/229 4418
/proc/meminfo: memFree=6931456/32770624 swapFree=66972208/67108860
[pid=3995] ppid=3992 vsize=10846988 memory=598776 CPUtime=2520.08 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 329415 13423 0 0 251656 344 5 3 20 0 15 0 474401594 11107315712 149694 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2711747 149694 3644 1 0 2673805 0
[pid=3995/tid=4048] ppid=3992 vsize=10846988 memory=598776 CPUtime=2433.3 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 98273 13423 0 0 243265 57 5 3 20 0 15 0 474401603 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976905150080 139976510691392 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10846988 memory=3612 CPUtime=14.23 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 22058 13423 0 0 1373 42 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10846988 memory=599292 CPUtime=14.15 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 24732 13423 0 0 1369 38 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10846988 memory=601848 CPUtime=14.19 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 26541 13423 0 0 1370 41 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10846988 memory=603900 CPUtime=14.13 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 29387 13423 0 0 1365 40 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10846988 memory=606464 CPUtime=5.58 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 21251 13423 0 0 486 64 5 3 20 0 15 0 474401605 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10846988 memory=616200 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 51 13423 0 0 0 0 5 3 20 0 15 0 474401605 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976390931488 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10846988 memory=614672 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 19 13423 0 0 0 0 5 3 20 0 15 0 474401606 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976272503808 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10846988 memory=641848 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10846988 memory=625948 CPUtime=10.69 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 38889 13423 0 0 1054 7 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10846988 memory=631076 CPUtime=10.08 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) S 3992 3995 31341 0 -1 1077944384 39761 13423 0 0 996 4 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976356321904 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10846988 memory=600308 CPUtime=2.75 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) S 3992 3995 31341 0 -1 1077944384 24497 13423 0 0 261 6 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976355269360 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10846988 memory=598776 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11107315712 149694 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10846988 memory=2044 CPUtime=1.59 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1746 13423 0 0 76 75 5 3 20 0 15 0 474401609 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 598776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.74 s]
# the end of solver process 3995 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.65 s, system=3.483 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2455.7 s]
/proc/loadavg: 1.63 1.57 1.58 3/229 4418
/proc/meminfo: memFree=6931456/32770624 swapFree=66972208/67108860
[pid=3995] ppid=3992 vsize=10846988 memory=598776 CPUtime=2520.08 cores=1,3,5,7
/proc/3995/stat : 3995 (java) S 3992 3995 31341 0 -1 1077944320 329415 13423 0 0 251656 344 5 3 20 0 15 0 474401594 11107315712 149694 33554432000 4194304 4196468 140721629834736 140721629817280 139976933314295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
/proc/3995/statm: 2711747 149694 3644 1 0 2673805 0
[pid=3995/tid=4048] ppid=3992 vsize=10846988 memory=598776 CPUtime=2433.3 cores=1,3,5,7
/proc/3995/task/4048/stat : 4048 (java) R 3992 3995 31341 0 -1 4202560 98273 13423 0 0 243265 57 5 3 20 0 15 0 474401603 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976905150080 139976510691392 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4049] ppid=3992 vsize=10846988 memory=3612 CPUtime=14.23 cores=1,3,5,7
/proc/3995/task/4049/stat : 4049 (java) S 3992 3995 31341 0 -1 1077944384 22058 13423 0 0 1373 42 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976937556752 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4050] ppid=3992 vsize=10846988 memory=599292 CPUtime=14.15 cores=1,3,5,7
/proc/3995/task/4050/stat : 4050 (java) S 3992 3995 31341 0 -1 1077944384 24732 13423 0 0 1369 38 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976825830288 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4051] ppid=3992 vsize=10846988 memory=601848 CPUtime=14.19 cores=1,3,5,7
/proc/3995/task/4051/stat : 4051 (java) S 3992 3995 31341 0 -1 1077944384 26541 13423 0 0 1370 41 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976824777744 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4052] ppid=3992 vsize=10846988 memory=603900 CPUtime=14.13 cores=1,3,5,7
/proc/3995/task/4052/stat : 4052 (java) S 3992 3995 31341 0 -1 1077944384 29387 13423 0 0 1365 40 5 3 20 0 15 0 474401604 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976823725200 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4053] ppid=3992 vsize=10846988 memory=606464 CPUtime=5.58 cores=1,3,5,7
/proc/3995/task/4053/stat : 4053 (java) S 3992 3995 31341 0 -1 1077944384 21251 13423 0 0 486 64 5 3 20 0 15 0 474401605 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976391985136 139976933325442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4054] ppid=3992 vsize=10846988 memory=616200 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4054/stat : 4054 (java) S 3992 3995 31341 0 -1 1077944384 51 13423 0 0 0 0 5 3 20 0 15 0 474401605 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976390931488 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4055] ppid=3992 vsize=10846988 memory=614672 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4055/stat : 4055 (java) S 3992 3995 31341 0 -1 1077944384 19 13423 0 0 0 0 5 3 20 0 15 0 474401606 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976272503808 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4056] ppid=3992 vsize=10846988 memory=641848 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4056/stat : 4056 (java) S 3992 3995 31341 0 -1 1077944384 2 13423 0 0 0 0 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139975668525264 139976933332891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4057] ppid=3992 vsize=10846988 memory=625948 CPUtime=10.69 cores=1,3,5,7
/proc/3995/task/4057/stat : 4057 (java) S 3992 3995 31341 0 -1 1077944384 38889 13423 0 0 1054 7 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976357374448 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4058] ppid=3992 vsize=10846988 memory=631076 CPUtime=10.08 cores=1,3,5,7
/proc/3995/task/4058/stat : 4058 (java) S 3992 3995 31341 0 -1 1077944384 39761 13423 0 0 996 4 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976356321904 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4059] ppid=3992 vsize=10846988 memory=600308 CPUtime=2.75 cores=1,3,5,7
/proc/3995/task/4059/stat : 4059 (java) S 3992 3995 31341 0 -1 1077944384 24497 13423 0 0 261 6 5 3 20 0 15 0 474401608 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976355269360 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4060] ppid=3992 vsize=10846988 memory=598776 CPUtime=0.08 cores=1,3,5,7
/proc/3995/task/4060/stat : 4060 (java) S 3992 3995 31341 0 -1 1077944384 3 13423 0 0 0 0 5 3 20 0 15 0 474401609 11107315712 149694 33554432000 4194304 4196468 140721629834736 139975198764128 139976933324501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
[pid=3995/tid=4061] ppid=3992 vsize=10846988 memory=2044 CPUtime=1.59 cores=1,3,5,7
/proc/3995/task/4061/stat : 4061 (java) S 3992 3995 31341 0 -1 1077944384 1746 13423 0 0 76 75 5 3 20 0 15 0 474401609 11107315712 149694 33554432000 4194304 4196468 140721629834736 139976354216240 139976933325442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 33779712 140721629837923 140721629840565 140721629840565 140721629843407 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 598776 KiB
Child status: 143
Real time (s): 2455.74
CPU time (s): 2520.13
CPU user time (s): 2516.65
CPU system time (s): 3.483
CPU usage (%): 102.622
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2586752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.65
system time used= 3.48299
maximum resident set size= 2588292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344206
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165357
involuntary context switches= 5145
# summary of solver processes directly reported to runsolver:
# pid: 3995
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.65
# total CPU system time (s): 3.483
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0356 second user time and 22.835 second system time
The end