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 (2500 MiB free)
memory of node 1: 16384 MiB (6088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402953-1568983413/watcher-4402953-1568983413 -o /tmp/evaluation-result-4402953-1568983413/solver-4402953-1568983413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568967599-4736 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1467329244 HOME/instance-4402953-1568983413.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9600, runsolver pid=9597
Current StackSize limit: 8192 KiB
[startup+0.100205 s]*
/proc/loadavg: 1.45 1.46 1.42 3/219 9657
/proc/meminfo: memFree=8787364/32770624 swapFree=66998996/67108860
[pid=9600] ppid=9597 vsize=9972712 memory=19124 CPUtime=0.1 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 4521 13007 0 0 1 1 5 3 20 0 6 0 474606179 10212057088 4781 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2493178 4781 1937 1 0 2481616 0
[pid=9600/tid=9653] ppid=9597 vsize=10055356 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 2368 13007 0 0 1 0 5 3 20 0 7 0 474606188 10296684544 4847 33554432000 4194304 4196468 140732126022272 140619168787216 140619182627350 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10055356 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 7 0 474606189 10296684544 4847 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10055356 memory=140080524400256 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 7 0 474606189 10296684544 4847 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 7 0 474606189 10296684544 4847 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 7 0 474606189 10296684544 4847 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10055356 memory=140080524400256 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 7 0 474606190 10296684544 4847 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.210064 s]*
/proc/loadavg: 1.45 1.46 1.42 4/228 9666
/proc/meminfo: memFree=8767644/32770624 swapFree=66998996/67108860
[pid=9600] ppid=9597 vsize=10820196 memory=41956 CPUtime=0.28 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 7393 13007 0 0 18 2 5 3 20 0 15 0 474606179 11079880704 10489 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2705049 10489 3301 1 0 2667149 0
[pid=9600/tid=9653] ppid=9597 vsize=10820196 memory=5450916389569530688 CPUtime=0.2 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 3891 13007 0 0 11 1 5 3 20 0 15 0 474606188 11079880704 10489 33554432000 4194304 4196468 140732126022272 140619168758304 140619196966045 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10820196 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 10489 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10820196 memory=140080524400256 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 10489 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 10489 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 10489 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10820196 memory=140080524400256 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606190 11079880704 10489 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 13 13007 0 0 0 0 5 3 20 0 15 0 474606191 11079880704 10489 33554432000 4194304 4196468 140732126022272 140618638550048 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606191 11079880704 10489 33554432000 4194304 4196468 140732126022272 140618034570096 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11079880704 10489 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 582 13007 0 0 1 0 5 3 20 0 15 0 474606193 11079880704 10489 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 67 13007 0 0 1 0 5 3 20 0 15 0 474606193 11079880704 10489 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10820196 memory=140080524400256 CPUtime=0.11 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 614 13007 0 0 3 0 5 3 20 0 15 0 474606193 11079880704 10489 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11079880704 10489 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10820196 memory=140080524400256 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606194 11079880704 10489 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41956 KiB
[startup+0.311014 s]*
/proc/loadavg: 1.45 1.46 1.42 3/228 9666
/proc/meminfo: memFree=8757756/32770624 swapFree=66998996/67108860
[pid=9600] ppid=9597 vsize=10820196 memory=50260 CPUtime=0.4 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 10761 13007 0 0 29 3 5 3 20 0 15 0 474606179 11079880704 12565 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2705049 12565 3311 1 0 2667149 0
[pid=9600/tid=9653] ppid=9597 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 7241 13007 0 0 19 2 5 3 20 0 15 0 474606188 11079880704 12565 33554432000 4194304 4196468 140732126022272 140619168750256 140619196966045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 12565 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 12565 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 12565 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606189 11079880704 12565 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606190 11079880704 12565 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 13 13007 0 0 0 0 5 3 20 0 15 0 474606191 11079880704 12565 33554432000 4194304 4196468 140732126022272 140618638550048 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606191 11079880704 12565 33554432000 4194304 4196468 140732126022272 140618034570096 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11079880704 12565 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 582 13007 0 0 2 0 5 3 20 0 15 0 474606193 11079880704 12565 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 68 13007 0 0 1 0 5 3 20 0 15 0 474606193 11079880704 12565 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10820196 memory=140080524400256 CPUtime=0.13 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 633 13007 0 0 5 0 5 3 20 0 15 0 474606193 11079880704 12565 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11079880704 12565 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10820196 memory=140080524400256 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606194 11079880704 12565 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50260 KiB
[startup+0.702456 s]
/proc/loadavg: 1.45 1.46 1.42 4/228 9666
/proc/meminfo: memFree=8741840/32770624 swapFree=66998996/67108860
[pid=9600] ppid=9597 vsize=10824364 memory=83668 CPUtime=1.17 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 15146 13007 0 0 104 5 5 3 20 0 15 0 474606179 11084148736 20917 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2706091 20917 3505 1 0 2668173 0
[pid=9600/tid=9653] ppid=9597 vsize=10824364 memory=12024 CPUtime=0.68 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) D 9597 9600 4702 0 -1 1077944384 10444 13007 0 0 56 4 5 3 20 0 15 0 474606188 11084148736 20917 33554432000 4194304 4196468 140732126022272 140619168771072 140619196966141 0 4 0 16800975 18446744072101613092 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10824364 memory=2120 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606189 11084148736 20917 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10824364 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606189 11084148736 20917 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10824364 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606189 11084148736 20917 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10824364 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 2 13007 0 0 0 0 5 3 20 0 15 0 474606189 11084148736 20917 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10824364 memory=7448488012996241493 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 5 13007 0 0 0 0 5 3 20 0 15 0 474606190 11084148736 20917 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10824364 memory=7739276948478454633 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 13 13007 0 0 0 0 5 3 20 0 15 0 474606191 11084148736 20917 33554432000 4194304 4196468 140732126022272 140618638550048 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10824364 memory=7301858164987948385 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606191 11084148736 20917 33554432000 4194304 4196468 140732126022272 140618034570096 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10824364 memory=-5874771483550381248 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11084148736 20917 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10824364 memory=-6736937045019192452 CPUtime=0.24 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 1046 13007 0 0 16 0 5 3 20 0 15 0 474606193 11084148736 20917 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10824364 memory=-7025452035940392864 CPUtime=0.21 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 577 13007 0 0 13 0 5 3 20 0 15 0 474606193 11084148736 20917 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10824364 memory=-9001734000804784231 CPUtime=0.25 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 837 13007 0 0 17 0 5 3 20 0 15 0 474606193 11084148736 20917 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11084148736 20917 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10824364 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606194 11084148736 20917 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83668 KiB
[startup+1.50071 s]
/proc/loadavg: 1.45 1.46 1.42 4/228 9666
/proc/meminfo: memFree=8696552/32770624 swapFree=66998996/67108860
[pid=9600] ppid=9597 vsize=10834680 memory=169968 CPUtime=2.49 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 22113 13007 0 0 233 8 5 3 20 0 15 0 474606179 11094712320 42492 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2708670 42492 3588 1 0 2670733 0
[pid=9600/tid=9653] ppid=9597 vsize=10834680 memory=9597 CPUtime=1.44 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 15267 13007 0 0 131 5 5 3 20 0 15 0 474606188 11094712320 42492 33554432000 4194304 4196468 140732126022272 140619168748800 140619196956054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10834680 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 79 13007 0 0 1 0 5 3 20 0 15 0 474606189 11094712320 42492 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10834680 memory=3281 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 462 13007 0 0 1 0 5 3 20 0 15 0 474606189 11094712320 42492 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10834680 memory=13834089663248 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 111 13007 0 0 1 0 5 3 20 0 15 0 474606189 11094712320 42492 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10834680 memory=6933690286009757744 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 17 13007 0 0 1 0 5 3 20 0 15 0 474606189 11094712320 42492 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10834680 memory=-7457052372387209120 CPUtime=0.09 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 199 13007 0 0 1 0 5 3 20 0 15 0 474606190 11094712320 42492 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10834680 memory=6944656592452807316 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 13 13007 0 0 0 0 5 3 20 0 15 0 474606191 11094712320 42492 33554432000 4194304 4196468 140732126022272 140618638550048 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10834680 memory=3472328296227736193 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606191 11094712320 42492 33554432000 4194304 4196468 140732126022272 140618034570096 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10834680 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11094712320 42492 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10834680 memory=6944656592452807316 CPUtime=0.36 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 1308 13007 0 0 28 0 5 3 20 0 15 0 474606193 11094712320 42492 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10834680 memory=-7737605721172012177 CPUtime=0.31 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 741 13007 0 0 23 0 5 3 20 0 15 0 474606193 11094712320 42492 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10834680 memory=6933690287860520857 CPUtime=0.5 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 1696 13007 0 0 42 0 5 3 20 0 15 0 474606193 11094712320 42492 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10834680 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11094712320 42492 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10834680 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1 13007 0 0 0 0 5 3 20 0 15 0 474606194 11094712320 42492 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
################
# More data... #
################
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 68579 13007 0 0 235525 50 5 3 20 0 15 0 474606188 11107315712 224520 33554432000 4194304 4196468 140732126022272 140619168779440 140618803957184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10846988 memory=898080 CPUtime=12.56 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 15875 13007 0 0 1192 56 5 3 20 0 15 0 474606189 11107315712 224520 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10846988 memory=898080 CPUtime=12.56 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 8565 13007 0 0 1189 59 5 3 20 0 15 0 474606189 11107315712 224520 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10846988 memory=1544 CPUtime=12.58 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 17041 13007 0 0 1188 62 5 3 20 0 15 0 474606189 11107315712 224520 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10846988 memory=776 CPUtime=12.57 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 16790 13007 0 0 1184 65 5 3 20 0 15 0 474606189 11107315712 224520 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10846988 memory=898080 CPUtime=11.4 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 13807 13007 0 0 1071 61 5 3 20 0 15 0 474606190 11107315712 224520 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10846988 memory=898080 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 15 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 224520 33554432000 4194304 4196468 140732126022272 140618638550176 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10846988 memory=898080 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 10 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 224520 33554432000 4194304 4196468 140732126022272 140618034570112 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10846988 memory=898080 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11107315712 224520 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10846988 memory=3580 CPUtime=3.45 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 19173 13007 0 0 335 2 5 3 20 0 15 0 474606193 11107315712 224520 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10846988 memory=52796 CPUtime=3.37 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 17628 13007 0 0 326 3 5 3 20 0 15 0 474606193 11107315712 224520 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10846988 memory=898080 CPUtime=1.81 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 9582 13007 0 0 170 3 5 3 20 0 15 0 474606193 11107315712 224520 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10846988 memory=3216 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11107315712 224520 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10846988 memory=3905300 CPUtime=1.43 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1231 13007 0 0 68 67 5 3 20 0 15 0 474606194 11107315712 224520 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 2426.95 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 898080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.57 1.49 1.45 3/228 10037
/proc/meminfo: memFree=4569384/32770624 swapFree=66999012/67108860
[pid=9600] ppid=9597 vsize=10846988 memory=900128 CPUtime=2487.92 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 192196 13007 0 0 248409 375 5 3 20 0 15 0 474606179 11107315712 225032 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2711747 225032 3629 1 0 2673805 0
[pid=9600/tid=9653] ppid=9597 vsize=10846988 memory=2832 CPUtime=2415.15 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 69366 13007 0 0 241456 51 5 3 20 0 15 0 474606188 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619168779376 140618794511702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10846988 memory=900128 CPUtime=12.9 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 15970 13007 0 0 1224 58 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10846988 memory=900128 CPUtime=12.89 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 8606 13007 0 0 1221 60 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10846988 memory=900128 CPUtime=12.91 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 17256 13007 0 0 1220 63 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10846988 memory=900128 CPUtime=12.9 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 17097 13007 0 0 1216 66 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10846988 memory=900128 CPUtime=11.69 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 14024 13007 0 0 1098 63 5 3 20 0 15 0 474606190 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 15 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618638550176 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 10 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618034570112 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10846988 memory=900128 CPUtime=3.45 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 19175 13007 0 0 335 2 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10846988 memory=900128 CPUtime=3.37 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 17630 13007 0 0 326 3 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10846988 memory=900128 CPUtime=1.81 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 9584 13007 0 0 170 3 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10846988 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11107315712 225032 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10846988 memory=288230574492221466 CPUtime=1.47 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1247 13007 0 0 70 69 5 3 20 0 15 0 474606194 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 2487.92 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 900128 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.9 s]
/proc/loadavg: 1.55 1.50 1.45 3/228 10041
/proc/meminfo: memFree=4476388/32770624 swapFree=66999012/67108860
[pid=9600] ppid=9597 vsize=10846988 memory=900128 CPUtime=2520.05 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 193569 13007 0 0 251617 380 5 3 20 0 15 0 474606179 11107315712 225032 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2711747 225032 3629 1 0 2673805 0
[pid=9600/tid=9653] ppid=9597 vsize=10846988 memory=900128 CPUtime=2446.4 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 69893 13007 0 0 244580 52 5 3 20 0 15 0 474606188 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619168779536 140618803956904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10846988 memory=900128 CPUtime=13.07 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 15999 13007 0 0 1240 59 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10846988 memory=900128 CPUtime=13.06 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 8721 13007 0 0 1237 61 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10846988 memory=280160852236768 CPUtime=13.09 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 17537 13007 0 0 1237 64 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10846988 memory=900128 CPUtime=13.08 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 17284 13007 0 0 1234 66 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10846988 memory=900128 CPUtime=11.84 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 14235 13007 0 0 1112 64 5 3 20 0 15 0 474606190 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 15 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618638550176 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 10 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618034570112 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10846988 memory=3580 CPUtime=3.45 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 19177 13007 0 0 335 2 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10846988 memory=900128 CPUtime=3.37 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 17632 13007 0 0 326 3 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10846988 memory=900128 CPUtime=1.81 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 9587 13007 0 0 170 3 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10846988 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11107315712 225032 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10846988 memory=5860661134792605786 CPUtime=1.49 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1263 13007 0 0 71 70 5 3 20 0 15 0 474606194 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 900128 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.93 s]
# the end of solver process 9600 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.24 s, system=3.84756 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.9 s]
/proc/loadavg: 1.55 1.50 1.45 3/228 10041
/proc/meminfo: memFree=4476388/32770624 swapFree=66999012/67108860
[pid=9600] ppid=9597 vsize=10846988 memory=900128 CPUtime=2520.05 cores=1,3,5,7
/proc/9600/stat : 9600 (java) S 9597 9600 4702 0 -1 1077944320 193569 13007 0 0 251617 380 5 3 20 0 15 0 474606179 11107315712 225032 33554432000 4194304 4196468 140732126022272 140732126004816 140619196944119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
/proc/9600/statm: 2711747 225032 3629 1 0 2673805 0
[pid=9600/tid=9653] ppid=9597 vsize=10846988 memory=900128 CPUtime=2446.4 cores=1,3,5,7
/proc/9600/task/9653/stat : 9653 (java) R 9597 9600 4702 0 -1 4202560 69893 13007 0 0 244580 52 5 3 20 0 15 0 474606188 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619168779536 140618803956904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9654] ppid=9597 vsize=10846988 memory=900128 CPUtime=13.07 cores=1,3,5,7
/proc/9600/task/9654/stat : 9654 (java) S 9597 9600 4702 0 -1 1077944384 15999 13007 0 0 1240 59 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619201186960 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9655] ppid=9597 vsize=10846988 memory=900128 CPUtime=13.06 cores=1,3,5,7
/proc/9600/task/9655/stat : 9655 (java) S 9597 9600 4702 0 -1 1077944384 8721 13007 0 0 1237 61 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619116006416 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9656] ppid=9597 vsize=10846988 memory=280160852236768 CPUtime=13.09 cores=1,3,5,7
/proc/9600/task/9656/stat : 9656 (java) S 9597 9600 4702 0 -1 1077944384 17537 13007 0 0 1237 64 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619114953616 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9657] ppid=9597 vsize=10846988 memory=900128 CPUtime=13.08 cores=1,3,5,7
/proc/9600/task/9657/stat : 9657 (java) S 9597 9600 4702 0 -1 1077944384 17284 13007 0 0 1234 66 5 3 20 0 15 0 474606189 11107315712 225032 33554432000 4194304 4196468 140732126022272 140619113900816 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9658] ppid=9597 vsize=10846988 memory=900128 CPUtime=11.84 cores=1,3,5,7
/proc/9600/task/9658/stat : 9658 (java) S 9597 9600 4702 0 -1 1077944384 14235 13007 0 0 1112 64 5 3 20 0 15 0 474606190 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618723543408 140619196955266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9659] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9659/stat : 9659 (java) S 9597 9600 4702 0 -1 1077944384 15 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618638550176 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9660] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9660/stat : 9660 (java) S 9597 9600 4702 0 -1 1077944384 10 13007 0 0 0 0 5 3 20 0 15 0 474606191 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618034570112 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9661] ppid=9597 vsize=10846988 memory=900128 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9661/stat : 9661 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140617727170384 140619196962715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9662] ppid=9597 vsize=10846988 memory=3580 CPUtime=3.45 cores=1,3,5,7
/proc/9600/task/9662/stat : 9662 (java) S 9597 9600 4702 0 -1 1077944384 19177 13007 0 0 335 2 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618722491248 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9663] ppid=9597 vsize=10846988 memory=900128 CPUtime=3.37 cores=1,3,5,7
/proc/9600/task/9663/stat : 9663 (java) S 9597 9600 4702 0 -1 1077944384 17632 13007 0 0 326 3 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618721438448 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9664] ppid=9597 vsize=10846988 memory=900128 CPUtime=1.81 cores=1,3,5,7
/proc/9600/task/9664/stat : 9664 (java) S 9597 9600 4702 0 -1 1077944384 9587 13007 0 0 170 3 5 3 20 0 15 0 474606193 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618720385648 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9665] ppid=9597 vsize=10846988 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/9600/task/9665/stat : 9665 (java) S 9597 9600 4702 0 -1 1077944384 3 13007 0 0 0 0 5 3 20 0 15 0 474606194 11107315712 225032 33554432000 4194304 4196468 140732126022272 140617693612768 140619196954325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
[pid=9600/tid=9666] ppid=9597 vsize=10846988 memory=5860661134792605786 CPUtime=1.49 cores=1,3,5,7
/proc/9600/task/9666/stat : 9666 (java) S 9597 9600 4702 0 -1 1077944384 1263 13007 0 0 71 70 5 3 20 0 15 0 474606194 11107315712 225032 33554432000 4194304 4196468 140732126022272 140618719333040 140619196955266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26423296 140732126030575 140732126033093 140732126033093 140732126035919 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 900128 KiB
Child status: 143
Real time (s): 2473.93
CPU time (s): 2520.08
CPU user time (s): 2516.24
CPU system time (s): 3.84756
CPU usage (%): 101.866
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1026752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.24
system time used= 3.84756
maximum resident set size= 1028800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 301228
involuntary context switches= 5358
# summary of solver processes directly reported to runsolver:
# pid: 9600
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.24
# total CPU system time (s): 3.84756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3929 second user time and 23.602 second system time
The end