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 (9464 MiB free)
memory of node 1: 16384 MiB (15801 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302923-1532895311/watcher-4302923-1532895311 -o /tmp/evaluation-result-4302923-1532895311/solver-4302923-1532895311 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1985437362 -superng HOME/instance-4302923-1532895311.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24732, runsolver pid=24729
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 2.12 2.14 1.92 3/202 24785
/proc/meminfo: memFree=25868444/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=10005480 memory=16024 CPUtime=0.09 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 4133 13287 0 0 1 0 5 3 20 0 6 0 107094321 10245611520 4006 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2501370 4006 1896 1 0 2489808 0
[pid=24732/tid=24785] ppid=24729 vsize=10005480 memory=4279135703980080525 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 1959 13287 0 0 0 0 5 3 20 0 6 0 107094331 10245611520 4006 33554432000 4194304 4196468 140735942997536 140164211409488 140164239594653 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 6 0 107094331 10245611520 4006 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=10005480 memory=140521272473216 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 6 0 107094331 10245611520 4006 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 6 0 107094331 10245611520 4006 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 6 0 107094331 10245611520 4006 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16024 KiB
[startup+0.21004 s]*
/proc/loadavg: 2.12 2.14 1.92 4/215 24798
/proc/meminfo: memFree=25844028/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=10982744 memory=41460 CPUtime=0.26 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 7055 13287 0 0 17 1 5 3 20 0 15 0 107094321 11246329856 10299 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2745686 10299 2955 1 0 2708109 0
[pid=24732/tid=24785] ppid=24729 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 3644 13287 0 0 10 1 5 3 20 0 15 0 107094331 11246329856 10365 33554432000 4194304 4196468 140735942997536 140164211397144 140164219848476 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=10982744 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246329856 10365 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=10982744 memory=3617997986149922464 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246329856 10365 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246329856 10365 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246329856 10365 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=10982744 memory=140521272473216 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246329856 10431 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246329856 10431 33554432000 4194304 4196468 140735942997536 140163103581728 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246329856 10431 33554432000 4194304 4196468 140735942997536 140162902254960 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246329856 10431 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 405 13287 0 0 1 0 5 3 20 0 15 0 107094336 11246329856 10431 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 194 13287 0 0 1 0 5 3 20 0 15 0 107094336 11246329856 10431 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=10982744 memory=140521272473216 CPUtime=0.11 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) S 24729 24732 13514 0 -1 1077944384 639 13287 0 0 3 0 5 3 20 0 15 0 107094336 11246329856 10431 33554432000 4194304 4196468 140735942997536 140163407411312 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246329856 10431 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=10982744 memory=140521272473216 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246329856 10431 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41460 KiB
[startup+0.310119 s]*
/proc/loadavg: 2.12 2.14 1.92 5/215 24798
/proc/meminfo: memFree=25831128/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=10983192 memory=55308 CPUtime=0.38 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 10393 13287 0 0 28 2 5 3 20 0 15 0 107094321 11246788608 13827 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2745798 13827 3074 1 0 2708109 0
[pid=24732/tid=24785] ppid=24729 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 6919 13287 0 0 19 1 5 3 20 0 15 0 107094331 11246788608 13827 33554432000 4194304 4196468 140735942997536 140164211384736 140164223653214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 13827 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 13827 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 13827 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 13827 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246788608 13827 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246788608 13827 33554432000 4194304 4196468 140735942997536 140163103581728 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246788608 13827 33554432000 4194304 4196468 140735942997536 140162902254960 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246788608 13827 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 408 13287 0 0 1 0 5 3 20 0 15 0 107094336 11246788608 13827 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 196 13287 0 0 1 0 5 3 20 0 15 0 107094336 11246788608 13827 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=10983192 memory=140521272473216 CPUtime=0.13 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) S 24729 24732 13514 0 -1 1077944384 654 13287 0 0 5 0 5 3 20 0 15 0 107094336 11246788608 13827 33554432000 4194304 4196468 140735942997536 140163407411312 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246788608 13827 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=10983192 memory=140521272473216 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246788608 13827 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55308 KiB
[startup+0.700747 s]
/proc/loadavg: 2.12 2.14 1.92 6/215 24798
/proc/meminfo: memFree=25819128/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=10983192 memory=88624 CPUtime=1 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 16754 13287 0 0 88 4 5 3 20 0 15 0 107094321 11246788608 22092 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2745798 22156 3238 1 0 2708109 0
[pid=24732/tid=24785] ppid=24729 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 12183 13287 0 0 55 3 5 3 20 0 15 0 107094331 11246788608 22156 33554432000 4194304 4196468 140735942997536 140164211393552 140164225252852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 22156 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 22156 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 2 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 22156 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094331 11246788608 22156 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 5 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246788608 22156 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=10983192 memory=140521129521840 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 13 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246788608 22156 33554432000 4194304 4196468 140735942997536 140163103581728 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=10983192 memory=140522739991120 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094333 11246788608 22156 33554432000 4194304 4196468 140735942997536 140162902254960 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=10983192 memory=1020 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246788608 22156 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=10983192 memory=7089042195949315648 CPUtime=0.18 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 1043 13287 0 0 10 0 5 3 20 0 15 0 107094336 11246788608 22156 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=10983192 memory=7881696724453321575 CPUtime=0.15 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 565 13287 0 0 7 0 5 3 20 0 15 0 107094336 11246788608 22156 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) R 24729 24732 13514 0 -1 4202560 752 13287 0 0 13 0 5 3 20 0 15 0 107094336 11246788608 22156 33554432000 4194304 4196468 140735942997536 140163407411312 140164220982735 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246788608 22156 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094336 11246788608 22156 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88624 KiB
[startup+1.50073 s]
/proc/loadavg: 2.12 2.14 1.92 4/215 24798
/proc/meminfo: memFree=25772424/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=10998092 memory=202344 CPUtime=2.72 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 25502 13287 0 0 256 8 5 3 20 0 15 0 107094321 11262046208 50586 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2749523 50586 3470 1 0 2711181 0
[pid=24732/tid=24785] ppid=24729 vsize=10998092 memory=10757 CPUtime=1.42 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 16943 13287 0 0 129 5 5 3 20 0 15 0 107094331 11262046208 50586 33554432000 4194304 4196468 140735942997536 140164211380560 140164239594653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=10998092 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 34 13287 0 0 1 0 5 3 20 0 15 0 107094331 11262046208 50586 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=10998092 memory=1408 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 158 13287 0 0 1 0 5 3 20 0 15 0 107094331 11262046208 50586 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=10998092 memory=2952 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 60 13287 0 0 1 0 5 3 20 0 15 0 107094331 11262046208 50586 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=10998092 memory=88624 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 19 13287 0 0 1 0 5 3 20 0 15 0 107094331 11262046208 50586 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 45 13287 0 0 1 0 5 3 20 0 15 0 107094333 11262046208 50586 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 14 13287 0 0 0 0 5 3 20 0 15 0 107094333 11262046208 50586 33554432000 4194304 4196468 140735942997536 140163103581792 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094333 11262046208 50586 33554432000 4194304 4196468 140735942997536 140162902254976 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11262046208 50586 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=10998092 memory=4638778398332698720 CPUtime=0.47 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 2120 13287 0 0 39 0 5 3 20 0 15 0 107094336 11262046208 50586 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=10998092 memory=281042259319680 CPUtime=0.46 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 2309 13287 0 0 38 0 5 3 20 0 15 0 107094336 11262046208 50586 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=10998092 memory=6944656592452807323 CPUtime=0.46 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) S 24729 24732 13514 0 -1 1077944384 1601 13287 0 0 38 0 5 3 20 0 15 0 107094336 11262046208 50586 33554432000 4194304 4196468 140735942997536 140163407411312 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11262046208 50586 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=10998092 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 1 13287 0 0 0 0 5 3 20 0 15 0 107094336 11262046208 50586 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 54175 13287 0 0 15843 16 5 3 20 0 15 0 107094331 11343855616 456447 33554432000 4194304 4196468 140735942997536 140164211407696 140163800967768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=11077984 memory=316 CPUtime=3.26 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 3259 13287 0 0 284 34 5 3 20 0 15 0 107094331 11343855616 456447 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=11077984 memory=1823780 CPUtime=3.29 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 4593 13287 0 0 286 35 5 3 20 0 15 0 107094331 11343855616 456447 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=11077984 memory=1823752 CPUtime=3.28 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 3035 13287 0 0 284 36 5 3 20 0 15 0 107094331 11343855616 456447 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=11077984 memory=1825788 CPUtime=3.26 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 4337 13287 0 0 283 35 5 3 20 0 15 0 107094331 11343855616 456447 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=11077984 memory=1823752 CPUtime=0.41 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 6405 13287 0 0 32 1 5 3 20 0 15 0 107094333 11343855616 456447 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=11077984 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 20 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 456447 33554432000 4194304 4196468 140735942997536 140163103581792 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=11077984 memory=1823760 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 16 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 456447 33554432000 4194304 4196468 140735942997536 140162902254976 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=11077984 memory=1823760 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 456447 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=11077984 memory=1968 CPUtime=5.67 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 16380 13287 0 0 556 3 5 3 20 0 15 0 107094336 11343855616 456447 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=11077984 memory=1572 CPUtime=5.39 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 17056 13287 0 0 527 4 5 3 20 0 15 0 107094336 11343855616 456447 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=11077984 memory=1825788 CPUtime=2.45 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) S 24729 24732 13514 0 -1 1077944384 12733 13287 0 0 233 4 5 3 20 0 15 0 107094336 11343855616 456447 33554432000 4194304 4196468 140735942997536 140163407411312 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=11077984 memory=14572 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 456447 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=11077984 memory=1823752 CPUtime=0.16 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 785 13287 0 0 3 5 5 3 20 0 15 0 107094336 11343855616 456447 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 185.2 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1825788 KiB
[startup+222.301 s]
/proc/loadavg: 1.60 1.95 1.89 3/215 24929
/proc/meminfo: memFree=22183336/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=11077984 memory=1809992 CPUtime=246.34 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 132283 13287 0 0 24448 178 5 3 20 0 15 0 107094321 11343855616 452498 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2769496 452498 3530 1 0 2731149 0
[pid=24732/tid=24785] ppid=24729 vsize=11077984 memory=1814608 CPUtime=218.57 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 55892 13287 0 0 21833 16 5 3 20 0 15 0 107094331 11343855616 452498 33554432000 4194304 4196468 140735942997536 140164211407928 140163800965920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=11077984 memory=1810504 CPUtime=3.34 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 3542 13287 0 0 291 35 5 3 20 0 15 0 107094331 11343855616 452498 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=11077984 memory=1809992 CPUtime=3.37 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 4722 13287 0 0 294 35 5 3 20 0 15 0 107094331 11343855616 452498 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=11077984 memory=6791534058613427641 CPUtime=3.35 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 3163 13287 0 0 291 36 5 3 20 0 15 0 107094331 11343855616 452498 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=11077984 memory=1809992 CPUtime=3.34 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 4510 13287 0 0 291 35 5 3 20 0 15 0 107094331 11343855616 452498 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=11077984 memory=1814608 CPUtime=0.42 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 6576 13287 0 0 33 1 5 3 20 0 15 0 107094333 11343855616 452498 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=11077984 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 20 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 452498 33554432000 4194304 4196468 140735942997536 140163103581792 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=11077984 memory=2204 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 16 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 452498 33554432000 4194304 4196468 140735942997536 140162902254976 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=11077984 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 452498 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=11077984 memory=1809992 CPUtime=6.05 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 17578 13287 0 0 593 4 5 3 20 0 15 0 107094336 11343855616 452498 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=11077984 memory=1809992 CPUtime=5.76 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 18267 13287 0 0 564 4 5 3 20 0 15 0 107094336 11343855616 452498 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=11077984 memory=6791534058613427641 CPUtime=2.57 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) S 24729 24732 13514 0 -1 1077944384 14998 13287 0 0 245 4 5 3 20 0 15 0 107094336 11343855616 452498 33554432000 4194304 4196468 140735942997536 140163407411312 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=11077984 memory=1992 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 452498 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=11077984 memory=4140 CPUtime=0.19 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 802 13287 0 0 5 6 5 3 20 0 15 0 107094336 11343855616 452498 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 246.34 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1809992 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+227.901 s]
/proc/loadavg: 1.63 1.95 1.89 3/215 24929
/proc/meminfo: memFree=21933728/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=11077984 memory=1808960 CPUtime=252.06 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 134643 13287 0 0 25019 179 5 3 20 0 15 0 107094321 11343855616 452240 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2769496 452240 3530 1 0 2731149 0
[pid=24732/tid=24785] ppid=24729 vsize=11077984 memory=1806912 CPUtime=224.15 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 56150 13287 0 0 22391 16 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164211407696 140163807794382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=11077984 memory=1810504 CPUtime=3.36 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 4598 13287 0 0 293 35 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=11077984 memory=1809992 CPUtime=3.38 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 4737 13287 0 0 295 35 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=11077984 memory=6791534058613427641 CPUtime=3.36 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 3167 13287 0 0 292 36 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=11077984 memory=1806912 CPUtime=3.35 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 4579 13287 0 0 292 35 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=11077984 memory=1806912 CPUtime=0.43 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 6595 13287 0 0 34 1 5 3 20 0 15 0 107094333 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=11077984 memory=1814608 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 20 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163103581792 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=11077984 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 16 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 452240 33554432000 4194304 4196468 140735942997536 140162902254976 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=11077984 memory=1814608 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=11077984 memory=1992 CPUtime=6.08 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 18333 13287 0 0 596 4 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=11077984 memory=1806912 CPUtime=5.79 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 18387 13287 0 0 567 4 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=11077984 memory=1806912 CPUtime=2.58 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) S 24729 24732 13514 0 -1 1077944384 15052 13287 0 0 246 4 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163407411312 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=11077984 memory=1809992 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=11077984 memory=1809992 CPUtime=0.19 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 812 13287 0 0 5 6 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1808960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+227.948 s]
# the end of solver process 24732 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.262 s, system=1.84344 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+227.901 s]
/proc/loadavg: 1.63 1.95 1.89 3/215 24929
/proc/meminfo: memFree=21933728/32770624 swapFree=67108860/67108860
[pid=24732] ppid=24729 vsize=11077984 memory=1808960 CPUtime=252.06 cores=1,3,5,7
/proc/24732/stat : 24732 (java) S 24729 24732 13514 0 -1 1077944320 134643 13287 0 0 25019 179 5 3 20 0 15 0 107094321 11343855616 452240 33554432000 4194304 4196468 140735942997536 140735942980080 140164239572727 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
/proc/24732/statm: 2769496 452240 3530 1 0 2731149 0
[pid=24732/tid=24785] ppid=24729 vsize=11077984 memory=1806912 CPUtime=224.15 cores=1,3,5,7
/proc/24732/task/24785/stat : 24785 (java) R 24729 24732 13514 0 -1 4202560 56150 13287 0 0 22391 16 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164211407696 140163807794382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24786] ppid=24729 vsize=11077984 memory=1810504 CPUtime=3.36 cores=1,3,5,7
/proc/24732/task/24786/stat : 24786 (java) S 24729 24732 13514 0 -1 1077944384 4598 13287 0 0 293 35 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164243815056 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24787] ppid=24729 vsize=11077984 memory=1809992 CPUtime=3.38 cores=1,3,5,7
/proc/24732/task/24787/stat : 24787 (java) S 24729 24732 13514 0 -1 1077944384 4737 13287 0 0 295 35 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164114463248 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24788] ppid=24729 vsize=11077984 memory=6791534058613427641 CPUtime=3.36 cores=1,3,5,7
/proc/24732/task/24788/stat : 24788 (java) S 24729 24732 13514 0 -1 1077944384 3167 13287 0 0 292 36 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164113410448 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24789] ppid=24729 vsize=11077984 memory=1806912 CPUtime=3.35 cores=1,3,5,7
/proc/24732/task/24789/stat : 24789 (java) S 24729 24732 13514 0 -1 1077944384 4579 13287 0 0 292 35 5 3 20 0 15 0 107094331 11343855616 452240 33554432000 4194304 4196468 140735942997536 140164112357648 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24790] ppid=24729 vsize=11077984 memory=1806912 CPUtime=0.43 cores=1,3,5,7
/proc/24732/task/24790/stat : 24790 (java) S 24729 24732 13514 0 -1 1077944384 6595 13287 0 0 34 1 5 3 20 0 15 0 107094333 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163410570096 140164239583874 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24791] ppid=24729 vsize=11077984 memory=1814608 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24791/stat : 24791 (java) S 24729 24732 13514 0 -1 1077944384 20 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163103581792 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24792] ppid=24729 vsize=11077984 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24792/stat : 24792 (java) S 24729 24732 13514 0 -1 1077944384 16 13287 0 0 0 0 5 3 20 0 15 0 107094333 11343855616 452240 33554432000 4194304 4196468 140735942997536 140162902254976 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24793] ppid=24729 vsize=11077984 memory=1814608 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24793/stat : 24793 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140162594855248 140164239591323 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24794] ppid=24729 vsize=11077984 memory=1992 CPUtime=6.08 cores=1,3,5,7
/proc/24732/task/24794/stat : 24794 (java) S 24729 24732 13514 0 -1 1077944384 18333 13287 0 0 596 4 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163409516912 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24795] ppid=24729 vsize=11077984 memory=1806912 CPUtime=5.79 cores=1,3,5,7
/proc/24732/task/24795/stat : 24795 (java) S 24729 24732 13514 0 -1 1077944384 18387 13287 0 0 567 4 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163408464112 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24796] ppid=24729 vsize=11077984 memory=1806912 CPUtime=2.58 cores=1,3,5,7
/proc/24732/task/24796/stat : 24796 (java) S 24729 24732 13514 0 -1 1077944384 15052 13287 0 0 246 4 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163407411312 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24797] ppid=24729 vsize=11077984 memory=1809992 CPUtime=0.08 cores=1,3,5,7
/proc/24732/task/24797/stat : 24797 (java) S 24729 24732 13514 0 -1 1077944384 3 13287 0 0 0 0 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140162164058336 140164239582933 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
[pid=24732/tid=24798] ppid=24729 vsize=11077984 memory=1809992 CPUtime=0.19 cores=1,3,5,7
/proc/24732/task/24798/stat : 24798 (java) S 24729 24732 13514 0 -1 1077944384 812 13287 0 0 5 6 5 3 20 0 15 0 107094336 11343855616 452240 33554432000 4194304 4196468 140735942997536 140163406359728 140164239583874 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16093184 140735943002728 140735943005537 140735943005537 140735943008207 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1808960 KiB
Child status: 143
Real time (s): 227.949
CPU time (s): 252.105
CPU user time (s): 250.262
CPU system time (s): 1.84344
CPU usage (%): 110.597
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 1827812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.262
system time used= 1.84344
maximum resident set size= 1827812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148833
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16353
involuntary context switches= 371
# summary of solver processes directly reported to runsolver:
# pid: 24732
# total CPU time (s): 252.105
# total CPU user time (s): 250.262
# total CPU system time (s): 1.84344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47157 second user time and 2.06852 second system time
The end