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 (12361 MiB free)
memory of node 1: 16384 MiB (15590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263255-1502599341/watcher-4263255-1502599341 -o /tmp/evaluation-result-4263255-1502599341/solver-4263255-1502599341 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502596857-19457 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263255-1502599341.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19916, runsolver pid=19913
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 4.42 4.62 4.07 3/203 19924
/proc/meminfo: memFree=28610884/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10151672 memory=20320 CPUtime=0.02 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 3928 0 0 0 2 0 0 0 20 0 9 0 62129528 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2537918 5080 2110 1 0 2527415 0
[pid=19916/tid=19918] ppid=19913 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) R 19913 19916 12560 0 -1 4202560 2570 0 0 0 2 0 0 0 20 0 9 0 62129535 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139662191493736 139662166839649 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10151672 memory=-5738297875903123798 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62129536 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10151672 memory=140328499734144 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62129536 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 62129536 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62129536 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10151672 memory=140328499734144 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 62129537 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10151672 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 62129538 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10151672 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 62129538 10395312128 5080 18446744073709551615 4194304 4196468 140728477158048 139661748389296 139662187267797 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 20320 KiB
[startup+0.209805 s]*
/proc/loadavg: 4.42 4.62 4.07 3/210 19931
/proc/meminfo: memFree=28607140/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10551156 memory=26584 CPUtime=0.09 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 5106 0 0 0 8 1 0 0 20 0 15 0 62129528 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2637789 6646 2801 1 0 2627261 0
[pid=19916/tid=19918] ppid=19913 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) R 19913 19916 12560 0 -1 4202560 3023 0 0 0 7 0 0 0 20 0 15 0 62129535 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139662191490512 139662187279517 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10551156 memory=328 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10551156 memory=288370704651445888 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10551156 memory=140328499734144 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62129537 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62129538 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62129538 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62129540 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) S 19913 19916 12560 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 62129540 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661746284912 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) R 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62129540 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661745232112 139662187268738 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10551156 memory=140328499734144 CPUtime=0.01 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 304 0 0 0 1 0 0 0 20 0 15 0 62129540 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19930] ppid=19913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19930/stat : 19930 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62129540 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661743126752 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19931] ppid=19913 vsize=10551156 memory=140328499734144 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19931/stat : 19931 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129546 10804383744 6646 18446744073709551615 4194304 4196468 140728477158048 139661742075056 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 26584 KiB
[startup+0.310117 s]*
/proc/loadavg: 4.42 4.62 4.07 3/210 19931
/proc/meminfo: memFree=28596132/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10551156 memory=36904 CPUtime=0.24 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 8454 0 0 0 21 3 0 0 20 0 15 0 62129528 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2637789 9226 2877 1 0 2627261 0
[pid=19916/tid=19918] ppid=19913 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) R 19913 19916 12560 0 -1 4202560 6107 0 0 0 15 2 0 0 20 0 15 0 62129535 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139662191469488 139662172424381 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10551156 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62129536 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62129537 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62129538 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62129538 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62129540 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) S 19913 19916 12560 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 62129540 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661746284912 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) S 19913 19916 12560 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 15 0 62129540 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661745232112 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10551156 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 422 0 0 0 4 0 0 0 20 0 15 0 62129540 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19930] ppid=19913 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19930/stat : 19930 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62129540 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661743126752 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19931] ppid=19913 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19931/stat : 19931 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62129546 10804383744 9226 18446744073709551615 4194304 4196468 140728477158048 139661742075056 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36904 KiB
[startup+0.703304 s]
/proc/loadavg: 4.42 4.62 4.07 4/210 19931
/proc/meminfo: memFree=28565136/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10617796 memory=105896 CPUtime=1.33 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 13085 0 0 0 127 6 0 0 20 0 16 0 62129528 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2654449 26474 3062 1 0 2643902 0
[pid=19916/tid=19918] ppid=19913 vsize=10617796 memory=78 CPUtime=0.55 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) R 19913 19916 12560 0 -1 4202560 7421 0 0 0 51 4 0 0 20 0 16 0 62129535 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139662191494360 139661820081519 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10617796 memory=27 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10617796 memory=33 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 62129537 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10617796 memory=803 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10617796 memory=52 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62129540 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10617796 memory=212 CPUtime=0.26 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) R 19913 19916 12560 0 -1 4202560 1357 0 0 0 26 0 0 0 20 0 16 0 62129540 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661746265928 139662170743541 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10617796 memory=280656785444624 CPUtime=0.25 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) R 19913 19916 12560 0 -1 4202560 1543 0 0 0 25 0 0 0 20 0 16 0 62129540 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661745217992 139662168801344 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10617796 memory=2511482128129 CPUtime=0.24 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 1373 0 0 0 24 0 0 0 20 0 16 0 62129540 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19930] ppid=19913 vsize=10617796 memory=2520072062721 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19930/stat : 19930 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62129540 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661743126752 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19931] ppid=19913 vsize=10617796 memory=2563021735681 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19931/stat : 19931 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62129546 10872623104 26474 18446744073709551615 4194304 4196468 140728477158048 139661742075056 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 105896 KiB
[startup+1.50079 s]
/proc/loadavg: 4.42 4.62 4.07 3/211 19932
/proc/meminfo: memFree=28521408/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10617796 memory=120064 CPUtime=2.73 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 17102 0 0 0 266 7 0 0 20 0 16 0 62129528 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2654449 30016 3073 1 0 2643902 0
[pid=19916/tid=19918] ppid=19913 vsize=10617796 memory=78 CPUtime=1.34 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) R 19913 19916 12560 0 -1 4202560 8117 0 0 0 130 4 0 0 20 0 16 0 62129535 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139662191494264 139661820702006 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10617796 memory=27 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10617796 memory=280656785676768 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10617796 memory=9132 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10617796 memory=19658 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 62129536 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 62129537 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10617796 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62129540 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10617796 memory=115732 CPUtime=0.53 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) S 19913 19916 12560 0 -1 1077944384 2486 0 0 0 53 0 0 0 20 0 16 0 62129540 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139661746284912 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10617796 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) S 19913 19916 12560 0 -1 1077944384 3263 0 0 0 56 0 0 0 20 0 16 0 62129540 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139661745232112 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10617796 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 1824 0 0 0 26 0 0 0 20 0 16 0 62129540 10872623104 30016 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
################
# More data... #
################
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 10014 0 0 0 367 20 0 0 20 0 16 0 62129536 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10617796 memory=500544 CPUtime=3.87 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 10503 0 0 0 367 20 0 0 20 0 16 0 62129536 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10617796 memory=501432 CPUtime=3.88 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 11278 0 0 0 367 21 0 0 20 0 16 0 62129536 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.34 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 31080 0 0 0 27 7 0 0 20 0 16 0 62129537 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10617796 memory=501432 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10617796 memory=245597 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10617796 memory=500544 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.77 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) S 19913 19916 12560 0 -1 1077944384 3925 0 0 0 76 1 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661746284912 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.84 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) S 19913 19916 12560 0 -1 1077944384 6208 0 0 0 83 1 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661745232112 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.3 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 2845 0 0 0 29 1 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19930] ppid=19913 vsize=10617796 memory=500544 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19930/stat : 19930 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661743126752 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19931] ppid=19913 vsize=10617796 memory=501432 CPUtime=1.41 cores=1,3,5,7
/proc/19916/task/19931/stat : 19931 (java) S 19913 19916 12560 0 -1 1077944384 1730 0 0 0 61 80 0 0 20 0 16 0 62129546 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661742075056 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19932] ppid=19913 vsize=10617796 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19932/stat : 19932 (java) S 19913 19916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62129592 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661741020592 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 2516.88 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 501432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.5 s]
/proc/loadavg: 1.95 1.95 2.11 3/214 20196
/proc/meminfo: memFree=30717360/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10617796 memory=501432 CPUtime=2520.08 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 110258 0 0 0 251846 162 0 0 20 0 16 0 62129528 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2654449 125358 3132 1 0 2643902 0
[pid=19916/tid=19918] ppid=19913 vsize=10617796 memory=501432 CPUtime=2500.81 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) R 19913 19916 12560 0 -1 4202560 21797 0 0 0 250075 6 0 0 20 0 16 0 62129535 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662191496560 139661820450498 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10617796 memory=501572 CPUtime=3.89 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 9418 0 0 0 369 20 0 0 20 0 16 0 62129536 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10617796 memory=501568 CPUtime=3.87 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 10014 0 0 0 367 20 0 0 20 0 16 0 62129536 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10617796 memory=501572 CPUtime=3.87 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 10503 0 0 0 367 20 0 0 20 0 16 0 62129536 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10617796 memory=500544 CPUtime=3.88 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 11278 0 0 0 367 21 0 0 20 0 16 0 62129536 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.34 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 31080 0 0 0 27 7 0 0 20 0 16 0 62129537 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10617796 memory=501432 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10617796 memory=501432 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 62129538 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10617796 memory=245597 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.77 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) S 19913 19916 12560 0 -1 1077944384 3925 0 0 0 76 1 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661746284912 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.84 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) S 19913 19916 12560 0 -1 1077944384 6208 0 0 0 83 1 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661745232112 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10617796 memory=501432 CPUtime=0.3 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 2845 0 0 0 29 1 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19930] ppid=19913 vsize=10617796 memory=501432 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19930/stat : 19930 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 62129540 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661743126752 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19931] ppid=19913 vsize=10617796 memory=8600 CPUtime=1.41 cores=1,3,5,7
/proc/19916/task/19931/stat : 19931 (java) S 19913 19916 12560 0 -1 1077944384 1732 0 0 0 61 80 0 0 20 0 16 0 62129546 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661742075056 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19932] ppid=19913 vsize=10617796 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19932/stat : 19932 (java) S 19913 19916 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 62129592 10872623104 125358 18446744073709551615 4194304 4196468 140728477158048 139661741020592 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 501432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.76 s]
# the end of solver process 19916 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.51 s, system=1.63812 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.61 s]
/proc/loadavg: 1.95 1.95 2.11 3/214 20196
/proc/meminfo: memFree=30717360/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10817488 memory=501480 CPUtime=2520.09 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 110436 0 0 0 251847 162 0 0 20 0 17 0 62129528 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2704372 125370 3134 1 0 2693825 0
[pid=19916/tid=19918] ppid=19913 vsize=10817488 memory=1292 CPUtime=2500.82 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) S 19913 19916 12560 0 -1 1077944384 21799 0 0 0 250076 6 0 0 20 0 17 0 62129535 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662191500464 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10817488 memory=-8774313645642428999 CPUtime=3.89 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 9418 0 0 0 369 20 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10817488 memory=796 CPUtime=3.87 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 10014 0 0 0 367 20 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10817488 memory=-8774313645642428999 CPUtime=3.87 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 10503 0 0 0 367 20 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10817488 memory=1412 CPUtime=3.88 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 11278 0 0 0 367 21 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10817488 memory=501432 CPUtime=0.34 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 31080 0 0 0 27 7 0 0 20 0 17 0 62129537 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10817488 memory=501432 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 17 0 62129538 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10817488 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 62129538 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10817488 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10817488 memory=8600 CPUtime=0.77 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) S 19913 19916 12560 0 -1 1077944384 3925 0 0 0 76 1 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661746284912 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10817488 memory=501432 CPUtime=0.84 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) S 19913 19916 12560 0 -1 1077944384 6208 0 0 0 83 1 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661745232112 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10817488 memory=2016 CPUtime=0.3 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 2866 0 0 0 29 1 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19930] ppid=19913 vsize=10817488 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19930/stat : 19930 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661743126752 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19931] ppid=19913 vsize=10817488 memory=8600 CPUtime=1.41 cores=1,3,5,7
/proc/19916/task/19931/stat : 19931 (java) S 19913 19916 12560 0 -1 1077944384 1732 0 0 0 61 80 0 0 20 0 17 0 62129546 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661742075056 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 501480 KiB
[startup+2505.7 s]
/proc/loadavg: 1.95 1.95 2.11 3/214 20196
/proc/meminfo: memFree=30717360/32770624 swapFree=67105588/67108860
[pid=19916] ppid=19913 vsize=10817488 memory=501480 CPUtime=2520.09 cores=1,3,5,7
/proc/19916/stat : 19916 (java) S 19913 19916 12560 0 -1 1077944320 110436 0 0 0 251847 162 0 0 20 0 17 0 62129528 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 140728477140592 139662187257591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
/proc/19916/statm: 2704372 125370 3134 1 0 2693825 0
[pid=19916/tid=19918] ppid=19913 vsize=10817488 memory=501432 CPUtime=2500.82 cores=1,3,5,7
/proc/19916/task/19918/stat : 19918 (java) S 19913 19916 12560 0 -1 1077944384 21799 0 0 0 250076 6 0 0 20 0 17 0 62129535 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662191500464 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19919] ppid=19913 vsize=10817488 memory=501432 CPUtime=3.89 cores=1,3,5,7
/proc/19916/task/19919/stat : 19919 (java) S 19913 19916 12560 0 -1 1077944384 9418 0 0 0 369 20 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662144223888 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19920] ppid=19913 vsize=10817488 memory=501432 CPUtime=3.87 cores=1,3,5,7
/proc/19916/task/19920/stat : 19920 (java) S 19913 19916 12560 0 -1 1077944384 10014 0 0 0 367 20 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662143171088 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19921] ppid=19913 vsize=10817488 memory=500544 CPUtime=3.87 cores=1,3,5,7
/proc/19916/task/19921/stat : 19921 (java) S 19913 19916 12560 0 -1 1077944384 10503 0 0 0 367 20 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662142118288 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19922] ppid=19913 vsize=10817488 memory=501572 CPUtime=3.88 cores=1,3,5,7
/proc/19916/task/19922/stat : 19922 (java) S 19913 19916 12560 0 -1 1077944384 11278 0 0 0 367 21 0 0 20 0 17 0 62129536 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139662141065488 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19923] ppid=19913 vsize=10817488 memory=501568 CPUtime=0.34 cores=1,3,5,7
/proc/19916/task/19923/stat : 19923 (java) S 19913 19916 12560 0 -1 1077944384 31080 0 0 0 27 7 0 0 20 0 17 0 62129537 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661750496112 139662187268738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19924] ppid=19913 vsize=10817488 memory=501572 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19924/stat : 19924 (java) S 19913 19916 12560 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 17 0 62129538 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661749442080 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19925] ppid=19913 vsize=10817488 memory=501432 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19925/stat : 19925 (java) S 19913 19916 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 62129538 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661748389232 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19926] ppid=19913 vsize=10817488 memory=501432 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19926/stat : 19926 (java) S 19913 19916 12560 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661747337552 139662187276187 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19927] ppid=19913 vsize=10817488 memory=245597 CPUtime=0.77 cores=1,3,5,7
/proc/19916/task/19927/stat : 19927 (java) S 19913 19916 12560 0 -1 1077944384 3925 0 0 0 76 1 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661746284912 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19928] ppid=19913 vsize=10817488 memory=501432 CPUtime=0.84 cores=1,3,5,7
/proc/19916/task/19928/stat : 19928 (java) S 19913 19916 12560 0 -1 1077944384 6208 0 0 0 83 1 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661745232112 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19929] ppid=19913 vsize=10817488 memory=501432 CPUtime=0.3 cores=1,3,5,7
/proc/19916/task/19929/stat : 19929 (java) S 19913 19916 12560 0 -1 1077944384 2866 0 0 0 29 1 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661744179312 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19930] ppid=19913 vsize=10817488 memory=8600 CPUtime=0 cores=1,3,5,7
/proc/19916/task/19930/stat : 19930 (java) S 19913 19916 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 62129540 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661743126752 139662187267797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
[pid=19916/tid=19931] ppid=19913 vsize=10817488 memory=501432 CPUtime=1.41 cores=1,3,5,7
/proc/19916/task/19931/stat : 19931 (java) S 19913 19916 12560 0 -1 1077944384 1732 0 0 0 61 80 0 0 20 0 17 0 62129546 11077107712 125370 18446744073709551615 4194304 4196468 140728477158048 139661742075056 139662187268738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13713408 140728477163920 140728477164073 140728477164073 140728477167567 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 501480 KiB
Child status: 143
Real time (s): 2505.76
CPU time (s): 2520.15
CPU user time (s): 2518.51
CPU system time (s): 1.63812
CPU usage (%): 100.575
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 703772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.51
system time used= 1.63812
maximum resident set size= 703844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58355
involuntary context switches= 1842
# summary of solver processes directly reported to runsolver:
# pid: 19916
# total CPU time (s): 2520.15
# total CPU user time (s): 2518.51
# total CPU system time (s): 1.63812
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5675 second user time and 20.5725 second system time
The end