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 (14292 MiB free)
memory of node 1: 16384 MiB (15605 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401193-1568680784/watcher-4401193-1568680784 -o /tmp/evaluation-result-4401193-1568680784/solver-4401193-1568680784 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568673291-18137 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1790479423 HOME/instance-4401193-1568680784.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20248, runsolver pid=20245
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 1.22 1.25 1.33 3/218 20305
/proc/meminfo: memFree=30606712/32770624 swapFree=66938116/67108860
[pid=20248] ppid=20245 vsize=10055356 memory=19652 CPUtime=0.1 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 4636 13064 0 0 1 1 5 3 20 0 7 0 444349841 10296684544 4913 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2513839 4913 2032 1 0 2502277 0
[pid=20248/tid=20301] ppid=20245 vsize=10055356 memory=4279135703946724240 CPUtime=0.09 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 2425 13064 0 0 1 0 5 3 20 0 7 0 444349850 10296684544 4913 33554432000 4194304 4196468 140729052273504 139912146025232 139912174204061 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10055356 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 7 0 444349851 10296684544 4913 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10055356 memory=140348724147840 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 7 0 444349851 10296684544 4913 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 7 0 444349851 10296684544 4913 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 7 0 444349851 10296684544 4913 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10055356 memory=140348724147840 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 7 0 444349852 10296684544 4913 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19652 KiB
[startup+0.210692 s]*
/proc/loadavg: 1.36 1.28 1.34 3/227 20314
/proc/meminfo: memFree=30585300/32770624 swapFree=66938116/67108860
[pid=20248] ppid=20245 vsize=10820196 memory=43564 CPUtime=0.28 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 7271 13064 0 0 17 3 5 3 20 0 15 0 444349841 11079880704 10891 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2705049 10891 3282 1 0 2667149 0
[pid=20248/tid=20301] ppid=20245 vsize=10820196 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 3767 13064 0 0 11 1 5 3 20 0 15 0 444349850 11079880704 10891 33554432000 4194304 4196468 140729052273504 139912145996320 139912174204061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10820196 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079880704 10891 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10820196 memory=3545371797805135520 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079880704 10891 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079880704 10891 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079880704 10891 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10820196 memory=140348724147840 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349852 11079880704 10891 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 33 13064 0 0 0 0 5 3 20 0 15 0 444349852 11079880704 10891 33554432000 4194304 4196468 140729052273504 139911631930400 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349853 11079880704 10891 33554432000 4194304 4196468 140729052273504 139911512449904 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11079880704 10891 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 450 13064 0 0 0 0 5 3 20 0 15 0 444349855 11079880704 10891 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) S 20245 20248 18105 0 -1 1077944384 219 13064 0 0 1 0 5 3 20 0 15 0 444349855 11079880704 10891 33554432000 4194304 4196468 140729052273504 139911597320944 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10820196 memory=140348724147840 CPUtime=0.11 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) S 20245 20248 18105 0 -1 1077944384 586 13064 0 0 3 0 5 3 20 0 15 0 444349855 11079880704 10891 33554432000 4194304 4196468 140729052273504 139911596268144 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11079880704 10891 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10820196 memory=140348724147840 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349856 11079880704 10891 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 43564 KiB
[startup+0.310622 s]*
/proc/loadavg: 1.36 1.28 1.34 3/227 20314
/proc/meminfo: memFree=30575160/32770624 swapFree=66938116/67108860
[pid=20248] ppid=20245 vsize=10820268 memory=52324 CPUtime=0.41 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 10794 13064 0 0 28 5 5 3 20 0 15 0 444349841 11079954432 13081 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2705067 13081 3299 1 0 2667149 0
[pid=20248/tid=20301] ppid=20245 vsize=10820268 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 7269 13064 0 0 18 3 5 3 20 0 15 0 444349850 11079954432 13081 33554432000 4194304 4196468 140729052273504 139912146002352 139912174204061 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079954432 13081 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079954432 13081 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079954432 13081 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349851 11079954432 13081 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349852 11079954432 13081 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 33 13064 0 0 0 0 5 3 20 0 15 0 444349852 11079954432 13081 33554432000 4194304 4196468 140729052273504 139911631930400 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10820268 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349853 11079954432 13081 33554432000 4194304 4196468 140729052273504 139911512449904 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10820268 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11079954432 13081 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 450 13064 0 0 1 0 5 3 20 0 15 0 444349855 11079954432 13081 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10820268 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) S 20245 20248 18105 0 -1 1077944384 220 13064 0 0 1 0 5 3 20 0 15 0 444349855 11079954432 13081 33554432000 4194304 4196468 140729052273504 139911597320944 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10820268 memory=140348724147840 CPUtime=0.13 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) S 20245 20248 18105 0 -1 1077944384 605 13064 0 0 5 0 5 3 20 0 15 0 444349855 11079954432 13081 33554432000 4194304 4196468 140729052273504 139911596268144 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10820268 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11079954432 13081 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10820268 memory=140348724147840 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349856 11079954432 13081 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 52324 KiB
[startup+0.700676 s]
/proc/loadavg: 1.36 1.28 1.34 3/227 20314
/proc/meminfo: memFree=30559404/32770624 swapFree=66938116/67108860
[pid=20248] ppid=20245 vsize=10824364 memory=85788 CPUtime=1.16 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 15124 13064 0 0 101 7 5 3 20 0 15 0 444349841 11084148736 21447 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2706347 21447 3515 1 0 2668429 0
[pid=20248/tid=20301] ppid=20245 vsize=10825388 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 10479 13064 0 0 55 5 5 3 20 0 15 0 444349850 11085197312 21512 33554432000 4194304 4196468 140729052273504 139912146000064 139912166861853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11085197312 21512 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10824364 memory=2557451699969 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11084148736 21487 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10824364 memory=546658091 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349851 11084148736 21487 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10824364 memory=-7886167514736700194 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349851 11084148736 21487 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10825388 memory=6220151040703026534 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 5 13064 0 0 0 0 5 3 20 0 15 0 444349852 11085197312 21487 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10825388 memory=7380106142448641111 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 33 13064 0 0 0 0 5 3 20 0 15 0 444349852 11085197312 21487 33554432000 4194304 4196468 140729052273504 139911631930400 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10825388 memory=12024 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349853 11085197312 21487 33554432000 4194304 4196468 140729052273504 139911512449904 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10825388 memory=2124 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11085197312 21487 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10824364 memory=11728 CPUtime=0.24 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 844 13064 0 0 16 0 5 3 20 0 15 0 444349855 11084148736 21487 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10824364 memory=504 CPUtime=0.2 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) R 20245 20248 18105 0 -1 4202560 712 13064 0 0 12 0 5 3 20 0 15 0 444349855 11084148736 21487 33554432000 4194304 4196468 140729052273504 139911597320944 139912155707036 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10824364 memory=1564 CPUtime=0.25 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) S 20245 20248 18105 0 -1 1077944384 866 13064 0 0 17 0 5 3 20 0 15 0 444349855 11084148736 21487 33554432000 4194304 4196468 140729052273504 139911596268144 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10825388 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11085197312 21487 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10825388 memory=1420 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 1 13064 0 0 0 0 5 3 20 0 15 0 444349856 11085197312 21487 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85788 KiB
[startup+1.50076 s]
/proc/loadavg: 1.36 1.28 1.34 5/227 20314
/proc/meminfo: memFree=30489416/32770624 swapFree=66938116/67108860
[pid=20248] ppid=20245 vsize=10832632 memory=237188 CPUtime=3.24 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 24285 13064 0 0 305 11 5 3 20 0 15 0 444349841 11092615168 59297 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2708158 59297 3587 1 0 2670221 0
[pid=20248/tid=20301] ppid=20245 vsize=10832632 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 14627 13064 0 0 128 7 5 3 20 0 15 0 444349850 11092615168 59297 33554432000 4194304 4196468 140729052273504 139912146014992 139912155767632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 31 13064 0 0 2 0 5 3 20 0 15 0 444349851 11092615168 59297 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10832632 memory=280697185325952 CPUtime=0.1 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 47 13064 0 0 2 0 5 3 20 0 15 0 444349851 11092615168 59297 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10832632 memory=140348592671344 CPUtime=0.1 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 207 13064 0 0 2 0 5 3 20 0 15 0 444349851 11092615168 59297 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10832632 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 31 13064 0 0 2 0 5 3 20 0 15 0 444349851 11092615168 59297 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10832632 memory=280697185336928 CPUtime=0.09 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 820 13064 0 0 1 0 5 3 20 0 15 0 444349852 11092615168 59297 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10832632 memory=14323715934760 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 33 13064 0 0 0 0 5 3 20 0 15 0 444349852 11092615168 59297 33554432000 4194304 4196468 140729052273504 139911631930464 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10832632 memory=6944656591646896176 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349853 11092615168 59297 33554432000 4194304 4196468 140729052273504 139911512449920 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10832632 memory=6944656592452807316 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11092615168 59297 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10832632 memory=6944656592452807316 CPUtime=0.69 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 2198 13064 0 0 61 0 5 3 20 0 15 0 444349855 11092615168 59297 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10832632 memory=7681905605394137914 CPUtime=0.66 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) S 20245 20248 18105 0 -1 1077944384 1998 13064 0 0 58 0 5 3 20 0 15 0 444349855 11092615168 59297 33554432000 4194304 4196468 140729052273504 139911597320944 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10832632 memory=6655300316396806240 CPUtime=0.53 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) R 20245 20248 18105 0 -1 4202560 2079 13064 0 0 45 0 5 3 20 0 15 0 444349855 11092615168 59297 33554432000 4194304 4196468 140729052273504 139911596268144 139912167278971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10832632 memory=6944613755328037012 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11092615168 59297 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10832632 memory=6944656592452807316 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11092615168 59297 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
################
# More data... #
################
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 174709 13064 0 0 235717 67 5 3 20 0 15 0 444349850 11109412864 175874 33554432000 4194304 4196468 140729052273504 139912146017248 139911733368837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10849036 memory=1595 CPUtime=16.24 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 27525 13064 0 0 1554 62 5 3 20 0 15 0 444349851 11109412864 175874 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10849036 memory=581088 CPUtime=16.25 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 26306 13064 0 0 1553 64 5 3 20 0 15 0 444349851 11109412864 175874 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10849036 memory=713244 CPUtime=16.26 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 23734 13064 0 0 1554 64 5 3 20 0 15 0 444349851 11109412864 175874 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10849036 memory=704384 CPUtime=16.26 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 19359 13064 0 0 1554 64 5 3 20 0 15 0 444349851 11109412864 175874 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10849036 memory=708624 CPUtime=5.66 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 17504 13064 0 0 484 74 5 3 20 0 15 0 444349852 11109412864 175874 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10849036 memory=2257 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349852 11109412864 175874 33554432000 4194304 4196468 140729052273504 139911631930464 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10849036 memory=708112 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349853 11109412864 175874 33554432000 4194304 4196468 140729052273504 139911512449920 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10849036 memory=578956 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11109412864 175874 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10849036 memory=579468 CPUtime=7.08 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 36021 13064 0 0 695 5 5 3 20 0 15 0 444349855 11109412864 175874 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10849036 memory=614312 CPUtime=7.19 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) S 20245 20248 18105 0 -1 1077944384 40382 13064 0 0 707 4 5 3 20 0 15 0 444349855 11109412864 175874 33554432000 4194304 4196468 140729052273504 139911597320944 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10849036 memory=592604 CPUtime=2.68 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) S 20245 20248 18105 0 -1 1077944384 20764 13064 0 0 254 6 5 3 20 0 15 0 444349855 11109412864 175874 33554432000 4194304 4196468 140729052273504 139911596268144 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10849036 memory=708112 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11109412864 175874 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10849036 memory=1564 CPUtime=1.48 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 1274 13064 0 0 68 72 5 3 20 0 15 0 444349856 11109412864 175874 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 2446.43 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 703496 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.28 1.33 3/227 20733
/proc/meminfo: memFree=29725256/32770624 swapFree=66938144/67108860
[pid=20248] ppid=20245 vsize=10849036 memory=597996 CPUtime=2507.73 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 396112 13064 0 0 250308 457 5 3 20 0 15 0 444349841 11109412864 149499 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2712259 149499 3644 1 0 2674317 0
[pid=20248/tid=20301] ppid=20245 vsize=10849036 memory=636476 CPUtime=2417.31 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 178877 13064 0 0 241655 68 5 3 20 0 15 0 444349850 11109412864 149499 33554432000 4194304 4196468 140729052273504 139912146018224 139911739918341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10849036 memory=615956 CPUtime=16.69 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 27833 13064 0 0 1598 63 5 3 20 0 15 0 444349851 11109412864 149499 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10849036 memory=2369 CPUtime=16.7 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 27078 13064 0 0 1597 65 5 3 20 0 15 0 444349851 11109412864 149499 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10849036 memory=280697185902176 CPUtime=16.7 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 23992 13064 0 0 1597 65 5 3 20 0 15 0 444349851 11109412864 149499 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10849036 memory=620060 CPUtime=16.7 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 19853 13064 0 0 1597 65 5 3 20 0 15 0 444349851 11109412864 149499 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10849036 memory=614928 CPUtime=5.79 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 17718 13064 0 0 496 75 5 3 20 0 15 0 444349852 11109412864 149499 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10849036 memory=611336 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349852 11109412864 149499 33554432000 4194304 4196468 140729052273504 139911631930464 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10849036 memory=606720 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349853 11109412864 149499 33554432000 4194304 4196468 140729052273504 139911512449920 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10849036 memory=602100 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11109412864 149499 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10849036 memory=602616 CPUtime=7.08 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 36024 13064 0 0 695 5 5 3 20 0 15 0 444349855 11109412864 149499 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10849036 memory=598512 CPUtime=7.19 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) S 20245 20248 18105 0 -1 1077944384 40384 13064 0 0 707 4 5 3 20 0 15 0 444349855 11109412864 149499 33554432000 4194304 4196468 140729052273504 139911597320944 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10849036 memory=597996 CPUtime=2.68 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) S 20245 20248 18105 0 -1 1077944384 20766 13064 0 0 254 6 5 3 20 0 15 0 444349855 11109412864 149499 33554432000 4194304 4196468 140729052273504 139911596268144 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10849036 memory=3620 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11109412864 149499 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10849036 memory=598512 CPUtime=1.51 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 1294 13064 0 0 70 73 5 3 20 0 15 0 444349856 11109412864 149499 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 2507.73 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 597996 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2454.3 s]
/proc/loadavg: 1.12 1.26 1.32 4/227 20733
/proc/meminfo: memFree=29731104/32770624 swapFree=66938144/67108860
[pid=20248] ppid=20245 vsize=10849036 memory=593148 CPUtime=2520.02 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 398558 13064 0 0 251534 460 5 3 20 0 15 0 444349841 11109412864 148287 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2712259 148287 3644 1 0 2674317 0
[pid=20248/tid=20301] ppid=20245 vsize=10849036 memory=614928 CPUtime=2429.19 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 180680 13064 0 0 242842 69 5 3 20 0 15 0 444349850 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912146018432 139911747465656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10849036 memory=606720 CPUtime=16.78 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 27940 13064 0 0 1607 63 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10849036 memory=602100 CPUtime=16.79 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 27392 13064 0 0 1606 65 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10849036 memory=595944 CPUtime=16.8 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 24102 13064 0 0 1606 66 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10849036 memory=280697185820320 CPUtime=16.79 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 19951 13064 0 0 1606 65 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10849036 memory=601076 CPUtime=5.82 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 17731 13064 0 0 498 76 5 3 20 0 15 0 444349852 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10849036 memory=594920 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349852 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911631930464 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10849036 memory=592864 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349853 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911512449920 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10849036 memory=592352 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10849036 memory=592468 CPUtime=7.08 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 36024 13064 0 0 695 5 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10849036 memory=984 CPUtime=7.19 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) S 20245 20248 18105 0 -1 1077944384 40384 13064 0 0 707 4 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911597320944 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10849036 memory=2032 CPUtime=2.68 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) S 20245 20248 18105 0 -1 1077944384 20766 13064 0 0 254 6 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911596268144 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10849036 memory=596456 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11109412864 148287 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10849036 memory=594404 CPUtime=1.51 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 1295 13064 0 0 70 73 5 3 20 0 15 0 444349856 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 593148 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2454.37 s]
# the end of solver process 20248 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.46 s, system=4.64492 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2454.3 s]
/proc/loadavg: 1.12 1.26 1.32 4/227 20733
/proc/meminfo: memFree=29731104/32770624 swapFree=66938144/67108860
[pid=20248] ppid=20245 vsize=10849036 memory=593148 CPUtime=2520.02 cores=1,3,5,7
/proc/20248/stat : 20248 (java) S 20245 20248 18105 0 -1 1077944320 398558 13064 0 0 251534 460 5 3 20 0 15 0 444349841 11109412864 148287 33554432000 4194304 4196468 140729052273504 140729052256048 139912174182135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
/proc/20248/statm: 2712259 148287 3644 1 0 2674317 0
[pid=20248/tid=20301] ppid=20245 vsize=10849036 memory=614928 CPUtime=2429.19 cores=1,3,5,7
/proc/20248/task/20301/stat : 20301 (java) R 20245 20248 18105 0 -1 4202560 180680 13064 0 0 242842 69 5 3 20 0 15 0 444349850 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912146018432 139911747465656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20302] ppid=20245 vsize=10849036 memory=606720 CPUtime=16.78 cores=1,3,5,7
/proc/20248/task/20302/stat : 20302 (java) S 20245 20248 18105 0 -1 1077944384 27940 13064 0 0 1607 63 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912178424976 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20303] ppid=20245 vsize=10849036 memory=602100 CPUtime=16.79 cores=1,3,5,7
/proc/20248/task/20303/stat : 20303 (java) S 20245 20248 18105 0 -1 1077944384 27392 13064 0 0 1606 65 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912066698256 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20304] ppid=20245 vsize=10849036 memory=595944 CPUtime=16.8 cores=1,3,5,7
/proc/20248/task/20304/stat : 20304 (java) S 20245 20248 18105 0 -1 1077944384 24102 13064 0 0 1606 66 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912065645456 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20305] ppid=20245 vsize=10849036 memory=280697185820320 CPUtime=16.79 cores=1,3,5,7
/proc/20248/task/20305/stat : 20305 (java) S 20245 20248 18105 0 -1 1077944384 19951 13064 0 0 1606 65 5 3 20 0 15 0 444349851 11109412864 148287 33554432000 4194304 4196468 140729052273504 139912064592656 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20306] ppid=20245 vsize=10849036 memory=601076 CPUtime=5.82 cores=1,3,5,7
/proc/20248/task/20306/stat : 20306 (java) S 20245 20248 18105 0 -1 1077944384 17731 13064 0 0 498 76 5 3 20 0 15 0 444349852 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911632984432 139912174193282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20307] ppid=20245 vsize=10849036 memory=594920 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20307/stat : 20307 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349852 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911631930464 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20308] ppid=20245 vsize=10849036 memory=592864 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20308/stat : 20308 (java) S 20245 20248 18105 0 -1 1077944384 42 13064 0 0 0 0 5 3 20 0 15 0 444349853 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911512449920 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20309] ppid=20245 vsize=10849036 memory=592352 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20309/stat : 20309 (java) S 20245 20248 18105 0 -1 1077944384 2 13064 0 0 0 0 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139910908471120 139912174200731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20310] ppid=20245 vsize=10849036 memory=592468 CPUtime=7.08 cores=1,3,5,7
/proc/20248/task/20310/stat : 20310 (java) S 20245 20248 18105 0 -1 1077944384 36024 13064 0 0 695 5 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911598373744 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20311] ppid=20245 vsize=10849036 memory=984 CPUtime=7.19 cores=1,3,5,7
/proc/20248/task/20311/stat : 20311 (java) S 20245 20248 18105 0 -1 1077944384 40384 13064 0 0 707 4 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911597320944 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20312] ppid=20245 vsize=10849036 memory=2032 CPUtime=2.68 cores=1,3,5,7
/proc/20248/task/20312/stat : 20312 (java) S 20245 20248 18105 0 -1 1077944384 20766 13064 0 0 254 6 5 3 20 0 15 0 444349855 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911596268144 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20313] ppid=20245 vsize=10849036 memory=596456 CPUtime=0.08 cores=1,3,5,7
/proc/20248/task/20313/stat : 20313 (java) S 20245 20248 18105 0 -1 1077944384 3 13064 0 0 0 0 5 3 20 0 15 0 444349856 11109412864 148287 33554432000 4194304 4196468 140729052273504 139910438709984 139912174192341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
[pid=20248/tid=20314] ppid=20245 vsize=10849036 memory=594404 CPUtime=1.51 cores=1,3,5,7
/proc/20248/task/20314/stat : 20314 (java) S 20245 20248 18105 0 -1 1077944384 1295 13064 0 0 70 73 5 3 20 0 15 0 444349856 11109412864 148287 33554432000 4194304 4196468 140729052273504 139911595215536 139912174193282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22077440 140729052277487 140729052280005 140729052280005 140729052282831 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 593148 KiB
Child status: 143
Real time (s): 2454.37
CPU time (s): 2520.1
CPU user time (s): 2515.46
CPU system time (s): 4.64492
CPU usage (%): 102.678
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 1681916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.46
system time used= 4.64492
maximum resident set size= 1682972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167565
involuntary context switches= 6497
# summary of solver processes directly reported to runsolver:
# pid: 20248
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.46
# total CPU system time (s): 4.64492
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5138 second user time and 23.6459 second system time
The end