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 (12870 MiB free)
memory of node 1: 16384 MiB (9799 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304862-1534049568/watcher-4304862-1534049568 -o /tmp/evaluation-result-4304862-1534049568/solver-4304862-1534049568 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11488 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1220062493 -superng HOME/instance-4304862-1534049568.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13869, runsolver pid=13866
[startup+0.100068 s]*
/proc/loadavg: 1.60 1.46 1.43 3/201 13918
/proc/meminfo: memFree=23212272/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=425712 memory=5616 CPUtime=0.08 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 2600 13262 0 0 0 0 5 3 20 0 2 0 222520048 435929088 1404 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 106428 1404 1064 1 0 95339 0
[pid=13869/tid=13922] ppid=13866 vsize=425712 memory=3054156605368796044 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) S 13866 13869 10336 0 -1 1077944384 405 13262 0 0 0 0 5 3 20 0 2 0 222520059 435929088 1404 33554432000 4194304 4196468 140732306038704 139882127313312 139882155481730 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 5616 KiB
[startup+0.210008 s]*
/proc/loadavg: 1.60 1.46 1.43 5/215 13935
/proc/meminfo: memFree=23185240/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=10982744 memory=39872 CPUtime=0.25 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 6716 13262 0 0 16 1 5 3 20 0 15 0 222520048 11246329856 9968 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2745686 9968 2946 1 0 2708109 0
[pid=13869/tid=13922] ppid=13866 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 3261 13262 0 0 10 0 5 3 20 0 15 0 222520059 11246329856 9968 33554432000 4194304 4196468 140732306038704 139882127260576 139882139514213 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246329856 9968 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=10982744 memory=139670064817250 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246329856 9968 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 2 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=10982744 memory=139670064805504 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 2 13262 0 0 0 0 5 3 20 0 15 0 222520061 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 13 13262 0 0 0 0 5 3 20 0 15 0 222520062 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881045026464 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11246329856 9968 33554432000 4194304 4196468 140732306038704 139880843699440 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246329856 9968 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 427 13262 0 0 1 0 5 3 20 0 15 0 222520065 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 190 13262 0 0 1 0 5 3 20 0 15 0 222520065 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=10982744 memory=139670064805504 CPUtime=0.11 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) R 13866 13869 10336 0 -1 4202560 616 13262 0 0 3 0 5 3 20 0 15 0 222520065 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881121556464 139882134819681 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246329856 9968 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=10982744 memory=139670064805504 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246329856 9968 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 39872 KiB
[startup+0.310647 s]*
/proc/loadavg: 1.60 1.46 1.43 4/215 13935
/proc/meminfo: memFree=23174184/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=10983192 memory=53380 CPUtime=0.37 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 9910 13262 0 0 27 2 5 3 20 0 15 0 222520048 11246788608 13345 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2745798 13345 3065 1 0 2708109 0
[pid=13869/tid=13922] ppid=13866 vsize=10983192 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 6442 13262 0 0 18 1 5 3 20 0 15 0 222520059 11246788608 13345 33554432000 4194304 4196468 140732306038704 139882127282592 139882140636222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 13345 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 13345 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 2 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=10983192 memory=139670064805504 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 2 13262 0 0 0 0 5 3 20 0 15 0 222520061 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 13 13262 0 0 0 0 5 3 20 0 15 0 222520062 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881045026464 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11246788608 13345 33554432000 4194304 4196468 140732306038704 139880843699440 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246788608 13345 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 427 13262 0 0 1 0 5 3 20 0 15 0 222520065 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 191 13262 0 0 1 0 5 3 20 0 15 0 222520065 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=10983192 memory=139670064805504 CPUtime=0.13 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) S 13866 13869 10336 0 -1 1077944384 627 13262 0 0 5 0 5 3 20 0 15 0 222520065 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881121556464 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246788608 13345 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=10983192 memory=139670064805504 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246788608 13345 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53380 KiB
[startup+0.700732 s]
/proc/loadavg: 1.60 1.46 1.43 3/215 13935
/proc/meminfo: memFree=23160848/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=10983192 memory=88144 CPUtime=0.97 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 16717 13262 0 0 85 4 5 3 20 0 15 0 222520048 11246788608 22036 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2745798 22036 3238 1 0 2708109 0
[pid=13869/tid=13922] ppid=13866 vsize=10983192 memory=916 CPUtime=0.65 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 12186 13262 0 0 54 3 5 3 20 0 15 0 222520059 11246788608 22036 33554432000 4194304 4196468 140732306038704 139882127292304 139882140636128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=10983192 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 22036 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=10983192 memory=2840 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 22036 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=10983192 memory=2912 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=10983192 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 2 13262 0 0 0 0 5 3 20 0 15 0 222520060 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=10983192 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 5 13262 0 0 0 0 5 3 20 0 15 0 222520061 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=10983192 memory=3200 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 13 13262 0 0 0 0 5 3 20 0 15 0 222520062 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881045026464 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=10983192 memory=1581284 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11246788608 22036 33554432000 4194304 4196468 140732306038704 139880843699440 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246788608 22036 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 772 13262 0 0 7 0 5 3 20 0 15 0 222520065 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 825 13262 0 0 9 0 5 3 20 0 15 0 222520065 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=10983192 memory=3312 CPUtime=0.21 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) S 13866 13869 10336 0 -1 1077944384 708 13262 0 0 13 0 5 3 20 0 15 0 222520065 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881121556464 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=10983192 memory=15712 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246788608 22036 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=10983192 memory=1620 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520065 11246788608 22036 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88144 KiB
[startup+1.50077 s]
/proc/loadavg: 1.60 1.46 1.43 5/215 13935
/proc/meminfo: memFree=23119052/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=10998092 memory=181164 CPUtime=2.28 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 23875 13262 0 0 211 9 5 3 20 0 15 0 222520048 11262046208 45291 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2749523 45291 3466 1 0 2711181 0
[pid=13869/tid=13922] ppid=13866 vsize=10998092 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 17699 13262 0 0 128 5 5 3 20 0 15 0 222520059 11262046208 45291 33554432000 4194304 4196468 140732306038704 139882127285520 139882139551070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 224 13262 0 0 1 0 5 3 20 0 15 0 222520060 11262046208 45291 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=10998092 memory=7378113767197927766 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 22 13262 0 0 1 0 5 3 20 0 15 0 222520060 11262046208 45357 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=10998092 memory=7453013547424309593 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 22 13262 0 0 1 0 5 3 20 0 15 0 222520060 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=10998092 memory=7445410506274337381 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 60 13262 0 0 1 0 5 3 20 0 15 0 222520060 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=10998092 memory=5787785663623029848 CPUtime=0.09 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 54 13262 0 0 1 0 5 3 20 0 15 0 222520061 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=10998092 memory=8026650830774691430 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 14 13262 0 0 0 0 5 3 20 0 15 0 222520062 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881045026528 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11262046208 45357 33554432000 4194304 4196468 140732306038704 139880843699456 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11262046208 45357 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=10998092 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 1347 13262 0 0 21 0 5 3 20 0 15 0 222520065 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=10998092 memory=14431090117230 CPUtime=0.28 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 923 13262 0 0 20 0 5 3 20 0 15 0 222520065 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=10998092 memory=279337962045560 CPUtime=0.41 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) S 13866 13869 10336 0 -1 1077944384 1308 13262 0 0 33 0 5 3 20 0 15 0 222520065 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881121556464 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=10998092 memory=302585819879975321 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11262046208 45357 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=10998092 memory=15262549412229920 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520065 11262046208 45357 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 181164 KiB
[startup+3.11773 s]
/proc/loadavg: 1.60 1.46 1.43 6/215 13935
/proc/meminfo: memFree=22985128/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=11008352 memory=244920 CPUtime=6.1 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 37427 13262 0 0 588 14 5 3 20 0 15 0 222520048 11272552448 61230 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2752088 61230 3493 1 0 2713741 0
################
# More data... #
################
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 112814 13262 0 0 235494 62 5 3 20 0 15 0 222520059 11348049920 400091 33554432000 4194304 4196468 140732306038704 139882127303920 139881741894100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=11082080 memory=1600364 CPUtime=12.65 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 15687 13262 0 0 1201 56 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=11082080 memory=6791534058613427641 CPUtime=12.55 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 16798 13262 0 0 1192 55 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=11082080 memory=1600364 CPUtime=12.63 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 12998 13262 0 0 1199 56 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=11082080 memory=1600364 CPUtime=12.59 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 12312 13262 0 0 1198 53 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=11082080 memory=1600364 CPUtime=11.25 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 18501 13262 0 0 1064 53 5 3 20 0 15 0 222520061 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=11082080 memory=1600364 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 15 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881045026528 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=11082080 memory=1600364 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400091 33554432000 4194304 4196468 140732306038704 139880843699456 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=11082080 memory=1600364 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=11082080 memory=1600364 CPUtime=8.99 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 44874 13262 0 0 885 6 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=11082080 memory=1600364 CPUtime=9.55 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 54415 13262 0 0 942 5 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=11082080 memory=1600364 CPUtime=2.45 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) S 13866 13869 10336 0 -1 1077944384 35161 13262 0 0 233 4 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881121556464 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=11082080 memory=1600364 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=11082080 memory=1600364 CPUtime=1.63 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 2130 13262 0 0 78 77 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 2439.32 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1600364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.72 1.63 1.55 3/216 14286
/proc/meminfo: memFree=20027044/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=11082080 memory=1600364 CPUtime=2500.32 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 329354 13262 0 0 249655 369 5 3 20 0 15 0 222520048 11348049920 400091 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2770520 400091 3538 1 0 2732173 0
[pid=13869/tid=13922] ppid=13866 vsize=11082080 memory=1600364 CPUtime=2414.93 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 113692 13262 0 0 241422 63 5 3 20 0 15 0 222520059 11348049920 400091 33554432000 4194304 4196468 140732306038704 139882127303536 139881741480813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=11082080 memory=1600364 CPUtime=12.99 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 15725 13262 0 0 1234 57 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=11082080 memory=1600364 CPUtime=12.89 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 16858 13262 0 0 1224 57 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=11082080 memory=1600364 CPUtime=12.97 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 13105 13262 0 0 1231 58 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=11082080 memory=1600364 CPUtime=12.93 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 12423 13262 0 0 1231 54 5 3 20 0 15 0 222520060 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=11082080 memory=1600364 CPUtime=11.54 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 18729 13262 0 0 1092 54 5 3 20 0 15 0 222520061 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=11082080 memory=3712 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 15 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881045026528 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400091 33554432000 4194304 4196468 140732306038704 139880843699456 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=11082080 memory=1600364 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=11082080 memory=1600364 CPUtime=8.99 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 44877 13262 0 0 885 6 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=11082080 memory=1600364 CPUtime=9.55 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 54417 13262 0 0 942 5 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=11082080 memory=1600364 CPUtime=2.45 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) S 13866 13869 10336 0 -1 1077944384 35163 13262 0 0 233 4 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881121556464 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=11082080 memory=1600364 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=11082080 memory=1600364 CPUtime=1.67 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 2148 13262 0 0 80 79 5 3 20 0 15 0 222520065 11348049920 400091 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 2500.32 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1600364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.7 s]
/proc/loadavg: 1.67 1.62 1.55 3/216 14287
/proc/meminfo: memFree=20024988/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=11082080 memory=1602412 CPUtime=2520.05 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 329727 13262 0 0 251625 372 5 3 20 0 15 0 222520048 11348049920 400603 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2770520 400603 3538 1 0 2732173 0
[pid=13869/tid=13922] ppid=13866 vsize=11082080 memory=1602412 CPUtime=2434.1 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 113895 13262 0 0 243339 63 5 3 20 0 15 0 222520059 11348049920 400603 33554432000 4194304 4196468 140732306038704 139882127304112 139881738414206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=11082080 memory=0 CPUtime=13.1 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 15731 13262 0 0 1244 58 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=11082080 memory=6082484479349125734 CPUtime=13.01 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 16910 13262 0 0 1235 58 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=11082080 memory=3712 CPUtime=13.08 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 13114 13262 0 0 1242 58 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=11082080 memory=60584 CPUtime=13.05 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 12488 13262 0 0 1242 55 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=11082080 memory=1602412 CPUtime=11.64 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 18759 13262 0 0 1102 54 5 3 20 0 15 0 222520061 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=11082080 memory=3712 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 15 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881045026528 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=11082080 memory=1602412 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400603 33554432000 4194304 4196468 140732306038704 139880843699456 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=11082080 memory=1602412 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=11082080 memory=1602412 CPUtime=8.99 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 44879 13262 0 0 885 6 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=11082080 memory=11192 CPUtime=9.55 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 54419 13262 0 0 942 5 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=11082080 memory=60584 CPUtime=2.45 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) S 13866 13869 10336 0 -1 1077944384 35165 13262 0 0 233 4 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881121556464 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=11082080 memory=1064 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=11082080 memory=2072 CPUtime=1.67 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 2150 13262 0 0 80 79 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1602412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.73 s]
# the end of solver process 13869 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.32 s, system=3.76811 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.7 s]
/proc/loadavg: 1.67 1.62 1.55 3/216 14287
/proc/meminfo: memFree=20024988/32770624 swapFree=67108860/67108860
[pid=13869] ppid=13866 vsize=11082080 memory=1602412 CPUtime=2520.05 cores=0,2,4,6
/proc/13869/stat : 13869 (java) S 13866 13869 10336 0 -1 1077944320 329727 13262 0 0 251625 372 5 3 20 0 15 0 222520048 11348049920 400603 33554432000 4194304 4196468 140732306038704 140732306021248 139882155470583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
/proc/13869/statm: 2770520 400603 3538 1 0 2732173 0
[pid=13869/tid=13922] ppid=13866 vsize=11082080 memory=1602412 CPUtime=2434.1 cores=0,2,4,6
/proc/13869/task/13922/stat : 13922 (java) R 13866 13869 10336 0 -1 4202560 113895 13262 0 0 243339 63 5 3 20 0 15 0 222520059 11348049920 400603 33554432000 4194304 4196468 140732306038704 139882127304112 139881738414206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13923] ppid=13866 vsize=11082080 memory=0 CPUtime=13.1 cores=0,2,4,6
/proc/13869/task/13923/stat : 13923 (java) S 13866 13869 10336 0 -1 1077944384 15731 13262 0 0 1244 58 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139882159712784 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13924] ppid=13866 vsize=11082080 memory=6082484479349125734 CPUtime=13.01 cores=0,2,4,6
/proc/13869/task/13924/stat : 13924 (java) S 13866 13869 10336 0 -1 1077944384 16910 13262 0 0 1235 58 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139882053638800 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13925] ppid=13866 vsize=11082080 memory=3712 CPUtime=13.08 cores=0,2,4,6
/proc/13869/task/13925/stat : 13925 (java) S 13866 13869 10336 0 -1 1077944384 13114 13262 0 0 1242 58 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881693686032 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13926] ppid=13866 vsize=11082080 memory=60584 CPUtime=13.05 cores=0,2,4,6
/proc/13869/task/13926/stat : 13926 (java) S 13866 13869 10336 0 -1 1077944384 12488 13262 0 0 1242 55 5 3 20 0 15 0 222520060 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881692633488 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13927] ppid=13866 vsize=11082080 memory=1602412 CPUtime=11.64 cores=0,2,4,6
/proc/13869/task/13927/stat : 13927 (java) S 13866 13869 10336 0 -1 1077944384 18759 13262 0 0 1102 54 5 3 20 0 15 0 222520061 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881124715248 139882155481730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13928] ppid=13866 vsize=11082080 memory=3712 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13928/stat : 13928 (java) S 13866 13869 10336 0 -1 1077944384 15 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881045026528 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13929] ppid=13866 vsize=11082080 memory=1602412 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13929/stat : 13929 (java) S 13866 13869 10336 0 -1 1077944384 1 13262 0 0 0 0 5 3 20 0 15 0 222520062 11348049920 400603 33554432000 4194304 4196468 140732306038704 139880843699456 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13930] ppid=13866 vsize=11082080 memory=1602412 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13930/stat : 13930 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139880536299984 139882155489179 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13931] ppid=13866 vsize=11082080 memory=1602412 CPUtime=8.99 cores=0,2,4,6
/proc/13869/task/13931/stat : 13931 (java) S 13866 13869 10336 0 -1 1077944384 44879 13262 0 0 885 6 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881123662064 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13932] ppid=13866 vsize=11082080 memory=11192 CPUtime=9.55 cores=0,2,4,6
/proc/13869/task/13932/stat : 13932 (java) S 13866 13869 10336 0 -1 1077944384 54419 13262 0 0 942 5 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881122609520 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13933] ppid=13866 vsize=11082080 memory=60584 CPUtime=2.45 cores=0,2,4,6
/proc/13869/task/13933/stat : 13933 (java) S 13866 13869 10336 0 -1 1077944384 35165 13262 0 0 233 4 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881121556464 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13934] ppid=13866 vsize=11082080 memory=1064 CPUtime=0.08 cores=0,2,4,6
/proc/13869/task/13934/stat : 13934 (java) S 13866 13869 10336 0 -1 1077944384 3 13262 0 0 0 0 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139880105503072 139882155480789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
[pid=13869/tid=13935] ppid=13866 vsize=11082080 memory=2072 CPUtime=1.67 cores=0,2,4,6
/proc/13869/task/13935/stat : 13935 (java) S 13866 13869 10336 0 -1 1077944384 2150 13262 0 0 80 79 5 3 20 0 15 0 222520065 11348049920 400603 33554432000 4194304 4196468 140732306038704 139881120504880 139882155481730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28635136 140732306045539 140732306048348 140732306048348 140732306051023 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1602412 KiB
Child status: 143
Real time (s): 2461.73
CPU time (s): 2520.09
CPU user time (s): 2516.32
CPU system time (s): 3.76811
CPU usage (%): 102.371
Max. virtual memory (cumulated for all children) (KiB): 11082908
Max. memory (cumulated for all children) (KiB): 1602412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.32
system time used= 3.76811
maximum resident set size= 1604776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 344252
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 296550
involuntary context switches= 9673
# summary of solver processes directly reported to runsolver:
# pid: 13869
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.32
# total CPU system time (s): 3.76811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6919 second user time and 21.9333 second system time
The end