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 (14654 MiB free)
memory of node 1: 16384 MiB (15572 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273325-1502905259/watcher-4273325-1502905259 -o /tmp/evaluation-result-4273325-1502905259/solver-4273325-1502905259 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502867387-31958 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 961243031 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273325-1502905259.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4388, runsolver pid=4385
[startup+0.101952 s]*
/proc/loadavg: 1.54 1.64 1.62 3/202 4396
/proc/meminfo: memFree=30944780/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13573664 memory=16964 CPUtime=0.02 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 4136 0 0 0 2 0 0 0 20 0 9 0 18140955 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3393416 4241 2101 1 0 3382913 0
[pid=4388/tid=4390] ppid=4385 vsize=13573664 memory=4134931637327788091 CPUtime=0.02 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 2782 0 0 0 2 0 0 0 20 0 9 0 18140963 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140372363862536 140372359648413 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13573664 memory=3461361991549258287 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18140964 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13573664 memory=140656129812096 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18140964 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18140964 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18140964 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13573664 memory=140656129812096 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18140965 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 18140966 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140371836761632 140372359636693 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 18140966 13899431936 4241 18446744073709551615 4194304 4196468 140728016361792 140371835708848 140372359636693 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16964 KiB
[startup+0.209722 s]*
/proc/loadavg: 1.54 1.64 1.62 3/209 4403
/proc/meminfo: memFree=30930712/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13975920 memory=34032 CPUtime=0.13 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 9462 0 0 0 11 2 0 0 20 0 15 0 18140955 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3493980 8508 3386 1 0 3482759 0
[pid=4388/tid=4390] ppid=4385 vsize=13975920 memory=4134931637327788091 CPUtime=0.1 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 7411 0 0 0 8 2 0 0 20 0 15 0 18140963 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140372363832672 140372320587457 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13975920 memory=3461361991549258287 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13975920 memory=140656129812096 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13975920 memory=140656129812096 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18140965 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18140966 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371836761632 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18140966 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371835708784 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) S 4385 4388 2357 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 18140968 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371833604464 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371832551664 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13975920 memory=140656129812096 CPUtime=0.01 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) R 4385 4388 2357 0 -1 4202560 367 0 0 0 1 0 0 0 20 0 15 0 18140968 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371831498864 140372345306608 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4402] ppid=4385 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4402/stat : 4402 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371830446304 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4403] ppid=4385 vsize=13975920 memory=140656129812096 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4403/stat : 4403 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140972 14311342080 8508 18446744073709551615 4194304 4196468 140728016361792 140371829394608 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 34032 KiB
[startup+0.310168 s]*
/proc/loadavg: 1.54 1.64 1.62 4/209 4403
/proc/meminfo: memFree=30924628/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13975920 memory=43124 CPUtime=0.3 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 10983 0 0 0 27 3 0 0 20 0 15 0 18140955 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3493980 10781 3574 1 0 3482759 0
[pid=4388/tid=4390] ppid=4385 vsize=13975920 memory=4278483708103473607 CPUtime=0.19 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 8568 0 0 0 17 2 0 0 20 0 15 0 18140963 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140372363844768 140372359648413 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13975920 memory=7595428869032076130 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13975920 memory=6944656592452807326 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13975920 memory=-8918987556599313462 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18140964 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13975920 memory=4279135704047065247 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18140965 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13975920 memory=-8102431393132624720 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18140966 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371836761632 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18140966 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371835708784 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13975920 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) S 4385 4388 2357 0 -1 1077944384 421 0 0 0 2 0 0 0 20 0 15 0 18140968 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371833604464 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) S 4385 4388 2357 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 15 0 18140968 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371832551664 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) S 4385 4388 2357 0 -1 1077944384 437 0 0 0 5 0 0 0 20 0 15 0 18140968 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371831498864 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4402] ppid=4385 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4402/stat : 4402 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371830446304 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4403] ppid=4385 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4403/stat : 4403 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140972 14311342080 10781 18446744073709551615 4194304 4196468 140728016361792 140371829394608 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43124 KiB
[startup+0.700772 s]
/proc/loadavg: 1.54 1.64 1.62 3/209 4403
/proc/meminfo: memFree=30911724/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13977988 memory=70416 CPUtime=1.11 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 14784 0 0 0 105 6 0 0 20 0 15 0 18140955 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3494497 17604 3736 1 0 3483271 0
[pid=4388/tid=4390] ppid=4385 vsize=13977988 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 10491 0 0 0 53 4 0 0 20 0 15 0 18140963 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140372363861888 140371963289290 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13977988 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140964 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13977988 memory=8458433173657237813 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18140964 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13977988 memory=7223879632081535079 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140964 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13977988 memory=8028339676473540711 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18140964 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13977988 memory=4634274631634659936 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18140965 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13977988 memory=4427205132082312746 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18140966 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371836761632 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13977988 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18140966 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371835708784 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13977988 memory=140656129814049 CPUtime=0.12 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) S 4385 4388 2357 0 -1 1077944384 914 0 0 0 12 0 0 0 20 0 15 0 18140968 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371833604464 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13977988 memory=6459630814404 CPUtime=0.15 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) R 4385 4388 2357 0 -1 1077944384 1067 0 0 0 15 0 0 0 20 0 15 0 18140968 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371832551664 140372359637634 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13977988 memory=288230613214036277 CPUtime=0.23 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) R 4385 4388 2357 0 -1 4202560 930 0 0 0 23 0 0 0 20 0 15 0 18140968 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371831496656 140372338115296 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4402] ppid=4385 vsize=13977988 memory=14128948577568424 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4402/stat : 4402 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371830446304 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4403] ppid=4385 vsize=13977988 memory=4016 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4403/stat : 4403 (java) S 4385 4388 2357 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18140972 14313459712 17604 18446744073709551615 4194304 4196468 140728016361792 140371829394608 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70416 KiB
[startup+1.50317 s]
/proc/loadavg: 1.54 1.64 1.62 5/209 4403
/proc/meminfo: memFree=30868848/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13982084 memory=215564 CPUtime=3.36 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 31430 0 0 0 325 11 0 0 20 0 15 0 18140955 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3495521 53891 3771 1 0 3484295 0
[pid=4388/tid=4390] ppid=4385 vsize=13982084 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 15465 0 0 0 129 7 0 0 20 0 15 0 18140963 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140372363863984 140371968795484 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13982084 memory=281312036624144 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18140964 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13982084 memory=7524219084357397865 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 18140964 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 18140964 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13982084 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 18140964 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13982084 memory=114136 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 18140965 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140371836761696 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140371835708784 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13982084 memory=7680170660397595203 CPUtime=0.71 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) R 4385 4388 2357 0 -1 4202560 6019 0 0 0 71 0 0 0 20 0 15 0 18140968 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140371833590344 140372344741737 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13982084 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) R 4385 4388 2357 0 -1 4202560 4164 0 0 0 70 1 0 0 20 0 15 0 18140968 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140371832536656 140372345640808 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13982084 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) R 4385 4388 2357 0 -1 1077944384 3712 0 0 0 51 0 0 0 20 0 15 0 18140968 14317654016 53891 18446744073709551615 4194304 4196468 140728016361792 140371831498864 140372359637634 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
################
# More data... #
################
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 80985 0 0 0 235410 55 0 0 20 0 15 0 18140963 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140372363864896 140371968314844 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13982084 memory=1152 CPUtime=15.42 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 16182 0 0 0 1467 75 0 0 20 0 15 0 18140964 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13982084 memory=3212 CPUtime=15.45 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 14294 0 0 0 1470 75 0 0 20 0 15 0 18140964 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13982084 memory=1457252 CPUtime=15.44 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 14163 0 0 0 1466 78 0 0 20 0 15 0 18140964 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13982084 memory=1156 CPUtime=15.52 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 14961 0 0 0 1470 82 0 0 20 0 15 0 18140964 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13982084 memory=3060 CPUtime=8.17 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 13029 0 0 0 753 64 0 0 20 0 15 0 18140965 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13982084 memory=1974828 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371836761696 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13982084 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371835708800 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13982084 memory=3900 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13982084 memory=1459796 CPUtime=2.14 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) S 4385 4388 2357 0 -1 1077944384 25265 0 0 0 211 3 0 0 20 0 15 0 18140968 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371833604464 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13982084 memory=288230574492221466 CPUtime=2.62 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) S 4385 4388 2357 0 -1 1077944384 34627 0 0 0 259 3 0 0 20 0 15 0 18140968 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371832551664 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13982084 memory=288230613214036277 CPUtime=0.79 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) S 4385 4388 2357 0 -1 1077944384 20902 0 0 0 76 3 0 0 20 0 15 0 18140968 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371831498864 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4402] ppid=4385 vsize=13982084 memory=14128948577568424 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4402/stat : 4402 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371830446304 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4403] ppid=4385 vsize=13982084 memory=1440 CPUtime=1.46 cores=1,3,5,7
/proc/4388/task/4403/stat : 4403 (java) S 4385 4388 2357 0 -1 1077944384 1322 0 0 0 57 89 0 0 20 0 15 0 18140972 14317654016 364949 18446744073709551615 4194304 4196468 140728016361792 140371829394608 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 2431.76 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1459796 KiB
[startup+2442.3 s]
/proc/loadavg: 1.58 1.39 1.39 3/209 4649
/proc/meminfo: memFree=27995836/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13982084 memory=1466912 CPUtime=2492.95 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 240761 0 0 0 248830 465 0 0 20 0 15 0 18140955 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3495521 366728 3819 1 0 3484295 0
[pid=4388/tid=4390] ppid=4385 vsize=13982084 memory=288230613214036277 CPUtime=2413.96 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 82358 0 0 0 241340 56 0 0 20 0 15 0 18140963 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140372363865008 140371968314592 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13982084 memory=14128948577568424 CPUtime=15.85 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 16510 0 0 0 1507 78 0 0 20 0 15 0 18140964 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13982084 memory=4016 CPUtime=15.88 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 14697 0 0 0 1510 78 0 0 20 0 15 0 18140964 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13982084 memory=16448 CPUtime=15.85 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 14717 0 0 0 1505 80 0 0 20 0 15 0 18140964 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13982084 memory=10304 CPUtime=15.92 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 15452 0 0 0 1509 83 0 0 20 0 15 0 18140964 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13982084 memory=1240 CPUtime=8.34 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 13387 0 0 0 768 66 0 0 20 0 15 0 18140965 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13982084 memory=644 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371836761696 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13982084 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371835708800 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13982084 memory=956 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13982084 memory=2248 CPUtime=2.14 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) S 4385 4388 2357 0 -1 1077944384 25270 0 0 0 211 3 0 0 20 0 15 0 18140968 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371833604464 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13982084 memory=4324 CPUtime=2.62 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) S 4385 4388 2357 0 -1 1077944384 34631 0 0 0 259 3 0 0 20 0 15 0 18140968 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371832551664 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13982084 memory=1592 CPUtime=0.79 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) S 4385 4388 2357 0 -1 1077944384 20906 0 0 0 76 3 0 0 20 0 15 0 18140968 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371831498864 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4402] ppid=4385 vsize=13982084 memory=932 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4402/stat : 4402 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371830446304 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4403] ppid=4385 vsize=13982084 memory=7956805424100234344 CPUtime=1.5 cores=1,3,5,7
/proc/4388/task/4403/stat : 4403 (java) S 4385 4388 2357 0 -1 1077944384 1343 0 0 0 59 91 0 0 20 0 15 0 18140972 14317654016 366728 18446744073709551615 4194304 4196468 140728016361792 140371829394608 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 2492.95 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1466912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.8 s]
/proc/loadavg: 1.50 1.39 1.39 3/209 4651
/proc/meminfo: memFree=27989408/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2520.01 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 241697 0 0 0 251532 469 0 0 20 0 15 0 18140955 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3495521 367364 3819 1 0 3484295 0
[pid=4388/tid=4390] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2440.16 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 82838 0 0 0 243959 57 0 0 20 0 15 0 18140963 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372363865008 140371968888387 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.04 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 16641 0 0 0 1526 78 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.07 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 14809 0 0 0 1529 78 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.05 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 14787 0 0 0 1524 81 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.12 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 15590 0 0 0 1528 84 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13982084 memory=2424 CPUtime=8.41 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 13391 0 0 0 775 66 0 0 20 0 15 0 18140965 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371836761696 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13982084 memory=214 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371835708800 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13982084 memory=1469456 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2.14 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) S 4385 4388 2357 0 -1 1077944384 25270 0 0 0 211 3 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371833604464 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2.62 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) S 4385 4388 2357 0 -1 1077944384 34631 0 0 0 259 3 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371832551664 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13982084 memory=1469456 CPUtime=0.79 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) S 4385 4388 2357 0 -1 1077944384 20906 0 0 0 76 3 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371831498864 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4402] ppid=4385 vsize=13982084 memory=1469456 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4402/stat : 4402 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371830446304 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4403] ppid=4385 vsize=13982084 memory=4104 CPUtime=1.51 cores=1,3,5,7
/proc/4388/task/4403/stat : 4403 (java) S 4385 4388 2357 0 -1 1077944384 1344 0 0 0 59 92 0 0 20 0 15 0 18140972 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371829394608 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1469456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.82 s]
# the end of solver process 4388 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.33 s, system=4.70043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.8 s]
/proc/loadavg: 1.50 1.39 1.39 3/209 4651
/proc/meminfo: memFree=27989408/32770624 swapFree=67108860/67108860
[pid=4388] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2520.01 cores=1,3,5,7
/proc/4388/stat : 4388 (java) S 4385 4388 2357 0 -1 1077944320 241697 0 0 0 251532 469 0 0 20 0 15 0 18140955 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140728016344336 140372359626487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
/proc/4388/statm: 3495521 367364 3819 1 0 3484295 0
[pid=4388/tid=4390] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2440.16 cores=1,3,5,7
/proc/4388/task/4390/stat : 4390 (java) R 4385 4388 2357 0 -1 4202560 82838 0 0 0 243959 57 0 0 20 0 15 0 18140963 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372363865008 140371968888387 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4391] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.04 cores=1,3,5,7
/proc/4388/task/4391/stat : 4391 (java) S 4385 4388 2357 0 -1 1077944384 16641 0 0 0 1526 78 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372294060688 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4392] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.07 cores=1,3,5,7
/proc/4388/task/4392/stat : 4392 (java) S 4385 4388 2357 0 -1 1077944384 14809 0 0 0 1529 78 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372293007888 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4393] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.05 cores=1,3,5,7
/proc/4388/task/4393/stat : 4393 (java) S 4385 4388 2357 0 -1 1077944384 14787 0 0 0 1524 81 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372291955088 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4394] ppid=4385 vsize=13982084 memory=1469456 CPUtime=16.12 cores=1,3,5,7
/proc/4388/task/4394/stat : 4394 (java) S 4385 4388 2357 0 -1 1077944384 15590 0 0 0 1528 84 0 0 20 0 15 0 18140964 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140372290902288 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4395] ppid=4385 vsize=13982084 memory=2424 CPUtime=8.41 cores=1,3,5,7
/proc/4388/task/4395/stat : 4395 (java) S 4385 4388 2357 0 -1 1077944384 13391 0 0 0 775 66 0 0 20 0 15 0 18140965 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371837815664 140372359637634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4396] ppid=4385 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4396/stat : 4396 (java) S 4385 4388 2357 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371836761696 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4397] ppid=4385 vsize=13982084 memory=214 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4397/stat : 4397 (java) S 4385 4388 2357 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 18140966 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371835708800 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4398] ppid=4385 vsize=13982084 memory=1469456 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4398/stat : 4398 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371834657104 140372359645083 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4399] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2.14 cores=1,3,5,7
/proc/4388/task/4399/stat : 4399 (java) S 4385 4388 2357 0 -1 1077944384 25270 0 0 0 211 3 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371833604464 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4400] ppid=4385 vsize=13982084 memory=1469456 CPUtime=2.62 cores=1,3,5,7
/proc/4388/task/4400/stat : 4400 (java) S 4385 4388 2357 0 -1 1077944384 34631 0 0 0 259 3 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371832551664 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4401] ppid=4385 vsize=13982084 memory=1469456 CPUtime=0.79 cores=1,3,5,7
/proc/4388/task/4401/stat : 4401 (java) S 4385 4388 2357 0 -1 1077944384 20906 0 0 0 76 3 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371831498864 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4402] ppid=4385 vsize=13982084 memory=1469456 CPUtime=0 cores=1,3,5,7
/proc/4388/task/4402/stat : 4402 (java) S 4385 4388 2357 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18140968 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371830446304 140372359636693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
[pid=4388/tid=4403] ppid=4385 vsize=13982084 memory=4104 CPUtime=1.51 cores=1,3,5,7
/proc/4388/task/4403/stat : 4403 (java) S 4385 4388 2357 0 -1 1077944384 1344 0 0 0 59 92 0 0 20 0 15 0 18140972 14317654016 367364 18446744073709551615 4194304 4196468 140728016361792 140371829394608 140372359637634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 20226048 140728016363896 140728016364076 140728016364076 140728016367567 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1469456 KiB
Child status: 143
Real time (s): 2468.82
CPU time (s): 2520.03
CPU user time (s): 2515.33
CPU system time (s): 4.70043
CPU usage (%): 102.075
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 1469460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.33
system time used= 4.70043
maximum resident set size= 1469808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285029
involuntary context switches= 7540
# summary of solver processes directly reported to runsolver:
# pid: 4388
# total CPU time (s): 2520.03
# total CPU user time (s): 2515.33
# total CPU system time (s): 4.70043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.683 second user time and 22.9448 second system time
The end