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 (14501 MiB free)
memory of node 1: 16384 MiB (15357 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400785-1568673352/watcher-4400785-1568673352 -o /tmp/evaluation-result-4400785-1568673352/solver-4400785-1568673352 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1568669636-5872 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=140789969 HOME/instance-4400785-1568673352.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=6096, runsolver pid=6093
[startup+0.109678 s]*
/proc/loadavg: 0.96 0.89 1.77 3/218 6153
/proc/meminfo: memFree=30565596/32770624 swapFree=66939548/67108860
[pid=6096] ppid=6093 vsize=10055356 memory=18132 CPUtime=0.1 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 4781 13021 0 0 2 0 5 3 20 0 7 0 443593408 10296684544 4533 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2513839 4533 2058 1 0 2502277 0
[pid=6096/tid=6149] ppid=6093 vsize=10153664 memory=-8617482348318186131 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 2596 13021 0 0 1 0 5 3 20 0 8 0 443593417 10397351936 4533 33554432000 4194304 4196468 140725240062784 139959843927720 139959854309968 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10153664 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 8 0 443593417 10397351936 4533 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10153664 memory=140644794713728 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 8 0 443593417 10397351936 4533 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10153664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 8 0 443593417 10397351936 4533 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10153664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 8 0 443593417 10397351936 4533 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10153664 memory=140644794713728 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 8 0 443593419 10397351936 4533 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10153664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 32 13021 0 0 0 0 5 3 20 0 8 0 443593420 10397351936 4533 33554432000 4194304 4196468 140725240062784 139959330406352 139959872104149 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 18132 KiB
[startup+0.210033 s]*
/proc/loadavg: 0.96 0.89 1.77 4/227 6162
/proc/meminfo: memFree=30548872/32770624 swapFree=66939548/67108860
[pid=6096] ppid=6093 vsize=10820020 memory=41836 CPUtime=0.26 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 7299 13021 0 0 17 1 5 3 20 0 15 0 443593408 11079700480 10459 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2705005 10459 3221 1 0 2667149 0
[pid=6096/tid=6149] ppid=6093 vsize=10820176 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 3836 13021 0 0 10 1 5 3 20 0 15 0 443593417 11079860224 10525 33554432000 4194304 4196468 140725240062784 139959843926224 139959795170277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10820176 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079860224 10525 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10820176 memory=140644794722758 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079860224 10525 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10820176 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079860224 10525 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10820176 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079860224 10525 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10820176 memory=140644794713728 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593419 11079860224 10525 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10820184 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 33 13021 0 0 0 0 5 3 20 0 15 0 443593420 11079868416 10525 33554432000 4194304 4196468 140725240062784 139959330407456 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10820184 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593420 11079868416 10525 33554432000 4194304 4196468 140725240062784 139958972048240 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10820184 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11079868416 10525 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10820184 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) S 6093 6096 5840 0 -1 1077944384 611 13021 0 0 1 0 5 3 20 0 15 0 443593423 11079868416 10525 33554432000 4194304 4196468 140725240062784 139959296850800 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10820184 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) R 6093 6096 5840 0 -1 4202560 46 13021 0 0 1 0 5 3 20 0 15 0 443593423 11079868416 10525 33554432000 4194304 4196468 140725240062784 139959295798000 139959855579893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10820188 memory=140644794713728 CPUtime=0.11 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 601 13021 0 0 3 0 5 3 20 0 15 0 443593423 11079872512 10525 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10820188 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11079872512 10525 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6162] ppid=6093 vsize=10820188 memory=140644794713728 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6162/stat : 6162 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593423 11079872512 10525 33554432000 4194304 4196468 140725240062784 139958903880368 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 41836 KiB
[startup+0.310476 s]*
/proc/loadavg: 0.96 0.89 1.77 3/227 6162
/proc/meminfo: memFree=30536436/32770624 swapFree=66939548/67108860
[pid=6096] ppid=6093 vsize=10820196 memory=50392 CPUtime=0.4 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 10842 13021 0 0 29 3 5 3 20 0 15 0 443593408 11079880704 12598 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2705049 12598 3317 1 0 2667149 0
[pid=6096/tid=6149] ppid=6093 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 7316 13021 0 0 19 2 5 3 20 0 15 0 443593417 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959843902896 139959857529872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10820196 memory=140644794720721 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593417 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593419 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 33 13021 0 0 0 0 5 3 20 0 15 0 443593420 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959330407456 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593420 11079880704 12598 33554432000 4194304 4196468 140725240062784 139958972048240 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11079880704 12598 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) S 6093 6096 5840 0 -1 1077944384 612 13021 0 0 2 0 5 3 20 0 15 0 443593423 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959296850800 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) S 6093 6096 5840 0 -1 1077944384 55 13021 0 0 1 0 5 3 20 0 15 0 443593423 11079880704 12598 33554432000 4194304 4196468 140725240062784 139959295798000 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10820196 memory=140644794713728 CPUtime=0.13 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 608 13021 0 0 5 0 5 3 20 0 15 0 443593423 11079880704 12598 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11079880704 12598 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6162] ppid=6093 vsize=10820196 memory=140644794713728 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6162/stat : 6162 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593423 11079880704 12598 33554432000 4194304 4196468 140725240062784 139958903880368 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50392 KiB
[startup+0.705029 s]
/proc/loadavg: 0.96 0.89 1.77 3/227 6162
/proc/meminfo: memFree=30521536/32770624 swapFree=66939548/67108860
[pid=6096] ppid=6093 vsize=10825388 memory=84128 CPUtime=1.14 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 15155 13021 0 0 101 5 5 3 20 0 15 0 443593408 11085197312 20967 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2706347 20967 3515 1 0 2668429 0
[pid=6096/tid=6149] ppid=6093 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 10610 13021 0 0 56 3 5 3 20 0 15 0 443593417 11084148736 21007 33554432000 4194304 4196468 140725240062784 139959843911872 139959864811047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11084148736 21007 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11085197312 21007 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10825388 memory=140644676838800 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593417 11085197312 21007 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10824364 memory=140647294042688 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593417 11084148736 21007 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10824364 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 5 13021 0 0 0 0 5 3 20 0 15 0 443593419 11084148736 21007 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10825388 memory=14056 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 33 13021 0 0 0 0 5 3 20 0 15 0 443593420 11085197312 21007 33554432000 4194304 4196468 140725240062784 139959330407456 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10825388 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593420 11085197312 21007 33554432000 4194304 4196468 140725240062784 139958972048240 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10824364 memory=516 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11084148736 21007 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10824364 memory=1556 CPUtime=0.21 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) R 6093 6096 5840 0 -1 4202560 1030 13021 0 0 13 0 5 3 20 0 15 0 443593423 11084148736 21007 33554432000 4194304 4196468 140725240062784 139959296850800 139959857204096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10825388 memory=928 CPUtime=0.2 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) R 6093 6096 5840 0 -1 4202560 465 13021 0 0 12 0 5 3 20 0 15 0 443593423 11085197312 21007 33554432000 4194304 4196468 140725240062784 139959295798000 139959851339830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10825388 memory=1772 CPUtime=0.25 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 822 13021 0 0 17 0 5 3 20 0 15 0 443593423 11085197312 21007 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10824364 memory=904 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11084148736 21007 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6162] ppid=6093 vsize=10824364 memory=1444 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6162/stat : 6162 (java) S 6093 6096 5840 0 -1 1077944384 1 13021 0 0 0 0 5 3 20 0 15 0 443593423 11084148736 21007 33554432000 4194304 4196468 140725240062784 139958903880368 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10825388 KiB
Current children cumulated memory: 84128 KiB
[startup+1.50574 s]
/proc/loadavg: 0.96 0.89 1.77 3/227 6162
/proc/meminfo: memFree=30442528/32770624 swapFree=66939548/67108860
[pid=6096] ppid=6093 vsize=10834680 memory=173688 CPUtime=2.44 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 24338 13021 0 0 227 9 5 3 20 0 15 0 443593408 11094712320 43422 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2708670 43422 3581 1 0 2670733 0
[pid=6096/tid=6149] ppid=6093 vsize=10834680 memory=6081074879672708454 CPUtime=1.44 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 15989 13021 0 0 130 6 5 3 20 0 15 0 443593417 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959843888432 139959445059640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10834680 memory=7810763844726514514 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 371 13021 0 0 1 0 5 3 20 0 15 0 443593417 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10834680 memory=7307184289356141161 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 59 13021 0 0 0 0 5 3 20 0 15 0 443593417 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10834680 memory=7380385388137112419 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 23 13021 0 0 1 0 5 3 20 0 15 0 443593417 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 108 13021 0 0 1 0 5 3 20 0 15 0 443593417 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10834680 memory=-6441967611270944860 CPUtime=0.09 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 2017 13021 0 0 1 0 5 3 20 0 15 0 443593419 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10834680 memory=3692195502933515935 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 34 13021 0 0 0 0 5 3 20 0 15 0 443593420 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959330407520 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10834680 memory=3690472434158746992 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593420 11094712320 43422 33554432000 4194304 4196468 140725240062784 139958972048240 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10834680 memory=3689046461963526716 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11094712320 43422 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10834680 memory=3833172851518711191 CPUtime=0.3 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) S 6093 6096 5840 0 -1 1077944384 1145 13021 0 0 22 0 5 3 20 0 15 0 443593423 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959296850800 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10834680 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) S 6093 6096 5840 0 -1 1077944384 670 13021 0 0 24 0 5 3 20 0 15 0 443593423 11094712320 43422 33554432000 4194304 4196468 140725240062784 139959295798000 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10834680 memory=8026365976027949417 CPUtime=0.5 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 1705 13021 0 0 42 0 5 3 20 0 15 0 443593423 11094712320 43422 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10834680 memory=7229516905404657254 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11094712320 43422 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
################
# More data... #
################
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 71836 13021 0 0 235459 54 5 3 20 0 15 0 443593417 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959843928816 139959458728852 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10849036 memory=1012380 CPUtime=12.53 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 11665 13021 0 0 1185 60 5 3 20 0 15 0 443593417 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10849036 memory=1010164 CPUtime=12.54 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 15144 13021 0 0 1187 59 5 3 20 0 15 0 443593417 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10849036 memory=1010296 CPUtime=12.53 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 13548 13021 0 0 1186 59 5 3 20 0 15 0 443593417 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10849036 memory=1012380 CPUtime=12.54 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 18076 13021 0 0 1188 58 5 3 20 0 15 0 443593417 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10849036 memory=1010296 CPUtime=11.26 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 15063 13021 0 0 1057 61 5 3 20 0 15 0 443593419 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10849036 memory=1012380 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 40 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959330407584 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10849036 memory=1245 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253095 33554432000 4194304 4196468 140725240062784 139958972048256 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11109412864 253095 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10849036 memory=65 CPUtime=6.98 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) S 6093 6096 5840 0 -1 1077944384 67764 13021 0 0 683 7 5 3 20 0 15 0 443593423 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959296850800 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10849036 memory=3624 CPUtime=6.5 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) S 6093 6096 5840 0 -1 1077944384 58816 13021 0 0 637 5 5 3 20 0 15 0 443593423 11109412864 253095 33554432000 4194304 4196468 140725240062784 139959295798000 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10849036 memory=34536 CPUtime=3.44 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 71534 13021 0 0 328 8 5 3 20 0 15 0 443593423 11109412864 253095 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10849036 memory=1012380 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11109412864 253095 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6162] ppid=6093 vsize=10849036 memory=1012380 CPUtime=1.5 cores=1,3,5,7
/proc/6096/task/6162/stat : 6162 (java) S 6093 6096 5840 0 -1 1077944384 1150 13021 0 0 60 82 5 3 20 0 15 0 443593423 11109412864 253095 33554432000 4194304 4196468 140725240062784 139958903880368 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 2434.42 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1012380 KiB
[startup+2442.3 s]
/proc/loadavg: 1.21 1.30 1.38 3/227 6428
/proc/meminfo: memFree=29255748/32770624 swapFree=66939584/67108860
[pid=6096] ppid=6093 vsize=10849036 memory=1012456 CPUtime=2495.48 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 348681 13021 0 0 249147 393 5 3 20 0 15 0 443593408 11109412864 253114 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2712259 253114 3631 1 0 2674317 0
[pid=6096/tid=6149] ppid=6093 vsize=10849036 memory=1012456 CPUtime=2414.52 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 72473 13021 0 0 241389 55 5 3 20 0 15 0 443593417 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959843928400 139959446082648 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10849036 memory=1012456 CPUtime=12.87 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 11701 13021 0 0 1218 61 5 3 20 0 15 0 443593417 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10849036 memory=1012456 CPUtime=12.88 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 15373 13021 0 0 1220 60 5 3 20 0 15 0 443593417 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10849036 memory=1012456 CPUtime=12.88 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 13594 13021 0 0 1219 61 5 3 20 0 15 0 443593417 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10849036 memory=1270 CPUtime=12.87 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 18094 13021 0 0 1220 59 5 3 20 0 15 0 443593417 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10849036 memory=1012456 CPUtime=11.57 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 15090 13021 0 0 1086 63 5 3 20 0 15 0 443593419 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10849036 memory=1012456 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 40 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959330407584 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10849036 memory=1012456 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253114 33554432000 4194304 4196468 140725240062784 139958972048256 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10849036 memory=1012456 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11109412864 253114 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10849036 memory=1012456 CPUtime=6.99 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) S 6093 6096 5840 0 -1 1077944384 67944 13021 0 0 684 7 5 3 20 0 15 0 443593423 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959296850800 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10849036 memory=1012456 CPUtime=6.51 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) S 6093 6096 5840 0 -1 1077944384 58928 13021 0 0 638 5 5 3 20 0 15 0 443593423 11109412864 253114 33554432000 4194304 4196468 140725240062784 139959295798000 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10849036 memory=1012456 CPUtime=3.47 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 72075 13021 0 0 331 8 5 3 20 0 15 0 443593423 11109412864 253114 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10849036 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11109412864 253114 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6162] ppid=6093 vsize=10849036 memory=1012456 CPUtime=1.52 cores=1,3,5,7
/proc/6096/task/6162/stat : 6162 (java) S 6093 6096 5840 0 -1 1077944384 1155 13021 0 0 61 83 5 3 20 0 15 0 443593423 11109412864 253114 33554432000 4194304 4196468 140725240062784 139958903880368 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 2495.48 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1012456 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.5 s]
/proc/loadavg: 1.35 1.32 1.38 6/226 6561
/proc/meminfo: memFree=29983880/32770624 swapFree=66939584/67108860
[pid=6096] ppid=6093 vsize=10849036 memory=1012532 CPUtime=2520.07 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 349396 13021 0 0 251603 396 5 3 20 0 15 0 443593408 11109412864 253133 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2712259 253133 3631 1 0 2674317 0
[pid=6096/tid=6149] ppid=6093 vsize=10849036 memory=1012532 CPUtime=2438.44 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 72811 13021 0 0 243780 56 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959843928656 139959446263379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 11772 13021 0 0 1231 61 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13.02 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 15398 13021 0 0 1234 60 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13.01 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 13650 13021 0 0 1232 61 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13.02 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 18116 13021 0 0 1234 60 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10849036 memory=1012532 CPUtime=11.69 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 15277 13021 0 0 1097 64 5 3 20 0 15 0 443593419 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10849036 memory=1012532 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 40 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959330407584 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10849036 memory=1012520 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958972048256 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10849036 memory=3296 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10849036 memory=1012520 CPUtime=6.99 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) S 6093 6096 5840 0 -1 1077944384 67946 13021 0 0 684 7 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959296850800 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10849036 memory=34536 CPUtime=6.51 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) S 6093 6096 5840 0 -1 1077944384 58930 13021 0 0 638 5 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959295798000 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10849036 memory=1012532 CPUtime=3.47 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 72075 13021 0 0 331 8 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10849036 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6162] ppid=6093 vsize=10849036 memory=1012532 CPUtime=1.54 cores=1,3,5,7
/proc/6096/task/6162/stat : 6162 (java) S 6093 6096 5840 0 -1 1077944384 1167 13021 0 0 62 84 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958903880368 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1012532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.53 s]
# the end of solver process 6096 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.1 s, system=4.00667 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.5 s]
/proc/loadavg: 1.35 1.32 1.38 6/226 6561
/proc/meminfo: memFree=29983880/32770624 swapFree=66939584/67108860
[pid=6096] ppid=6093 vsize=10849036 memory=1012532 CPUtime=2520.07 cores=1,3,5,7
/proc/6096/stat : 6096 (java) S 6093 6096 5840 0 -1 1077944320 349396 13021 0 0 251603 396 5 3 20 0 15 0 443593408 11109412864 253133 33554432000 4194304 4196468 140725240062784 140725240045328 139959872093943 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
/proc/6096/statm: 2712259 253133 3631 1 0 2674317 0
[pid=6096/tid=6149] ppid=6093 vsize=10849036 memory=1012532 CPUtime=2438.44 cores=1,3,5,7
/proc/6096/task/6149/stat : 6149 (java) R 6093 6096 5840 0 -1 4202560 72811 13021 0 0 243780 56 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959843928656 139959446263379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6150] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13 cores=1,3,5,7
/proc/6096/task/6150/stat : 6150 (java) S 6093 6096 5840 0 -1 1077944384 11772 13021 0 0 1231 61 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959876336784 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6151] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13.02 cores=1,3,5,7
/proc/6096/task/6151/stat : 6151 (java) S 6093 6096 5840 0 -1 1077944384 15398 13021 0 0 1234 60 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959444958224 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6152] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13.01 cores=1,3,5,7
/proc/6096/task/6152/stat : 6152 (java) S 6093 6096 5840 0 -1 1077944384 13650 13021 0 0 1232 61 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959443905424 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6153] ppid=6093 vsize=10849036 memory=1012532 CPUtime=13.02 cores=1,3,5,7
/proc/6096/task/6153/stat : 6153 (java) S 6093 6096 5840 0 -1 1077944384 18116 13021 0 0 1234 60 5 3 20 0 15 0 443593417 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959442852624 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6154] ppid=6093 vsize=10849036 memory=1012532 CPUtime=11.69 cores=1,3,5,7
/proc/6096/task/6154/stat : 6154 (java) S 6093 6096 5840 0 -1 1077944384 15277 13021 0 0 1097 64 5 3 20 0 15 0 443593419 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959331461488 139959872105090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6155] ppid=6093 vsize=10849036 memory=1012532 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6155/stat : 6155 (java) S 6093 6096 5840 0 -1 1077944384 40 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959330407584 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6156] ppid=6093 vsize=10849036 memory=1012520 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6156/stat : 6156 (java) S 6093 6096 5840 0 -1 1077944384 2 13021 0 0 0 0 5 3 20 0 15 0 443593420 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958972048256 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6157] ppid=6093 vsize=10849036 memory=3296 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6157/stat : 6157 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593422 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958938490704 139959872112539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6158] ppid=6093 vsize=10849036 memory=1012520 CPUtime=6.99 cores=1,3,5,7
/proc/6096/task/6158/stat : 6158 (java) S 6093 6096 5840 0 -1 1077944384 67946 13021 0 0 684 7 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959296850800 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6159] ppid=6093 vsize=10849036 memory=34536 CPUtime=6.51 cores=1,3,5,7
/proc/6096/task/6159/stat : 6159 (java) S 6093 6096 5840 0 -1 1077944384 58930 13021 0 0 638 5 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139959295798000 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6160] ppid=6093 vsize=10849036 memory=1012532 CPUtime=3.47 cores=1,3,5,7
/proc/6096/task/6160/stat : 6160 (java) S 6093 6096 5840 0 -1 1077944384 72075 13021 0 0 331 8 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958904932976 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6161] ppid=6093 vsize=10849036 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/6096/task/6161/stat : 6161 (java) S 6093 6096 5840 0 -1 1077944384 3 13021 0 0 0 0 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958220221152 139959872104149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
[pid=6096/tid=6162] ppid=6093 vsize=10849036 memory=1012532 CPUtime=1.54 cores=1,3,5,7
/proc/6096/task/6162/stat : 6162 (java) S 6093 6096 5840 0 -1 1077944384 1167 13021 0 0 62 84 5 3 20 0 15 0 443593423 11109412864 253133 33554432000 4194304 4196468 140725240062784 139958903880368 139959872105090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 11567104 140725240064752 140725240067269 140725240067269 140725240070095 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1012532 KiB
Child status: 143
Real time (s): 2466.53
CPU time (s): 2520.11
CPU user time (s): 2516.1
CPU system time (s): 4.00667
CPU usage (%): 102.172
Max. virtual memory (cumulated for all children) (KiB): 10854260
Max. memory (cumulated for all children) (KiB): 1012532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.1
system time used= 4.00667
maximum resident set size= 1016748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363512
page faults= 0
swaps= 0
block input operations= 32
block output operations= 3392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 312892
involuntary context switches= 7140
# summary of solver processes directly reported to runsolver:
# pid: 6096
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.1
# total CPU system time (s): 4.00667
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2985 second user time and 23.5039 second system time
The end