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 (9396 MiB free)
memory of node 1: 16384 MiB (13007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387198-1568294004/watcher-4387198-1568294004 -o /tmp/evaluation-result-4387198-1568294004/solver-4387198-1568294004 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568286551-1787 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=979982393 HOME/instance-4387198-1568294004.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
Current StackSize limit: 8192 KiB
solver pid=4309, runsolver pid=4306
[startup+0.100092 s]*
/proc/loadavg: 1.12 1.32 1.37 3/217 4366
/proc/meminfo: memFree=22936200/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=9972712 memory=18600 CPUtime=0.1 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 4384 13308 0 0 1 1 5 3 20 0 6 0 405337811 10212057088 4650 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2493178 4650 1933 1 0 2481616 0
[pid=4309/tid=4362] ppid=4306 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 2188 13308 0 0 0 0 5 3 20 0 6 0 405337820 10212057088 4650 33554432000 4194304 4196468 140732553620720 139839437148752 139839446705725 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 6 0 405337821 10212057088 4650 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=9972712 memory=139856397891200 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 6 0 405337821 10212057088 4650 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 6 0 405337821 10212057088 4650 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 6 0 405337821 10212057088 4650 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18600 KiB
[startup+0.209922 s]*
/proc/loadavg: 1.12 1.32 1.37 3/226 4375
/proc/meminfo: memFree=22918136/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=10818940 memory=36260 CPUtime=0.26 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 6934 13308 0 0 17 1 5 3 20 0 15 0 405337811 11078594560 9065 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2704735 9065 2981 1 0 2667149 0
[pid=4309/tid=4362] ppid=4306 vsize=10818940 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 3395 13308 0 0 11 1 5 3 20 0 15 0 405337820 11078594560 9065 33554432000 4194304 4196468 140732553620720 139839437108176 139839449392478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10818940 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11078594560 9065 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10818940 memory=139856397903082 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11078594560 9065 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11078594560 9065 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 405337821 11078594560 9065 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10818940 memory=139856397891200 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 405337822 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 33 13308 0 0 0 0 5 3 20 0 15 0 405337822 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838467655328 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337823 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838363788528 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 364 13308 0 0 1 0 5 3 20 0 15 0 405337825 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10818940 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 280 13308 0 0 1 0 5 3 20 0 15 0 405337825 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10818940 memory=139856397891200 CPUtime=0.11 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) S 4306 4309 466 0 -1 1077944384 642 13308 0 0 3 0 5 3 20 0 15 0 405337825 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838431991792 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10818940 memory=139856397891200 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337826 11078594560 9065 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 36260 KiB
[startup+0.310408 s]*
/proc/loadavg: 1.12 1.32 1.37 3/226 4375
/proc/meminfo: memFree=22907764/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=10820096 memory=48084 CPUtime=0.4 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 10577 13308 0 0 29 3 5 3 20 0 15 0 405337811 11079778304 12021 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2705024 12021 3290 1 0 2667149 0
[pid=4309/tid=4362] ppid=4306 vsize=10820244 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 7016 13308 0 0 19 2 5 3 20 0 15 0 405337820 11079929856 12021 33554432000 4194304 4196468 140732553620720 139839437093888 139839388388306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10820244 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11079929856 12021 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11079929856 12021 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11079929856 12021 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10820244 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 405337821 11079929856 12021 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 405337822 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 33 13308 0 0 0 0 5 3 20 0 15 0 405337822 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838467655328 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337823 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838363788528 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10820244 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 365 13308 0 0 1 0 5 3 20 0 15 0 405337825 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10820244 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 281 13308 0 0 2 0 5 3 20 0 15 0 405337825 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10820244 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) S 4306 4309 466 0 -1 1077944384 666 13308 0 0 6 0 5 3 20 0 15 0 405337825 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838431991792 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10820244 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337826 11079929856 12021 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 48084 KiB
[startup+0.700852 s]
/proc/loadavg: 1.12 1.32 1.37 5/226 4375
/proc/meminfo: memFree=22891800/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=10824340 memory=78216 CPUtime=1.14 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 14847 13308 0 0 100 6 5 3 20 0 15 0 405337811 11084124160 19554 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2706085 19554 3490 1 0 2668173 0
[pid=4309/tid=4362] ppid=4306 vsize=10824340 memory=1089694 CPUtime=0.67 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 10462 13308 0 0 54 5 5 3 20 0 15 0 405337820 11084124160 19554 33554432000 4194304 4196468 140732553620720 139839437135600 139839465333917 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10824340 memory=7238798801035146293 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11084124160 19554 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10824340 memory=6219559417397133415 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11084124160 19554 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10824340 memory=139856397890065 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337821 11084124160 19554 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 405337821 11084124160 19554 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 5 13308 0 0 0 0 5 3 20 0 15 0 405337822 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 33 13308 0 0 0 0 5 3 20 0 15 0 405337822 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838467655328 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337823 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838363788528 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 692 13308 0 0 14 0 5 3 20 0 15 0 405337825 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 575 13308 0 0 13 0 5 3 20 0 15 0 405337825 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10824340 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) S 4306 4309 466 0 -1 1077944384 862 13308 0 0 17 0 5 3 20 0 15 0 405337825 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838431991792 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10824340 memory=15208 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 1 13308 0 0 0 0 5 3 20 0 15 0 405337826 11084124160 19554 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 78216 KiB
[startup+1.50068 s]
/proc/loadavg: 1.12 1.32 1.37 4/226 4375
/proc/meminfo: memFree=22849348/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=10834656 memory=166420 CPUtime=2.49 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 24042 13308 0 0 231 10 5 3 20 0 15 0 405337811 11094687744 41605 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2708664 41605 3577 1 0 2670733 0
[pid=4309/tid=4362] ppid=4306 vsize=10834656 memory=1964 CPUtime=1.43 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 15493 13308 0 0 129 6 5 3 20 0 15 0 405337820 11094687744 41605 33554432000 4194304 4196468 140732553620720 139839437119552 139839051738345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10834656 memory=2692 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 104 13308 0 0 1 0 5 3 20 0 15 0 405337821 11094687744 41605 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10834656 memory=2376 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 33 13308 0 0 0 0 5 3 20 0 15 0 405337821 11094687744 41605 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 87 13308 0 0 1 0 5 3 20 0 15 0 405337821 11094687744 41605 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10834656 memory=279712563804192 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 417 13308 0 0 1 0 5 3 20 0 15 0 405337821 11094687744 41605 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 2239 13308 0 0 1 0 5 3 20 0 15 0 405337822 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10834656 memory=7156874474328962624 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 54 13308 0 0 0 0 5 3 20 0 15 0 405337822 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838467655392 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10834656 memory=7380644800151906665 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 2 13308 0 0 0 0 5 3 20 0 15 0 405337823 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838363788544 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10834656 memory=6081646638905780330 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10834656 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 887 13308 0 0 26 0 5 3 20 0 15 0 405337825 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10834656 memory=288230583166042426 CPUtime=0.35 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 802 13308 0 0 27 0 5 3 20 0 15 0 405337825 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10834656 memory=10821 CPUtime=0.49 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) R 4306 4309 466 0 -1 4202560 1709 13308 0 0 41 0 5 3 20 0 15 0 405337825 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838431991792 139839449557216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10834656 memory=26163 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11094687744 41605 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 78803 13308 0 0 235334 60 5 3 20 0 15 0 405337820 11107291136 343603 33554432000 4194304 4196468 140732553620720 139839437146848 139839055682822 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10846964 memory=1374380 CPUtime=12.63 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 12217 13308 0 0 1192 63 5 3 20 0 15 0 405337821 11107291136 343603 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10846964 memory=1374412 CPUtime=12.57 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 12556 13308 0 0 1186 63 5 3 20 0 15 0 405337821 11107291136 343603 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10846964 memory=1374412 CPUtime=12.63 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 12242 13308 0 0 1197 58 5 3 20 0 15 0 405337821 11107291136 343603 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10846964 memory=1374380 CPUtime=12.62 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 16264 13308 0 0 1193 61 5 3 20 0 15 0 405337821 11107291136 343603 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10846964 memory=1374412 CPUtime=12.05 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 16380 13308 0 0 1131 66 5 3 20 0 15 0 405337822 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10846964 memory=279712564519872 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 62 13308 0 0 0 0 5 3 20 0 15 0 405337822 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838467655456 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10846964 memory=10791 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 10 13308 0 0 0 0 5 3 20 0 15 0 405337823 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838363788544 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10846964 memory=1374412 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10846964 memory=3924 CPUtime=5.37 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 33699 13308 0 0 524 5 5 3 20 0 15 0 405337825 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10846964 memory=1374412 CPUtime=6.35 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 38042 13308 0 0 621 6 5 3 20 0 15 0 405337825 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10846964 memory=1374412 CPUtime=3.81 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) S 4306 4309 466 0 -1 1077944384 41081 13308 0 0 364 9 5 3 20 0 15 0 405337825 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838431991792 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10846964 memory=1374412 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10846964 memory=1374412 CPUtime=1.6 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 1008 13308 0 0 71 81 5 3 20 0 15 0 405337826 11107291136 343603 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 2433.02 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1374412 KiB
[startup+2442.3 s]
/proc/loadavg: 1.29 1.29 1.36 3/229 4730
/proc/meminfo: memFree=21211932/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=10846964 memory=1376532 CPUtime=2494 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 266541 13308 0 0 248983 409 5 3 20 0 15 0 405337811 11107291136 344133 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2711741 344133 3629 1 0 2673805 0
[pid=4309/tid=4362] ppid=4306 vsize=10846964 memory=1376532 CPUtime=2413.28 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 79851 13308 0 0 241260 60 5 3 20 0 15 0 405337820 11107291136 344133 33554432000 4194304 4196468 140732553620720 139839437147264 139839067939501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10846964 memory=1376532 CPUtime=12.96 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 12248 13308 0 0 1224 64 5 3 20 0 15 0 405337821 11107291136 344133 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10846964 memory=1374424 CPUtime=12.91 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 12697 13308 0 0 1218 65 5 3 20 0 15 0 405337821 11107291136 344133 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10846964 memory=1374460 CPUtime=12.96 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 12304 13308 0 0 1229 59 5 3 20 0 15 0 405337821 11107291136 344133 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10846964 memory=1376516 CPUtime=12.96 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 16675 13308 0 0 1226 62 5 3 20 0 15 0 405337821 11107291136 344133 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10846964 memory=1376516 CPUtime=12.36 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 16637 13308 0 0 1161 67 5 3 20 0 15 0 405337822 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10846964 memory=1376516 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 62 13308 0 0 0 0 5 3 20 0 15 0 405337822 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838467655456 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10846964 memory=1376516 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 10 13308 0 0 0 0 5 3 20 0 15 0 405337823 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838363788544 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10846964 memory=1376532 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10846964 memory=1964 CPUtime=5.37 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 33701 13308 0 0 524 5 5 3 20 0 15 0 405337825 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10846964 memory=1376532 CPUtime=6.35 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 38044 13308 0 0 621 6 5 3 20 0 15 0 405337825 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10846964 memory=1376532 CPUtime=3.81 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) S 4306 4309 466 0 -1 1077944384 41083 13308 0 0 364 9 5 3 20 0 15 0 405337825 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838431991792 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10846964 memory=1376532 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10846964 memory=3848 CPUtime=1.65 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 1017 13308 0 0 73 84 5 3 20 0 15 0 405337826 11107291136 344133 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 2494 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1376532 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.9 s]
/proc/loadavg: 0.99 1.21 1.33 3/229 4734
/proc/meminfo: memFree=21210976/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=10846964 memory=1376544 CPUtime=2520.02 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 267262 13308 0 0 251581 413 5 3 20 0 15 0 405337811 11107291136 344136 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2711741 344136 3629 1 0 2673805 0
[pid=4309/tid=4362] ppid=4306 vsize=10846964 memory=1376544 CPUtime=2438.58 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 80197 13308 0 0 243789 61 5 3 20 0 15 0 405337820 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839437146976 139839064440333 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10846964 memory=1376544 CPUtime=13.11 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 12271 13308 0 0 1238 65 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10846964 memory=1376544 CPUtime=13.06 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 12740 13308 0 0 1233 65 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10846964 memory=279709007799914 CPUtime=13.11 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 12309 13308 0 0 1243 60 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10846964 memory=1376544 CPUtime=13.09 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 16785 13308 0 0 1239 62 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10846964 memory=1376544 CPUtime=12.49 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 16814 13308 0 0 1173 68 5 3 20 0 15 0 405337822 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10846964 memory=1376532 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 62 13308 0 0 0 0 5 3 20 0 15 0 405337822 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838467655456 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10846964 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 10 13308 0 0 0 0 5 3 20 0 15 0 405337823 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838363788544 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10846964 memory=1376544 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10846964 memory=14288 CPUtime=5.37 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 33703 13308 0 0 524 5 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10846964 memory=0 CPUtime=6.35 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 38046 13308 0 0 621 6 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10846964 memory=529 CPUtime=3.81 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) S 4306 4309 466 0 -1 1077944384 41085 13308 0 0 364 9 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838431991792 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10846964 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10846964 memory=8026348465444708709 CPUtime=1.66 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 1028 13308 0 0 73 85 5 3 20 0 15 0 405337826 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1376544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.93 s]
# the end of solver process 4309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.9 s, system=4.17611 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.9 s]
/proc/loadavg: 0.99 1.21 1.33 3/229 4734
/proc/meminfo: memFree=21210976/32770624 swapFree=67108848/67108860
[pid=4309] ppid=4306 vsize=10846964 memory=1376544 CPUtime=2520.02 cores=1,3,5,7
/proc/4309/stat : 4309 (java) S 4306 4309 466 0 -1 1077944320 267262 13308 0 0 251581 413 5 3 20 0 15 0 405337811 11107291136 344136 33554432000 4194304 4196468 140732553620720 140732553603264 139839465311991 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
/proc/4309/statm: 2711741 344136 3629 1 0 2673805 0
[pid=4309/tid=4362] ppid=4306 vsize=10846964 memory=1376544 CPUtime=2438.58 cores=1,3,5,7
/proc/4309/task/4362/stat : 4362 (java) R 4306 4309 466 0 -1 4202560 80197 13308 0 0 243789 61 5 3 20 0 15 0 405337820 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839437146976 139839064440333 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4363] ppid=4306 vsize=10846964 memory=1376544 CPUtime=13.11 cores=1,3,5,7
/proc/4309/task/4363/stat : 4363 (java) S 4306 4309 466 0 -1 1077944384 12271 13308 0 0 1238 65 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839469554192 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4364] ppid=4306 vsize=10846964 memory=1376544 CPUtime=13.06 cores=1,3,5,7
/proc/4309/task/4364/stat : 4364 (java) S 4306 4309 466 0 -1 1077944384 12740 13308 0 0 1233 65 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839373757072 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4365] ppid=4306 vsize=10846964 memory=279709007799914 CPUtime=13.11 cores=1,3,5,7
/proc/4309/task/4365/stat : 4365 (java) S 4306 4309 466 0 -1 1077944384 12309 13308 0 0 1243 60 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839372704016 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4366] ppid=4306 vsize=10846964 memory=1376544 CPUtime=13.09 cores=1,3,5,7
/proc/4309/task/4366/stat : 4366 (java) S 4306 4309 466 0 -1 1077944384 16785 13308 0 0 1239 62 5 3 20 0 15 0 405337821 11107291136 344136 33554432000 4194304 4196468 140732553620720 139839371651472 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4367] ppid=4306 vsize=10846964 memory=1376544 CPUtime=12.49 cores=1,3,5,7
/proc/4309/task/4367/stat : 4367 (java) S 4306 4309 466 0 -1 1077944384 16814 13308 0 0 1173 68 5 3 20 0 15 0 405337822 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838468709104 139839465323138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4368] ppid=4306 vsize=10846964 memory=1376532 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4368/stat : 4368 (java) S 4306 4309 466 0 -1 1077944384 62 13308 0 0 0 0 5 3 20 0 15 0 405337822 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838467655456 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4369] ppid=4306 vsize=10846964 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4369/stat : 4369 (java) S 4306 4309 466 0 -1 1077944384 10 13308 0 0 0 0 5 3 20 0 15 0 405337823 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838363788544 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4370] ppid=4306 vsize=10846964 memory=1376544 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4370/stat : 4370 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838056389072 139839465330587 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4371] ppid=4306 vsize=10846964 memory=14288 CPUtime=5.37 cores=1,3,5,7
/proc/4309/task/4371/stat : 4371 (java) S 4306 4309 466 0 -1 1077944384 33703 13308 0 0 524 5 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838434097392 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4372] ppid=4306 vsize=10846964 memory=0 CPUtime=6.35 cores=1,3,5,7
/proc/4309/task/4372/stat : 4372 (java) S 4306 4309 466 0 -1 1077944384 38046 13308 0 0 621 6 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838433044848 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4373] ppid=4306 vsize=10846964 memory=529 CPUtime=3.81 cores=1,3,5,7
/proc/4309/task/4373/stat : 4373 (java) S 4306 4309 466 0 -1 1077944384 41085 13308 0 0 364 9 5 3 20 0 15 0 405337825 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838431991792 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4374] ppid=4306 vsize=10846964 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/4309/task/4374/stat : 4374 (java) S 4306 4309 466 0 -1 1077944384 3 13308 0 0 0 0 5 3 20 0 15 0 405337826 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838022830432 139839465322197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
[pid=4309/tid=4375] ppid=4306 vsize=10846964 memory=8026348465444708709 CPUtime=1.66 cores=1,3,5,7
/proc/4309/task/4375/stat : 4375 (java) S 4306 4309 466 0 -1 1077944384 1028 13308 0 0 73 85 5 3 20 0 15 0 405337826 11107291136 344136 33554432000 4194304 4196468 140732553620720 139838330231856 139839465323138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33173504 140732553628406 140732553630917 140732553630917 140732553633743 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1376544 KiB
Child status: 143
Real time (s): 2467.93
CPU time (s): 2520.07
CPU user time (s): 2515.9
CPU system time (s): 4.17611
CPU usage (%): 102.113
Max. virtual memory (cumulated for all children) (KiB): 10849584
Max. memory (cumulated for all children) (KiB): 1376544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.9
system time used= 4.1761
maximum resident set size= 1380756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281241
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 328843
involuntary context switches= 7905
# summary of solver processes directly reported to runsolver:
# pid: 4309
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.9
# total CPU system time (s): 4.17611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3771 second user time and 19.3441 second system time
The end