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 (11173 MiB free)
memory of node 1: 16384 MiB (11099 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304563-1534109496/watcher-4304563-1534109496 -o /tmp/evaluation-result-4304563-1534109496/solver-4304563-1534109496 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30252 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1419925567 HOME/instance-4304563-1534109496.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=32756, runsolver pid=32753
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 1.52 1.35 1.33 3/208 348
/proc/meminfo: memFree=22800060/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=10005480 memory=18588 CPUtime=0.08 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 4303 13233 0 0 1 0 4 3 20 0 6 0 228512732 10245611520 4647 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2501370 4647 1932 1 0 2489808 0
[pid=32756/tid=344] ppid=32753 vsize=10005480 memory=4279135704047583887 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 2106 13233 0 0 1 0 4 3 20 0 6 0 228512741 10245611520 4647 33554432000 4194304 4196468 140728520957840 139630772388432 139630800573597 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 6 0 228512741 10245611520 4647 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=10005480 memory=140634967860864 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 6 0 228512741 10245611520 4647 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 6 0 228512741 10245611520 4647 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 2 13233 0 0 0 0 4 3 20 0 6 0 228512741 10245611520 4647 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18588 KiB
[startup+0.210071 s]*
/proc/loadavg: 1.52 1.35 1.33 3/217 357
/proc/meminfo: memFree=22776844/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=10985364 memory=45896 CPUtime=0.25 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 8234 13233 0 0 16 2 4 3 20 0 15 0 228512732 11249012736 11474 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2746341 11474 2939 1 0 2708764 0
[pid=32756/tid=344] ppid=32753 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 4827 13233 0 0 10 1 4 3 20 0 15 0 228512741 11249012736 11540 33554432000 4194304 4196468 140728520957840 139630772376480 139630793231389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=10985364 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11249012736 11540 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=10985364 memory=140634969072155 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11249012736 11606 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11249012736 11606 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 2 13233 0 0 0 0 4 3 20 0 15 0 228512741 11249012736 11606 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=10985364 memory=140634967860864 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 2 13233 0 0 0 0 4 3 20 0 15 0 228512743 11249012736 11606 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 13 13233 0 0 0 0 4 3 20 0 15 0 228512743 11249012736 11672 33554432000 4194304 4196468 140728520957840 139629655221792 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11249012736 11672 33554432000 4194304 4196468 140728520957840 139629453895024 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11249012736 11672 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 430 13233 0 0 1 0 4 3 20 0 15 0 228512746 11249012736 11672 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 190 13233 0 0 1 0 4 3 20 0 15 0 228512746 11249012736 11672 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=10985364 memory=140634967860864 CPUtime=0.1 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) S 32753 32756 30220 0 -1 1077944384 633 13233 0 0 3 0 4 3 20 0 15 0 228512746 11249012736 11738 33554432000 4194304 4196468 140728520957840 139629766125680 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11249012736 11738 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=10985364 memory=140634967860864 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512747 11249012736 11738 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 45896 KiB
[startup+0.310415 s]*
/proc/loadavg: 1.52 1.35 1.33 3/217 357
/proc/meminfo: memFree=22764068/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=10983192 memory=55256 CPUtime=0.38 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 10432 13233 0 0 28 3 4 3 20 0 15 0 228512732 11246788608 13814 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2745798 13814 3058 1 0 2708109 0
[pid=32756/tid=344] ppid=32753 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 6949 13233 0 0 19 2 4 3 20 0 15 0 228512741 11246788608 13814 33554432000 4194304 4196468 140728520957840 139630772363680 139630784632158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 13814 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 13814 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 13814 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 2 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 13814 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 2 13233 0 0 0 0 4 3 20 0 15 0 228512743 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 13 13233 0 0 0 0 4 3 20 0 15 0 228512743 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629655221792 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629453895024 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 430 13233 0 0 1 0 4 3 20 0 15 0 228512746 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 191 13233 0 0 1 0 4 3 20 0 15 0 228512746 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=10983192 memory=140634967860864 CPUtime=0.12 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) R 32753 32756 30220 0 -1 4202560 649 13233 0 0 5 0 4 3 20 0 15 0 228512746 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629766125680 139630784632158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11246788608 13814 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=10983192 memory=140634967860864 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512747 11246788608 13814 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55256 KiB
[startup+0.700812 s]
/proc/loadavg: 1.52 1.35 1.33 3/217 357
/proc/meminfo: memFree=22753956/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=10983192 memory=88732 CPUtime=0.98 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 16773 13233 0 0 86 5 4 3 20 0 15 0 228512732 11246788608 22183 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2745798 22183 3240 1 0 2708109 0
[pid=32756/tid=344] ppid=32753 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 12153 13233 0 0 55 4 4 3 20 0 15 0 228512741 11246788608 22183 33554432000 4194304 4196468 140728520957840 139630772372496 139630781945402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 22183 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 22183 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=10983192 memory=140634811937584 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 22183 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=10983192 memory=140638704108121 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 2 13233 0 0 0 0 4 3 20 0 15 0 228512741 11246788608 22183 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=10983192 memory=1276 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 5 13233 0 0 0 0 4 3 20 0 15 0 228512743 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 13 13233 0 0 0 0 4 3 20 0 15 0 228512743 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629655221792 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=10983192 memory=6082220498176863336 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629453895024 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=10983192 memory=34256 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=10983192 memory=13756 CPUtime=0.14 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 847 13233 0 0 7 0 4 3 20 0 15 0 228512746 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=10983192 memory=3316 CPUtime=0.17 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 798 13233 0 0 10 0 4 3 20 0 15 0 228512746 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=10983192 memory=488 CPUtime=0.2 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) S 32753 32756 30220 0 -1 1077944384 752 13233 0 0 13 0 4 3 20 0 15 0 228512746 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629766125680 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=10983192 memory=1616 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11246788608 22183 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=10983192 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512747 11246788608 22183 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88732 KiB
[startup+1.50081 s]
/proc/loadavg: 1.52 1.35 1.33 3/217 357
/proc/meminfo: memFree=22696128/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=10998092 memory=187236 CPUtime=2.52 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 24559 13233 0 0 233 12 4 3 20 0 15 0 228512732 11262046208 46809 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2749523 46809 3471 1 0 2711181 0
[pid=32756/tid=344] ppid=32753 vsize=10998092 memory=65248 CPUtime=1.42 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 17276 13233 0 0 128 7 4 3 20 0 15 0 228512741 11262046208 46809 33554432000 4194304 4196468 140728520957840 139630772366720 139630782115270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 167 13233 0 0 0 0 4 3 20 0 15 0 228512741 11262046208 46809 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=10998092 memory=281269623906464 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 18 13233 0 0 1 0 4 3 20 0 15 0 228512741 11262046208 46809 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 25 13233 0 0 1 0 4 3 20 0 15 0 228512741 11262046208 46809 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 61 13233 0 0 1 0 4 3 20 0 15 0 228512741 11262046208 46809 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 52 13233 0 0 1 0 4 3 20 0 15 0 228512743 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 14 13233 0 0 0 0 4 3 20 0 15 0 228512743 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629655221856 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629453895040 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=10998092 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 1940 13233 0 0 30 0 4 3 20 0 15 0 228512746 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=10998092 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 1278 13233 0 0 29 0 4 3 20 0 15 0 228512746 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=10998092 memory=6791534058613427641 CPUtime=0.45 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) S 32753 32756 30220 0 -1 1077944384 1527 13233 0 0 38 0 4 3 20 0 15 0 228512746 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629766125680 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11262046208 46809 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=10998092 memory=281269624150912 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512747 11262046208 46809 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 96858 13233 0 0 235381 55 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630772387360 139630363975360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.27 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 16885 13233 0 0 1263 57 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.21 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 19688 13233 0 0 1262 52 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.21 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 16292 13233 0 0 1261 53 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=11082080 memory=281269624442432 CPUtime=13.28 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 23908 13233 0 0 1266 55 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=11082080 memory=1116772 CPUtime=10.51 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 19931 13233 0 0 993 51 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=11082080 memory=34308 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 14 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629655221920 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=11082080 memory=1116284 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629453895040 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=11082080 memory=697 CPUtime=6.76 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 24438 13233 0 0 662 7 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=11082080 memory=164 CPUtime=7.04 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 22525 13233 0 0 692 5 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=11082080 memory=1116772 CPUtime=3.69 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) S 32753 32756 30220 0 -1 1077944384 30484 13233 0 0 356 6 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629766125680 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=11082080 memory=1116772 CPUtime=1.57 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1098 13233 0 0 68 82 4 3 20 0 15 0 228512747 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 2436.45 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1116772 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.38 1.35 3/216 632
/proc/meminfo: memFree=21706108/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=11082080 memory=1116772 CPUtime=2497.44 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 275336 13233 0 0 249366 371 4 3 20 0 15 0 228512732 11348049920 279193 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2770520 279193 3528 1 0 2732173 0
[pid=32756/tid=344] ppid=32753 vsize=11082080 memory=6792 CPUtime=2413.69 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 97478 13233 0 0 241307 55 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630772387024 139630362595548 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.61 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 16892 13233 0 0 1297 57 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.57 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 19725 13233 0 0 1296 54 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=11082080 memory=281269624637512 CPUtime=13.56 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 16394 13233 0 0 1295 54 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.64 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 23930 13233 0 0 1300 57 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=11082080 memory=1116772 CPUtime=10.78 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 20135 13233 0 0 1019 52 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 14 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629655221920 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629453895040 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=11082080 memory=3200 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=11082080 memory=1116772 CPUtime=6.76 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 24440 13233 0 0 662 7 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=11082080 memory=1116772 CPUtime=7.04 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 22527 13233 0 0 692 5 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=11082080 memory=1116772 CPUtime=3.69 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) S 32753 32756 30220 0 -1 1077944384 30486 13233 0 0 356 6 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629766125680 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=11082080 memory=1116772 CPUtime=1.61 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1115 13233 0 0 70 84 4 3 20 0 15 0 228512747 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 2497.44 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1116772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.5 s]
/proc/loadavg: 1.48 1.39 1.36 3/216 632
/proc/meminfo: memFree=21706348/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=11082080 memory=1116772 CPUtime=2520 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 275714 13233 0 0 251619 374 4 3 20 0 15 0 228512732 11348049920 279193 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2770520 279193 3528 1 0 2732173 0
[pid=32756/tid=344] ppid=32753 vsize=11082080 memory=1116772 CPUtime=2435.64 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 97743 13233 0 0 243501 56 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630772387024 139630344287651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.74 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 16892 13233 0 0 1309 58 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.69 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 19755 13233 0 0 1308 54 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=11082080 memory=1079 CPUtime=13.68 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 16395 13233 0 0 1307 54 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=11082080 memory=33 CPUtime=13.77 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 23983 13233 0 0 1312 58 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=11082080 memory=1116772 CPUtime=10.88 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 20159 13233 0 0 1028 53 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 14 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629655221920 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629453895040 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=11082080 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=11082080 memory=3172 CPUtime=6.76 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 24440 13233 0 0 662 7 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=11082080 memory=15064 CPUtime=7.04 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 22528 13233 0 0 692 5 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=11082080 memory=34308 CPUtime=3.69 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) S 32753 32756 30220 0 -1 1077944384 30486 13233 0 0 356 6 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629766125680 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=11082080 memory=3812 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=11082080 memory=1116772 CPUtime=1.63 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1119 13233 0 0 71 85 4 3 20 0 15 0 228512747 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1116772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.53 s]
# the end of solver process 32756 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.26 s, system=3.78826 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.5 s]
/proc/loadavg: 1.48 1.39 1.36 3/216 632
/proc/meminfo: memFree=21706348/32770624 swapFree=67108372/67108860
[pid=32756] ppid=32753 vsize=11082080 memory=1116772 CPUtime=2520 cores=1,3,5,7
/proc/32756/stat : 32756 (java) S 32753 32756 30220 0 -1 1077944320 275714 13233 0 0 251619 374 4 3 20 0 15 0 228512732 11348049920 279193 33554432000 4194304 4196468 140728520957840 140728520940384 139630800551671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
/proc/32756/statm: 2770520 279193 3528 1 0 2732173 0
[pid=32756/tid=344] ppid=32753 vsize=11082080 memory=1116772 CPUtime=2435.64 cores=1,3,5,7
/proc/32756/task/344/stat : 344 (java) R 32753 32756 30220 0 -1 4202560 97743 13233 0 0 243501 56 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630772387024 139630344287651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=345] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.74 cores=1,3,5,7
/proc/32756/task/345/stat : 345 (java) S 32753 32756 30220 0 -1 1077944384 16892 13233 0 0 1309 58 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630804794000 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=346] ppid=32753 vsize=11082080 memory=1116772 CPUtime=13.69 cores=1,3,5,7
/proc/32756/task/346/stat : 346 (java) S 32753 32756 30220 0 -1 1077944384 19755 13233 0 0 1308 54 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630670129680 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=347] ppid=32753 vsize=11082080 memory=1079 CPUtime=13.68 cores=1,3,5,7
/proc/32756/task/347/stat : 347 (java) S 32753 32756 30220 0 -1 1077944384 16395 13233 0 0 1307 54 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630669076880 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=348] ppid=32753 vsize=11082080 memory=33 CPUtime=13.77 cores=1,3,5,7
/proc/32756/task/348/stat : 348 (java) S 32753 32756 30220 0 -1 1077944384 23983 13233 0 0 1312 58 4 3 20 0 15 0 228512741 11348049920 279193 33554432000 4194304 4196468 140728520957840 139630668024080 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=349] ppid=32753 vsize=11082080 memory=1116772 CPUtime=10.88 cores=1,3,5,7
/proc/32756/task/349/stat : 349 (java) S 32753 32756 30220 0 -1 1077944384 20159 13233 0 0 1028 53 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629769284464 139630800562818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=350] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/350/stat : 350 (java) S 32753 32756 30220 0 -1 1077944384 14 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629655221920 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=351] ppid=32753 vsize=11082080 memory=1116772 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/351/stat : 351 (java) S 32753 32756 30220 0 -1 1077944384 1 13233 0 0 0 0 4 3 20 0 15 0 228512743 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629453895040 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=352] ppid=32753 vsize=11082080 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/352/stat : 352 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629146495312 139630800570267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=353] ppid=32753 vsize=11082080 memory=3172 CPUtime=6.76 cores=1,3,5,7
/proc/32756/task/353/stat : 353 (java) S 32753 32756 30220 0 -1 1077944384 24440 13233 0 0 662 7 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629768231280 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=354] ppid=32753 vsize=11082080 memory=15064 CPUtime=7.04 cores=1,3,5,7
/proc/32756/task/354/stat : 354 (java) S 32753 32756 30220 0 -1 1077944384 22528 13233 0 0 692 5 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629767178480 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=355] ppid=32753 vsize=11082080 memory=34308 CPUtime=3.69 cores=1,3,5,7
/proc/32756/task/355/stat : 355 (java) S 32753 32756 30220 0 -1 1077944384 30486 13233 0 0 356 6 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629766125680 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=356] ppid=32753 vsize=11082080 memory=3812 CPUtime=0.07 cores=1,3,5,7
/proc/32756/task/356/stat : 356 (java) S 32753 32756 30220 0 -1 1077944384 3 13233 0 0 0 0 4 3 20 0 15 0 228512746 11348049920 279193 33554432000 4194304 4196468 140728520957840 139628715698400 139630800561877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
[pid=32756/tid=357] ppid=32753 vsize=11082080 memory=1116772 CPUtime=1.63 cores=1,3,5,7
/proc/32756/task/357/stat : 357 (java) S 32753 32756 30220 0 -1 1077944384 1119 13233 0 0 71 85 4 3 20 0 15 0 228512747 11348049920 279193 33554432000 4194304 4196468 140728520957840 139629765074096 139630800562818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38293504 140728520960620 140728520963420 140728520963420 140728520966095 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1116772 KiB
Child status: 143
Real time (s): 2464.53
CPU time (s): 2520.04
CPU user time (s): 2516.26
CPU system time (s): 3.78826
CPU usage (%): 102.253
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1116772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.26
system time used= 3.78826
maximum resident set size= 1119140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 280667
involuntary context switches= 8205
# summary of solver processes directly reported to runsolver:
# pid: 32756
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.26
# total CPU system time (s): 3.78826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3533 second user time and 23.3798 second system time
The end