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 (7797 MiB free)
memory of node 1: 16384 MiB (6839 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304304-1534054595/watcher-4304304-1534054595 -o /tmp/evaluation-result-4304304-1534054595/solver-4304304-1534054595 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15971 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1791403207 -superng HOME/instance-4304304-1534054595.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19219, runsolver pid=19216
[startup+0.100154 s]*
/proc/loadavg: 1.57 1.64 1.77 3/206 19276
/proc/meminfo: memFree=14982708/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 4349 13099 0 0 1 0 5 3 20 0 6 0 223022662 10245611520 4203 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2501370 4203 1934 1 0 2489808 0
[pid=19219/tid=19272] ppid=19216 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 2165 13099 0 0 0 0 5 3 20 0 6 0 223022671 10245611520 4203 33554432000 4194304 4196468 140726198124944 139690816479824 139690844664989 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 6 0 223022672 10245611520 4203 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=10005480 memory=139893860542080 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 6 0 223022672 10245611520 4203 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 6 0 223022672 10245611520 4203 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 2 13099 0 0 0 0 5 3 20 0 6 0 223022672 10245611520 4203 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210255 s]*
/proc/loadavg: 1.57 1.64 1.77 3/215 19285
/proc/meminfo: memFree=14960152/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=10982744 memory=43952 CPUtime=0.27 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 7721 13099 0 0 17 2 5 3 20 0 15 0 223022662 11246329856 10988 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2745686 10988 2945 1 0 2708109 0
[pid=19219/tid=19272] ppid=19216 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 4353 13099 0 0 10 1 5 3 20 0 15 0 223022671 11246329856 11054 33554432000 4194304 4196468 140726198124944 139690816439104 139690824918877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=10982744 memory=139893860542080 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 2 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=10982744 memory=139893860542080 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 2 13099 0 0 0 0 5 3 20 0 15 0 223022673 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 13 13099 0 0 0 0 5 3 20 0 15 0 223022674 11246329856 11120 33554432000 4194304 4196468 140726198124944 139689597068192 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022674 11246329856 11120 33554432000 4194304 4196468 140726198124944 139689449219056 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11246329856 11120 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 441 13099 0 0 1 0 5 3 20 0 15 0 223022676 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 185 13099 0 0 1 0 5 3 20 0 15 0 223022676 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=10982744 memory=139893860542080 CPUtime=0.11 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 607 13099 0 0 3 0 5 3 20 0 15 0 223022676 11246329856 11120 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11246329856 11120 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=10982744 memory=139893860542080 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022677 11246329856 11186 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43952 KiB
[startup+0.310209 s]*
/proc/loadavg: 1.57 1.64 1.77 3/215 19285
/proc/meminfo: memFree=14948464/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=10983192 memory=55388 CPUtime=0.39 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 10417 13099 0 0 28 3 5 3 20 0 15 0 223022662 11246788608 13847 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2745798 13847 3064 1 0 2708109 0
[pid=19219/tid=19272] ppid=19216 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 6950 13099 0 0 19 2 5 3 20 0 15 0 223022671 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690816455072 140726199363798 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 2 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 2 13099 0 0 0 0 5 3 20 0 15 0 223022673 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 13 13099 0 0 0 0 5 3 20 0 15 0 223022674 11246788608 13847 33554432000 4194304 4196468 140726198124944 139689597068192 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022674 11246788608 13847 33554432000 4194304 4196468 140726198124944 139689449219056 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11246788608 13847 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 444 13099 0 0 1 0 5 3 20 0 15 0 223022676 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 188 13099 0 0 1 0 5 3 20 0 15 0 223022676 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 612 13099 0 0 5 0 5 3 20 0 15 0 223022676 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11246788608 13847 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022677 11246788608 13847 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55388 KiB
[startup+0.700808 s]
/proc/loadavg: 1.57 1.64 1.77 3/215 19285
/proc/meminfo: memFree=14936680/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=10983192 memory=88608 CPUtime=0.99 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 16762 13099 0 0 86 5 5 3 20 0 15 0 223022662 11246788608 22152 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2745798 22152 3247 1 0 2708109 0
[pid=19219/tid=19272] ppid=19216 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 12182 13099 0 0 55 4 5 3 20 0 15 0 223022671 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690816463888 139690821867216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 2 13099 0 0 0 0 5 3 20 0 15 0 223022672 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 6 13099 0 0 0 0 5 3 20 0 15 0 223022673 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 13 13099 0 0 0 0 5 3 20 0 15 0 223022674 11246788608 22152 33554432000 4194304 4196468 140726198124944 139689597068192 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022674 11246788608 22152 33554432000 4194304 4196468 140726198124944 139689449219056 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11246788608 22152 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 1048 13099 0 0 9 0 5 3 20 0 15 0 223022676 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 602 13099 0 0 7 0 5 3 20 0 15 0 223022676 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 703 13099 0 0 13 0 5 3 20 0 15 0 223022676 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11246788608 22152 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022677 11246788608 22152 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88608 KiB
[startup+1.50072 s]
/proc/loadavg: 1.57 1.64 1.77 4/215 19285
/proc/meminfo: memFree=14890596/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=10998092 memory=194972 CPUtime=2.82 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 26195 13099 0 0 263 11 5 3 20 0 15 0 223022662 11262046208 48743 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2749523 48743 3467 1 0 2711181 0
[pid=19219/tid=19272] ppid=19216 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 17231 13099 0 0 129 6 5 3 20 0 15 0 223022671 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690816460384 139690828723550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 29 13099 0 0 1 0 5 3 20 0 15 0 223022672 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 166 13099 0 0 1 0 5 3 20 0 15 0 223022672 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=10998092 memory=3834024672109998386 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 17 13099 0 0 1 0 5 3 20 0 15 0 223022672 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 55 13099 0 0 1 0 5 3 20 0 15 0 223022672 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 50 13099 0 0 1 0 5 3 20 0 15 0 223022673 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=10998092 memory=279787457292544 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 14 13099 0 0 0 0 5 3 20 0 15 0 223022674 11262046208 48743 33554432000 4194304 4196468 140726198124944 139689597068256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022674 11262046208 48743 33554432000 4194304 4196468 140726198124944 139689449219072 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=10998092 memory=1024 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11262046208 48743 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=10998092 memory=3172 CPUtime=0.51 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 2091 13099 0 0 43 0 5 3 20 0 15 0 223022676 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=10998092 memory=2076 CPUtime=0.51 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 2697 13099 0 0 43 0 5 3 20 0 15 0 223022676 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=10998092 memory=9004 CPUtime=0.47 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 1645 13099 0 0 38 1 5 3 20 0 15 0 223022676 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=10998092 memory=768 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11262046208 48743 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=10998092 memory=736 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1 13099 0 0 0 0 5 3 20 0 15 0 223022677 11262046208 48743 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 420023 13099 0 0 236479 48 5 3 20 0 15 0 223022671 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690816478368 139690406643006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=11077984 memory=1545656 CPUtime=14.08 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 39743 13099 0 0 1323 77 5 3 20 0 15 0 223022672 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=11077984 memory=136 CPUtime=14.07 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 39723 13099 0 0 1324 75 5 3 20 0 15 0 223022672 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=11077984 memory=1547840 CPUtime=14.05 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 45896 13099 0 0 1322 75 5 3 20 0 15 0 223022672 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=11077984 memory=1548 CPUtime=14.07 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 42319 13099 0 0 1323 76 5 3 20 0 15 0 223022672 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=11077984 memory=1432 CPUtime=2.1 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 34853 13099 0 0 176 26 5 3 20 0 15 0 223022673 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=11077984 memory=59444 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 31 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 386961 33554432000 4194304 4196468 140726198124944 139689597068256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=11077984 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 28 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 386961 33554432000 4194304 4196468 140726198124944 139689449219072 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=11077984 memory=1541336 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11343855616 386961 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=11077984 memory=1547840 CPUtime=8.65 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 35579 13099 0 0 850 7 5 3 20 0 15 0 223022676 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=11077984 memory=1547844 CPUtime=8.92 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 39803 13099 0 0 879 5 5 3 20 0 15 0 223022676 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=11077984 memory=1547840 CPUtime=3.63 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 41832 13099 0 0 346 9 5 3 20 0 15 0 223022676 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=11077984 memory=1540816 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11343855616 386961 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=11077984 memory=1534856 CPUtime=1.44 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1697 13099 0 0 67 69 5 3 20 0 15 0 223022677 11343855616 386961 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 2445.75 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1547844 KiB
[startup+2442.3 s]
/proc/loadavg: 1.68 1.48 1.50 3/215 19487
/proc/meminfo: memFree=11859924/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=11077984 memory=1579208 CPUtime=2505.96 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 815240 13099 0 0 250134 454 5 3 20 0 15 0 223022662 11343855616 394802 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2769496 394802 3528 1 0 2731149 0
[pid=19219/tid=19272] ppid=19216 vsize=11077984 memory=1575748 CPUtime=2425.26 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 486788 13099 0 0 242466 52 5 3 20 0 15 0 223022671 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690816477872 139690424150524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=11077984 memory=1576580 CPUtime=14.13 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 40819 13099 0 0 1328 77 5 3 20 0 15 0 223022672 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=11077984 memory=1552168 CPUtime=14.13 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 40916 13099 0 0 1330 75 5 3 20 0 15 0 223022672 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=11077984 memory=1574696 CPUtime=14.11 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 47215 13099 0 0 1328 75 5 3 20 0 15 0 223022672 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=11077984 memory=1575748 CPUtime=14.13 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 43245 13099 0 0 1329 76 5 3 20 0 15 0 223022672 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=11077984 memory=1576324 CPUtime=2.13 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 35062 13099 0 0 179 26 5 3 20 0 15 0 223022673 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=11077984 memory=1576580 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 31 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 394802 33554432000 4194304 4196468 140726198124944 139689597068256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=11077984 memory=1575748 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 28 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 394802 33554432000 4194304 4196468 140726198124944 139689449219072 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=11077984 memory=1579208 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11343855616 394802 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=11077984 memory=1574696 CPUtime=8.65 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 35581 13099 0 0 850 7 5 3 20 0 15 0 223022676 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=11077984 memory=1575748 CPUtime=8.92 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 39805 13099 0 0 879 5 5 3 20 0 15 0 223022676 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=11077984 memory=3544 CPUtime=3.63 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 41834 13099 0 0 346 9 5 3 20 0 15 0 223022676 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=11077984 memory=1574696 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11343855616 394802 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=11077984 memory=3544 CPUtime=1.47 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1715 13099 0 0 69 70 5 3 20 0 15 0 223022677 11343855616 394802 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 2505.96 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1579208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.3 s]
/proc/loadavg: 1.45 1.44 1.49 3/215 19487
/proc/meminfo: memFree=11852112/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=11077984 memory=1586936 CPUtime=2520.01 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 846124 13099 0 0 251536 457 5 3 20 0 15 0 223022662 11343855616 396734 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2769496 396734 3528 1 0 2731149 0
[pid=19219/tid=19272] ppid=19216 vsize=11077984 memory=1586728 CPUtime=2439.23 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 514968 13099 0 0 243862 53 5 3 20 0 15 0 223022671 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690816477872 139690415340175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=11077984 memory=1584088 CPUtime=14.15 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 41546 13099 0 0 1329 78 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=11077984 memory=1552168 CPUtime=14.14 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 41605 13099 0 0 1331 75 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=11077984 memory=1574696 CPUtime=14.13 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 47783 13099 0 0 1329 76 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=11077984 memory=1586728 CPUtime=14.15 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 43941 13099 0 0 1330 77 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=11077984 memory=1586728 CPUtime=2.14 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 35086 13099 0 0 179 27 5 3 20 0 15 0 223022673 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=11077984 memory=1580264 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 31 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 396734 33554432000 4194304 4196468 140726198124944 139689597068256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=11077984 memory=1579208 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 28 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 396734 33554432000 4194304 4196468 140726198124944 139689449219072 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=11077984 memory=1585664 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=11077984 memory=780 CPUtime=8.65 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 35581 13099 0 0 850 7 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=11077984 memory=1586408 CPUtime=8.92 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 39805 13099 0 0 879 5 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=11077984 memory=3544 CPUtime=3.63 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 41834 13099 0 0 346 9 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=11077984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11343855616 396734 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=11077984 memory=2668 CPUtime=1.49 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1715 13099 0 0 70 71 5 3 20 0 15 0 223022677 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1586936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.37 s]
# the end of solver process 19219 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.43 s, system=4.64697 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.3 s]
/proc/loadavg: 1.45 1.44 1.49 3/215 19487
/proc/meminfo: memFree=11852112/32770624 swapFree=67058736/67108860
[pid=19219] ppid=19216 vsize=11077984 memory=1586936 CPUtime=2520.01 cores=0,2,4,6
/proc/19219/stat : 19219 (java) S 19216 19219 15060 0 -1 1077944320 846124 13099 0 0 251536 457 5 3 20 0 15 0 223022662 11343855616 396734 33554432000 4194304 4196468 140726198124944 140726198107488 139690844643063 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
/proc/19219/statm: 2769496 396734 3528 1 0 2731149 0
[pid=19219/tid=19272] ppid=19216 vsize=11077984 memory=1586728 CPUtime=2439.23 cores=0,2,4,6
/proc/19219/task/19272/stat : 19272 (java) R 19216 19219 15060 0 -1 4202560 514968 13099 0 0 243862 53 5 3 20 0 15 0 223022671 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690816477872 139690415340175 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19273] ppid=19216 vsize=11077984 memory=1584088 CPUtime=14.15 cores=0,2,4,6
/proc/19219/task/19273/stat : 19273 (java) S 19216 19219 15060 0 -1 1077944384 41546 13099 0 0 1329 78 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690848885520 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19274] ppid=19216 vsize=11077984 memory=1552168 CPUtime=14.14 cores=0,2,4,6
/proc/19219/task/19274/stat : 19274 (java) S 19216 19219 15060 0 -1 1077944384 41605 13099 0 0 1331 75 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690730150800 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19275] ppid=19216 vsize=11077984 memory=1574696 CPUtime=14.13 cores=0,2,4,6
/proc/19219/task/19275/stat : 19275 (java) S 19216 19219 15060 0 -1 1077944384 47783 13099 0 0 1329 76 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690729098256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19276] ppid=19216 vsize=11077984 memory=1586728 CPUtime=14.15 cores=0,2,4,6
/proc/19219/task/19276/stat : 19276 (java) S 19216 19219 15060 0 -1 1077944384 43941 13099 0 0 1330 77 5 3 20 0 15 0 223022672 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690728045712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19277] ppid=19216 vsize=11077984 memory=1586728 CPUtime=2.14 cores=0,2,4,6
/proc/19219/task/19277/stat : 19277 (java) S 19216 19219 15060 0 -1 1077944384 35086 13099 0 0 179 27 5 3 20 0 15 0 223022673 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690337716208 139690844654210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19278] ppid=19216 vsize=11077984 memory=1580264 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19278/stat : 19278 (java) S 19216 19219 15060 0 -1 1077944384 31 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 396734 33554432000 4194304 4196468 140726198124944 139689597068256 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19279] ppid=19216 vsize=11077984 memory=1579208 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19279/stat : 19279 (java) S 19216 19219 15060 0 -1 1077944384 28 13099 0 0 0 0 5 3 20 0 15 0 223022674 11343855616 396734 33554432000 4194304 4196468 140726198124944 139689449219072 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19280] ppid=19216 vsize=11077984 memory=1585664 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19280/stat : 19280 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139689141819600 139690844661659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19281] ppid=19216 vsize=11077984 memory=780 CPUtime=8.65 cores=0,2,4,6
/proc/19219/task/19281/stat : 19281 (java) S 19216 19219 15060 0 -1 1077944384 35581 13099 0 0 850 7 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690336664048 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19282] ppid=19216 vsize=11077984 memory=1586408 CPUtime=8.92 cores=0,2,4,6
/proc/19219/task/19282/stat : 19282 (java) S 19216 19219 15060 0 -1 1077944384 39805 13099 0 0 879 5 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690335611504 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19283] ppid=19216 vsize=11077984 memory=3544 CPUtime=3.63 cores=0,2,4,6
/proc/19219/task/19283/stat : 19283 (java) S 19216 19219 15060 0 -1 1077944384 41834 13099 0 0 346 9 5 3 20 0 15 0 223022676 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690334558960 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19284] ppid=19216 vsize=11077984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19219/task/19284/stat : 19284 (java) S 19216 19219 15060 0 -1 1077944384 3 13099 0 0 0 0 5 3 20 0 15 0 223022677 11343855616 396734 33554432000 4194304 4196468 140726198124944 139688711023712 139690844653269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
[pid=19219/tid=19285] ppid=19216 vsize=11077984 memory=2668 CPUtime=1.49 cores=0,2,4,6
/proc/19219/task/19285/stat : 19285 (java) S 19216 19219 15060 0 -1 1077944384 1715 13099 0 0 70 71 5 3 20 0 15 0 223022677 11343855616 396734 33554432000 4194304 4196468 140726198124944 139690333505840 139690844654210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13520896 140726198131299 140726198134108 140726198134108 140726198136783 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1586936 KiB
Child status: 143
Real time (s): 2456.37
CPU time (s): 2520.08
CPU user time (s): 2515.43
CPU system time (s): 4.64697
CPU usage (%): 102.594
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 2612852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.43
system time used= 4.64696
maximum resident set size= 2612852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 859894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96778
involuntary context switches= 5811
# summary of solver processes directly reported to runsolver:
# pid: 19219
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.43
# total CPU system time (s): 4.64697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7055 second user time and 20.4458 second system time
The end