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 (7174 MiB free)
memory of node 1: 16384 MiB (4216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304929-1534068748/watcher-4304929-1534068748 -o /tmp/evaluation-result-4304929-1534068748/solver-4304929-1534068748 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20600 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=19846691 HOME/instance-4304929-1534068748.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21526, runsolver pid=21523
[startup+0.100106 s]*
/proc/loadavg: 1.18 1.44 1.45 6/206 21583
/proc/meminfo: memFree=11660532/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=10005480 memory=14912 CPUtime=0.08 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 4422 12864 0 0 1 0 5 2 20 0 6 0 224437966 10245611520 3728 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2501370 3728 1934 1 0 2489808 0
[pid=21526/tid=21579] ppid=21523 vsize=10005480 memory=4279135703946462859 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 2232 12864 0 0 0 0 5 2 20 0 6 0 224437975 10245611520 3794 33554432000 4194304 4196468 140720676818560 140234310914640 140234323158366 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 6 0 224437976 10245611520 3794 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=10005480 memory=140713111742080 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 6 0 224437976 10245611520 3794 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 6 0 224437976 10245611520 3794 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 6 0 224437976 10245611520 3794 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14912 KiB
[startup+0.209867 s]*
/proc/loadavg: 1.18 1.44 1.45 3/215 21592
/proc/meminfo: memFree=11636240/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=10982744 memory=43172 CPUtime=0.25 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 8052 12864 0 0 17 1 5 2 20 0 15 0 224437966 11246329856 10793 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2745686 10793 2947 1 0 2708109 0
[pid=21526/tid=21579] ppid=21523 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 4572 12864 0 0 10 1 5 2 20 0 15 0 224437975 11246329856 10859 33554432000 4194304 4196468 140720676818560 140234310880840 140234319353586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246329856 10859 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=10982744 memory=140713112941320 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246329856 10859 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246329856 10859 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246329856 10859 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=10982744 memory=140713111742080 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246329856 10859 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 13 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246329856 10859 33554432000 4194304 4196468 140720676818560 140233165235488 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246329856 10925 33554432000 4194304 4196468 140720676818560 140232963909232 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246329856 10925 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) S 21523 21526 20569 0 -1 1077944384 449 12864 0 0 1 0 5 2 20 0 15 0 224437981 11246329856 10925 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) S 21523 21526 20569 0 -1 1077944384 193 12864 0 0 1 0 5 2 20 0 15 0 224437981 11246329856 10925 33554432000 4194304 4196468 140720676818560 140233762899952 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=10982744 memory=140713111742080 CPUtime=0.1 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 662 12864 0 0 3 0 5 2 20 0 15 0 224437981 11246329856 10925 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246329856 10925 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=10982744 memory=140713111742080 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246329856 10925 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43172 KiB
[startup+0.310181 s]*
/proc/loadavg: 1.18 1.44 1.45 3/215 21592
/proc/meminfo: memFree=11624332/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=10983192 memory=55180 CPUtime=0.38 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 10913 12864 0 0 28 3 5 2 20 0 15 0 224437966 11246788608 13795 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2745798 13795 3066 1 0 2708109 0
[pid=21526/tid=21579] ppid=21523 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 7343 12864 0 0 19 2 5 2 20 0 15 0 224437975 11246788608 13795 33554432000 4194304 4196468 140720676818560 140234310889888 140234320641408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 13795 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 13 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233165235488 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246788608 13795 33554432000 4194304 4196468 140720676818560 140232963909232 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246788608 13795 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) S 21523 21526 20569 0 -1 1077944384 452 12864 0 0 1 0 5 2 20 0 15 0 224437981 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) S 21523 21526 20569 0 -1 1077944384 196 12864 0 0 1 0 5 2 20 0 15 0 224437981 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233762899952 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=10983192 memory=140713111742080 CPUtime=0.11 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 700 12864 0 0 4 0 5 2 20 0 15 0 224437981 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246788608 13795 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=10983192 memory=140713111742080 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246788608 13795 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55180 KiB
[startup+0.70076 s]
/proc/loadavg: 1.18 1.44 1.45 3/215 21592
/proc/meminfo: memFree=11613324/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=10983192 memory=87964 CPUtime=0.99 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 17189 12864 0 0 87 5 5 2 20 0 15 0 224437966 11246788608 21991 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2745798 21991 3238 1 0 2708109 0
[pid=21526/tid=21579] ppid=21523 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 12412 12864 0 0 55 3 5 2 20 0 15 0 224437975 11246788608 21991 33554432000 4194304 4196468 140720676818560 140234310900816 140234323158366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 21991 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 2 12864 0 0 0 0 5 2 20 0 15 0 224437976 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=10983192 memory=5789765806419568471 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 5 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 13 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233165235488 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437978 11246788608 21991 33554432000 4194304 4196468 140720676818560 140232963909232 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246788608 21991 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) R 21523 21526 20569 0 -1 4202560 835 12864 0 0 6 0 5 2 20 0 15 0 224437981 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) R 21523 21526 20569 0 -1 1077944384 846 12864 0 0 10 0 5 2 20 0 15 0 224437981 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233762899952 140234339089026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 872 12864 0 0 13 0 5 2 20 0 15 0 224437981 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246788608 21991 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437981 11246788608 21991 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87964 KiB
[startup+1.50071 s]
/proc/loadavg: 1.18 1.44 1.45 3/215 21592
/proc/meminfo: memFree=11567688/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=10998092 memory=203644 CPUtime=2.93 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 26680 12864 0 0 276 10 5 2 20 0 15 0 224437966 11262046208 50911 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2749523 50911 3474 1 0 2711181 0
[pid=21526/tid=21579] ppid=21523 vsize=10998092 memory=4951091520830867572 CPUtime=1.41 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 17230 12864 0 0 128 6 5 2 20 0 15 0 224437975 11262046208 50911 33554432000 4194304 4196468 140720676818560 140234310895200 140234323158366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=10998092 memory=4134606225630022328 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 194 12864 0 0 1 0 5 2 20 0 15 0 224437976 11262046208 50911 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=10998092 memory=-5185266903443466605 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 58 12864 0 0 1 0 5 2 20 0 15 0 224437976 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=10998092 memory=-7911071484185515419 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 19 12864 0 0 1 0 5 2 20 0 15 0 224437976 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=10998092 memory=128252 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 24 12864 0 0 1 0 5 2 20 0 15 0 224437976 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 44 12864 0 0 1 0 5 2 20 0 15 0 224437978 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 13 12864 0 0 0 0 5 2 20 0 15 0 224437978 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233165235488 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=10998092 memory=281425987305760 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437978 11262046208 50911 33554432000 4194304 4196468 140720676818560 140232963909248 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=10998092 memory=281425987720704 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11262046208 50911 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=10998092 memory=140712993662592 CPUtime=0.59 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) S 21523 21526 20569 0 -1 1077944384 3265 12864 0 0 51 1 5 2 20 0 15 0 224437981 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=10998092 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) R 21523 21526 20569 0 -1 4202560 1942 12864 0 0 48 0 5 2 20 0 15 0 224437981 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233762889872 140234320600828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=10998092 memory=1128 CPUtime=0.46 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 1690 12864 0 0 39 0 5 2 20 0 15 0 224437981 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=10998092 memory=15188 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11262046208 50911 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=10998092 memory=4000 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 1 12864 0 0 0 0 5 2 20 0 15 0 224437981 11262046208 50911 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 83891 12864 0 0 229679 53 5 2 20 0 15 0 224437975 11343855616 272505 33554432000 4194304 4196468 140720676818560 140234310910960 140233926242602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=11077984 memory=1090020 CPUtime=11 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 10556 12864 0 0 1032 61 5 2 20 0 15 0 224437976 11343855616 272505 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=11077984 memory=1090020 CPUtime=11.03 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 15715 12864 0 0 1039 57 5 2 20 0 15 0 224437976 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=11077984 memory=1090020 CPUtime=10.97 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 12718 12864 0 0 1040 50 5 2 20 0 15 0 224437976 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=11077984 memory=1090020 CPUtime=11.04 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 13784 12864 0 0 1047 50 5 2 20 0 15 0 224437976 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=11077984 memory=1090020 CPUtime=11.31 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 16512 12864 0 0 1074 50 5 2 20 0 15 0 224437978 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=11077984 memory=1090020 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 18 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233165235616 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 9 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 272505 33554432000 4194304 4196468 140720676818560 140232963909248 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 272505 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=11077984 memory=1090020 CPUtime=20.82 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) S 21523 21526 20569 0 -1 1077944384 16682 12864 0 0 2067 8 5 2 20 0 15 0 224437981 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=11077984 memory=1090020 CPUtime=21.91 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) S 21523 21526 20569 0 -1 1077944384 20049 12864 0 0 2180 4 5 2 20 0 15 0 224437981 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233762899952 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=11077984 memory=1624 CPUtime=5.37 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 28292 12864 0 0 524 6 5 2 20 0 15 0 224437981 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=11077984 memory=1090020 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 272505 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=11077984 memory=1090020 CPUtime=1.37 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 927 12864 0 0 68 62 5 2 20 0 15 0 224437981 11343855616 272505 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 2401.68 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1090020 KiB
[startup+2382.3 s]
/proc/loadavg: 1.54 1.67 1.68 3/217 21796
/proc/meminfo: memFree=9209372/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=11077984 memory=1092068 CPUtime=2462.6 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 222672 12864 0 0 245901 352 5 2 20 0 15 0 224437966 11343855616 273017 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2769496 273017 3530 1 0 2731149 0
[pid=21526/tid=21579] ppid=21523 vsize=11077984 memory=4000 CPUtime=2356.71 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 84515 12864 0 0 235611 53 5 2 20 0 15 0 224437975 11343855616 273017 33554432000 4194304 4196468 140720676818560 140234310911072 140233918393438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.31 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 10683 12864 0 0 1062 62 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=11077984 memory=2612 CPUtime=11.33 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 15783 12864 0 0 1069 57 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.29 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 12762 12864 0 0 1070 52 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.36 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 14073 12864 0 0 1077 52 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.62 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 16656 12864 0 0 1104 51 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 18 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233165235616 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 9 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232963909248 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=11077984 memory=132 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=11077984 memory=1092068 CPUtime=20.82 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) S 21523 21526 20569 0 -1 1077944384 16685 12864 0 0 2067 8 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=11077984 memory=1092068 CPUtime=21.91 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) S 21523 21526 20569 0 -1 1077944384 20051 12864 0 0 2180 4 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233762899952 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=11077984 memory=2305 CPUtime=5.37 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 28294 12864 0 0 524 6 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=11077984 memory=1092068 CPUtime=1.39 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 944 12864 0 0 69 63 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 2462.6 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1092068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2438.9 s]
/proc/loadavg: 1.58 1.67 1.68 3/217 21797
/proc/meminfo: memFree=9209576/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=11077984 memory=1092068 CPUtime=2520.08 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 223988 12864 0 0 251641 360 5 2 20 0 15 0 224437966 11343855616 273017 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2769496 273017 3530 1 0 2731149 0
[pid=21526/tid=21579] ppid=21523 vsize=11077984 memory=1092068 CPUtime=2412.66 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 85177 12864 0 0 241205 54 5 2 20 0 15 0 224437975 11343855616 273017 33554432000 4194304 4196468 140720676818560 140234310912800 140233926699347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=11077984 memory=1796 CPUtime=11.61 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 10769 12864 0 0 1090 64 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.63 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 15899 12864 0 0 1097 59 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.59 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 12778 12864 0 0 1099 53 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.66 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 14332 12864 0 0 1106 53 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=11077984 memory=6791534058613427641 CPUtime=11.92 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 16809 12864 0 0 1133 52 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 18 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233165235616 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 9 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232963909248 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=11077984 memory=1092068 CPUtime=20.82 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) S 21523 21526 20569 0 -1 1077944384 16688 12864 0 0 2067 8 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=11077984 memory=281425988297136 CPUtime=21.91 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) S 21523 21526 20569 0 -1 1077944384 20053 12864 0 0 2180 4 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233762899952 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=11077984 memory=7595391571552921458 CPUtime=5.37 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 28296 12864 0 0 524 6 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=11077984 memory=1092068 CPUtime=1.43 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 961 12864 0 0 71 65 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1092068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2438.93 s]
# the end of solver process 21526 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.49 s, system=3.64015 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2438.9 s]
/proc/loadavg: 1.58 1.67 1.68 3/217 21797
/proc/meminfo: memFree=9209576/32770624 swapFree=67108496/67108860
[pid=21526] ppid=21523 vsize=11077984 memory=1092068 CPUtime=2520.08 cores=0,2,4,6
/proc/21526/stat : 21526 (java) S 21523 21526 20569 0 -1 1077944320 223988 12864 0 0 251641 360 5 2 20 0 15 0 224437966 11343855616 273017 33554432000 4194304 4196468 140720676818560 140720676801104 140234339077879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
/proc/21526/statm: 2769496 273017 3530 1 0 2731149 0
[pid=21526/tid=21579] ppid=21523 vsize=11077984 memory=1092068 CPUtime=2412.66 cores=0,2,4,6
/proc/21526/task/21579/stat : 21579 (java) R 21523 21526 20569 0 -1 4202560 85177 12864 0 0 241205 54 5 2 20 0 15 0 224437975 11343855616 273017 33554432000 4194304 4196468 140720676818560 140234310912800 140233926699347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21580] ppid=21523 vsize=11077984 memory=1796 CPUtime=11.61 cores=0,2,4,6
/proc/21526/task/21580/stat : 21580 (java) S 21523 21526 20569 0 -1 1077944384 10769 12864 0 0 1090 64 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140234343319952 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21581] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.63 cores=0,2,4,6
/proc/21526/task/21581/stat : 21581 (java) S 21523 21526 20569 0 -1 1077944384 15899 12864 0 0 1097 59 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233878726928 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21582] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.59 cores=0,2,4,6
/proc/21526/task/21582/stat : 21582 (java) S 21523 21526 20569 0 -1 1077944384 12778 12864 0 0 1099 53 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233877674640 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21583] ppid=21523 vsize=11077984 memory=1092068 CPUtime=11.66 cores=0,2,4,6
/proc/21526/task/21583/stat : 21583 (java) S 21523 21526 20569 0 -1 1077944384 14332 12864 0 0 1106 53 5 2 20 0 15 0 224437976 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233876621840 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21584] ppid=21523 vsize=11077984 memory=6791534058613427641 CPUtime=11.92 cores=0,2,4,6
/proc/21526/task/21584/stat : 21584 (java) S 21523 21526 20569 0 -1 1077944384 16809 12864 0 0 1133 52 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233765005936 140234339089026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21585] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21585/stat : 21585 (java) S 21523 21526 20569 0 -1 1077944384 18 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233165235616 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21586] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21586/stat : 21586 (java) S 21523 21526 20569 0 -1 1077944384 9 12864 0 0 0 0 5 2 20 0 15 0 224437978 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232963909248 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21587] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21587/stat : 21587 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232656509520 140234339096475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21588] ppid=21523 vsize=11077984 memory=1092068 CPUtime=20.82 cores=0,2,4,6
/proc/21526/task/21588/stat : 21588 (java) S 21523 21526 20569 0 -1 1077944384 16688 12864 0 0 2067 8 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233763952752 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21589] ppid=21523 vsize=11077984 memory=281425988297136 CPUtime=21.91 cores=0,2,4,6
/proc/21526/task/21589/stat : 21589 (java) S 21523 21526 20569 0 -1 1077944384 20053 12864 0 0 2180 4 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233762899952 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21590] ppid=21523 vsize=11077984 memory=7595391571552921458 CPUtime=5.37 cores=0,2,4,6
/proc/21526/task/21590/stat : 21590 (java) S 21523 21526 20569 0 -1 1077944384 28296 12864 0 0 524 6 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233761847664 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21591] ppid=21523 vsize=11077984 memory=1092068 CPUtime=0.07 cores=0,2,4,6
/proc/21526/task/21591/stat : 21591 (java) S 21523 21526 20569 0 -1 1077944384 3 12864 0 0 0 0 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140232225712608 140234339088085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
[pid=21526/tid=21592] ppid=21523 vsize=11077984 memory=1092068 CPUtime=1.43 cores=0,2,4,6
/proc/21526/task/21592/stat : 21592 (java) S 21523 21526 20569 0 -1 1077944384 961 12864 0 0 71 65 5 2 20 0 15 0 224437981 11343855616 273017 33554432000 4194304 4196468 140720676818560 140233760795568 140234339089026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27226112 140720676825710 140720676828508 140720676828508 140720676831183 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1092068 KiB
Child status: 143
Real time (s): 2438.93
CPU time (s): 2520.13
CPU user time (s): 2516.49
CPU system time (s): 3.64015
CPU usage (%): 103.329
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 1278088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.49
system time used= 3.64015
maximum resident set size= 1279116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237805
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288179
involuntary context switches= 7550
# summary of solver processes directly reported to runsolver:
# pid: 21526
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.49
# total CPU system time (s): 3.64015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6088 second user time and 23.5255 second system time
The end