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 (12160 MiB free)
memory of node 1: 16384 MiB (15627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302225-1532888466/watcher-4302225-1532888466 -o /tmp/evaluation-result-4302225-1532888466/solver-4302225-1532888466 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13546 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302225-1532888466.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21960, runsolver pid=21957
[startup+0.100904 s]*
/proc/loadavg: 2.02 2.83 2.83 2/216 21975
/proc/meminfo: memFree=28439572/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10659012 memory=31152 CPUtime=0.12 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 6852 0 0 0 11 1 0 0 20 0 15 0 106409801 10914828288 7788 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2664753 7788 2843 1 0 2627263 0
[pid=21960/tid=21962] ppid=21957 vsize=10659012 memory=-8701690554792054914 CPUtime=0.09 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) R 21957 21960 13514 0 -1 4202560 4694 0 0 0 8 1 0 0 20 0 15 0 106409801 10914828288 7788 33554432000 4194304 4196468 140731339920992 140621096286064 140620980865401 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10659012 memory=140696216802944 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10659012 memory=140696216802944 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409804 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106409804 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106409804 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) S 21957 21960 13514 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620392921968 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) R 21957 21960 13514 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620391869168 140621092092546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10659012 memory=140696216802944 CPUtime=0.02 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) R 21957 21960 13514 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 106409807 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620390816368 140621092102746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10659012 memory=140696216802944 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 7788 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31152 KiB
[startup+0.210485 s]*
/proc/loadavg: 2.02 2.83 2.83 4/216 21975
/proc/meminfo: memFree=28428852/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10659012 memory=42068 CPUtime=0.33 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 8103 0 0 0 31 2 0 0 20 0 15 0 106409801 10914828288 10517 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2664753 10517 3003 1 0 2627263 0
[pid=21960/tid=21962] ppid=21957 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) R 21957 21960 13514 0 -1 4202560 5065 0 0 0 19 1 0 0 20 0 15 0 106409801 10914828288 10517 33554432000 4194304 4196468 140731339920992 140621096317680 140621076125029 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10659012 memory=339 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10659012 memory=288371072368514688 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10659012 memory=140696216802944 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409804 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106409804 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106409804 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) S 21957 21960 13514 0 -1 1077944384 631 0 0 0 2 0 0 0 20 0 15 0 106409807 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620392921968 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) S 21957 21960 13514 0 -1 1077944384 374 0 0 0 2 0 0 0 20 0 15 0 106409807 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620391869168 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10659012 memory=140696216802944 CPUtime=0.07 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) R 21957 21960 13514 0 -1 4202560 670 0 0 0 7 0 0 0 20 0 15 0 106409807 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620390816368 140621070712036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10659012 memory=140696216802944 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409807 10914828288 10517 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42068 KiB
[startup+0.311994 s]*
/proc/loadavg: 2.02 2.83 2.83 6/216 21975
/proc/meminfo: memFree=28421252/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10659088 memory=47300 CPUtime=0.55 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 8920 0 0 0 52 3 0 0 20 0 15 0 106409801 10914906112 11825 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2664772 11825 3027 1 0 2627263 0
[pid=21960/tid=21962] ppid=21957 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) R 21957 21960 13514 0 -1 4202560 5680 0 0 0 28 2 0 0 20 0 15 0 106409801 10914906112 11825 33554432000 4194304 4196468 140731339920992 140621096317200 140620729286728 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10659088 memory=4294977826 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10659088 memory=288371072368514688 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10659088 memory=140696216802944 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409804 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106409804 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106409804 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) R 21957 21960 13514 0 -1 1077944384 656 0 0 0 4 0 0 0 20 0 15 0 106409807 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620392922096 140621092091605 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) S 21957 21960 13514 0 -1 1077944384 477 0 0 0 5 0 0 0 20 0 15 0 106409807 10914906112 11825 33554432000 4194304 4196468 140731339920992 140620391869168 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10659088 memory=140696216802944 CPUtime=0.13 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) R 21957 21960 13514 0 -1 4202560 739 0 0 0 13 0 0 0 20 0 15 0 106409807 10914906112 11863 33554432000 4194304 4196468 140731339920992 140620390811408 140621071046576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914906112 11863 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10659088 memory=140696216802944 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409807 10914906112 11863 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47300 KiB
[startup+0.700799 s]
/proc/loadavg: 2.02 2.83 2.83 5/216 21975
/proc/meminfo: memFree=28381916/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10659088 memory=172788 CPUtime=1.66 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 16909 0 0 0 160 6 0 0 20 0 15 0 106409801 10914906112 43197 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2664772 43197 3108 1 0 2627263 0
[pid=21960/tid=21962] ppid=21957 vsize=10659088 memory=235043628804398 CPUtime=0.67 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) R 21957 21960 13514 0 -1 4202560 6130 0 0 0 64 3 0 0 20 0 15 0 106409801 10914906112 43197 33554432000 4194304 4196468 140731339920992 140621096320312 140620729254415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10659088 memory=605488 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10659088 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106409802 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106409804 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10659088 memory=-3535359994705171299 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106409804 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106409804 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10659088 memory=6656426216303648864 CPUtime=0.32 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) R 21957 21960 13514 0 -1 4202560 3731 0 0 0 31 1 0 0 20 0 15 0 106409807 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620392902664 140621075492214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10659088 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) R 21957 21960 13514 0 -1 4202560 3697 0 0 0 34 0 0 0 20 0 15 0 106409807 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620391855192 140621069676949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10659088 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) R 21957 21960 13514 0 -1 1077944384 1979 0 0 0 28 0 0 0 20 0 15 0 106409807 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620390816368 140621092092546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106409807 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10659088 memory=12708 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106409807 10914906112 43197 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 172788 KiB
[startup+1.50076 s]
/proc/loadavg: 2.02 2.83 2.83 5/217 21976
/proc/meminfo: memFree=28281440/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10727700 memory=184488 CPUtime=3.7 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 26157 0 0 0 363 7 0 0 20 0 16 0 106409801 10985164800 46122 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2681925 46122 3134 1 0 2644416 0
[pid=21960/tid=21962] ppid=21957 vsize=10727700 memory=10757 CPUtime=1.47 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) R 21957 21960 13514 0 -1 4202560 6390 0 0 0 144 3 0 0 20 0 16 0 106409801 10985164800 46122 33554432000 4194304 4196468 140731339920992 140621096317776 140620733539546 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106409802 10985164800 46122 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106409802 10985164800 46122 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106409802 10985164800 46122 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106409802 10985164800 46122 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 46122 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
################
# More data... #
################
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 225 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10727700 memory=279732 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 639 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10727700 memory=279732 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 1133 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10727700 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10727700 memory=844 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10727700 memory=231512 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10727700 memory=97 CPUtime=1.43 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) S 21957 21960 13514 0 -1 1077944384 13763 0 0 0 141 2 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620392921968 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10727700 memory=279732 CPUtime=1.48 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) S 21957 21960 13514 0 -1 1077944384 7859 0 0 0 147 1 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620391869168 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10727700 memory=279732 CPUtime=0.43 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) S 21957 21960 13514 0 -1 1077944384 4163 0 0 0 43 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620390816368 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10727700 memory=279732 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10727700 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1149 0 0 0 4 3 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21976] ppid=21957 vsize=10727700 memory=279732 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21976/stat : 21976 (java) S 21957 21960 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106409876 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620385559472 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 165.91 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 279732 KiB
[startup+222.301 s]
/proc/loadavg: 2.45 2.52 2.70 3/217 21979
/proc/meminfo: memFree=28086220/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10727700 memory=279732 CPUtime=225.94 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 41435 0 0 0 22573 21 0 0 20 0 16 0 106409801 10985164800 69933 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2681925 69933 3169 1 0 2644416 0
[pid=21960/tid=21962] ppid=21957 vsize=10727700 memory=279732 CPUtime=222.17 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) R 21957 21960 13514 0 -1 4202560 9615 0 0 0 22213 4 0 0 20 0 16 0 106409801 10985164800 69933 33554432000 4194304 4196468 140731339920992 140621096320240 140620733304855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10727700 memory=279732 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 553 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10727700 memory=140696082984952 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 862 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10727700 memory=279732 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 225 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10727700 memory=279732 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 639 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10727700 memory=279732 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 1135 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10727700 memory=279732 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10727700 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10727700 memory=279732 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10727700 memory=279732 CPUtime=1.43 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) S 21957 21960 13514 0 -1 1077944384 13764 0 0 0 141 2 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620392921968 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10727700 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) S 21957 21960 13514 0 -1 1077944384 7865 0 0 0 147 1 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620391869168 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10727700 memory=279732 CPUtime=0.43 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) S 21957 21960 13514 0 -1 1077944384 4164 0 0 0 43 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620390816368 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10727700 memory=30304 CPUtime=0.1 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1158 0 0 0 5 5 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21976] ppid=21957 vsize=10727700 memory=2204 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21976/stat : 21976 (java) S 21957 21960 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106409876 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620385559472 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 225.94 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 279732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.401 s]
/proc/loadavg: 2.48 2.52 2.69 3/217 22059
/proc/meminfo: memFree=28268432/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10727700 memory=279732 CPUtime=252.05 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 41486 0 0 0 25183 22 0 0 20 0 16 0 106409801 10985164800 69933 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2681925 69933 3169 1 0 2644416 0
[pid=21960/tid=21962] ppid=21957 vsize=10727700 memory=128400 CPUtime=248.27 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) R 21957 21960 13514 0 -1 4202560 9658 0 0 0 24823 4 0 0 20 0 16 0 106409801 10985164800 69933 33554432000 4194304 4196468 140731339920992 140621096320240 140620733304970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10727700 memory=3360 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 553 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10727700 memory=279732 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 862 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10727700 memory=5456 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 225 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10727700 memory=756 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 639 0 0 0 4 2 0 0 20 0 16 0 106409802 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10727700 memory=14572 CPUtime=0.01 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 1135 0 0 0 1 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10727700 memory=12708 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10727700 memory=16916 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 106409804 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10727700 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10727700 memory=1584 CPUtime=1.43 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) S 21957 21960 13514 0 -1 1077944384 13766 0 0 0 141 2 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620392921968 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10727700 memory=496 CPUtime=1.48 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) S 21957 21960 13514 0 -1 1077944384 7867 0 0 0 147 1 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620391869168 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10727700 memory=928 CPUtime=0.43 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) S 21957 21960 13514 0 -1 1077944384 4166 0 0 0 43 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620390816368 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10727700 memory=1172 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10727700 memory=1968 CPUtime=0.12 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1160 0 0 0 6 6 0 0 20 0 16 0 106409807 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21976] ppid=21957 vsize=10727700 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21976/stat : 21976 (java) S 21957 21960 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106409876 10985164800 69933 33554432000 4194304 4196468 140731339920992 140620385559472 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 279732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.628 s]
# the end of solver process 21960 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.883 s, system=0.233082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.601 s]
/proc/loadavg: 2.48 2.52 2.69 3/217 22059
/proc/meminfo: memFree=28268432/32770624 swapFree=67108860/67108860
[pid=21960] ppid=21957 vsize=10927392 memory=280064 CPUtime=252.09 cores=0,2,4,6
/proc/21960/stat : 21960 (java) S 21957 21960 13514 0 -1 1077944320 42899 0 0 0 25187 22 0 0 20 0 17 0 106409801 11189649408 70016 33554432000 4194304 4196468 140731339920992 140731339903536 140621092081399 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
/proc/21960/statm: 2731848 70016 3172 1 0 2694339 0
[pid=21960/tid=21962] ppid=21957 vsize=10927392 memory=1992 CPUtime=248.3 cores=0,2,4,6
/proc/21960/task/21962/stat : 21962 (java) S 21957 21960 13514 0 -1 1077944384 9910 0 0 0 24826 4 0 0 20 0 17 0 106409801 11189649408 70016 33554432000 4194304 4196468 140731339920992 140621096324272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21963] ppid=21957 vsize=10927392 memory=2236 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21963/stat : 21963 (java) S 21957 21960 13514 0 -1 1077944384 553 0 0 0 4 2 0 0 20 0 17 0 106409802 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620698672272 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21964] ppid=21957 vsize=10927392 memory=1992 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21964/stat : 21964 (java) S 21957 21960 13514 0 -1 1077944384 862 0 0 0 4 2 0 0 20 0 17 0 106409802 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620697619472 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21965] ppid=21957 vsize=10927392 memory=288230574492221466 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21965/stat : 21965 (java) S 21957 21960 13514 0 -1 1077944384 225 0 0 0 4 2 0 0 20 0 17 0 106409802 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620696566672 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21966] ppid=21957 vsize=10927392 memory=288230617509003574 CPUtime=0.06 cores=0,2,4,6
/proc/21960/task/21966/stat : 21966 (java) S 21957 21960 13514 0 -1 1077944384 639 0 0 0 4 2 0 0 20 0 17 0 106409802 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620695513872 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21967] ppid=21957 vsize=10927392 memory=13847486485760432 CPUtime=0.01 cores=0,2,4,6
/proc/21960/task/21967/stat : 21967 (java) S 21957 21960 13514 0 -1 1077944384 1135 0 0 0 1 0 0 0 20 0 17 0 106409804 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620397132144 140621092092546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21968] ppid=21957 vsize=10927392 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21968/stat : 21968 (java) S 21957 21960 13514 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 106409804 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620396078112 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21969] ppid=21957 vsize=10927392 memory=924 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21969/stat : 21969 (java) S 21957 21960 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 106409804 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620395025264 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21970] ppid=21957 vsize=10927392 memory=1992 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21970/stat : 21970 (java) S 21957 21960 13514 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 17 0 106409807 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620393973584 140621092099995 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21971] ppid=21957 vsize=10927392 memory=2236 CPUtime=1.43 cores=0,2,4,6
/proc/21960/task/21971/stat : 21971 (java) S 21957 21960 13514 0 -1 1077944384 13902 0 0 0 141 2 0 0 20 0 17 0 106409807 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620392921968 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21972] ppid=21957 vsize=10927392 memory=1992 CPUtime=1.49 cores=0,2,4,6
/proc/21960/task/21972/stat : 21972 (java) S 21957 21960 13514 0 -1 1077944384 8051 0 0 0 148 1 0 0 20 0 17 0 106409807 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620391869168 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21973] ppid=21957 vsize=10927392 memory=7528 CPUtime=0.43 cores=0,2,4,6
/proc/21960/task/21973/stat : 21973 (java) S 21957 21960 13514 0 -1 1077944384 4385 0 0 0 43 0 0 0 20 0 17 0 106409807 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620390816368 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21974] ppid=21957 vsize=10927392 memory=804 CPUtime=0 cores=0,2,4,6
/proc/21960/task/21974/stat : 21974 (java) S 21957 21960 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106409807 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620389763808 140621092091605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
[pid=21960/tid=21975] ppid=21957 vsize=10927392 memory=1696 CPUtime=0.12 cores=0,2,4,6
/proc/21960/task/21975/stat : 21975 (java) S 21957 21960 13514 0 -1 1077944384 1160 0 0 0 6 6 0 0 20 0 17 0 106409807 11189649408 70016 33554432000 4194304 4196468 140731339920992 140620388711088 140621092092546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21614592 140731339928694 140731339928846 140731339928846 140731339931599 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 280064 KiB
Child status: 143
Real time (s): 248.628
CPU time (s): 252.117
CPU user time (s): 251.883
CPU system time (s): 0.233082
CPU usage (%): 101.403
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 280064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.883
system time used= 0.233082
maximum resident set size= 280272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7505
involuntary context switches= 314
# summary of solver processes directly reported to runsolver:
# pid: 21960
# total CPU time (s): 252.117
# total CPU user time (s): 251.883
# total CPU system time (s): 0.233082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40959 second user time and 2.40278 second system time
The end