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 (9639 MiB free)
memory of node 1: 16384 MiB (7486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302806-1532898905/watcher-4302806-1532898905 -o /tmp/evaluation-result-4302806-1532898905/solver-4302806-1532898905 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9921 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2145297856 -superng HOME/instance-4302806-1532898905.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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15021, runsolver pid=15018
[startup+0.100061 s]*
/proc/loadavg: 1.69 1.70 1.75 3/206 15078
/proc/meminfo: memFree=17532040/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=10005480 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 4244 13313 0 0 1 0 5 3 20 0 6 0 107453727 10245611520 4583 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2501370 4583 1931 1 0 2489808 0
[pid=15021/tid=15074] ppid=15018 vsize=10005480 memory=4279135703946592399 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) R 15018 15021 8396 0 -1 4202560 2055 13313 0 0 0 0 5 3 20 0 6 0 107453736 10245611520 4583 33554432000 4194304 4196468 140729764341920 139814060122704 139814088307869 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 107453736 10245611520 4583 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=10005480 memory=140704844793472 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 6 0 107453736 10245611520 4583 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 6 0 107453736 10245611520 4583 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 6 0 107453736 10245611520 4583 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.209936 s]*
/proc/loadavg: 1.69 1.70 1.75 3/215 15087
/proc/meminfo: memFree=17506968/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=10982744 memory=45488 CPUtime=0.26 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 7464 13313 0 0 16 2 5 3 20 0 15 0 107453727 11246329856 11306 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2745686 11372 2991 1 0 2708109 0
[pid=15021/tid=15074] ppid=15018 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) R 15018 15021 8396 0 -1 4202560 4173 13313 0 0 10 1 5 3 20 0 15 0 107453736 11246329856 11504 33554432000 4194304 4196468 140729764341920 139814060081984 139814068561757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=10982744 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246329856 11504 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=10982744 memory=140704844793472 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246329856 11504 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246329856 11504 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246329856 11504 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15079] ppid=15018 vsize=10982744 memory=140704844793472 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15079/stat : 15079 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453738 11246329856 11504 33554432000 4194304 4196468 140729764341920 139813513542384 139814088297090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 107453738 11246329856 11504 33554432000 4194304 4196468 140729764341920 139812876052128 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453739 11246329856 11504 33554432000 4194304 4196468 140729764341920 139812728202480 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15082] ppid=15018 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15082/stat : 15082 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11246329856 11504 33554432000 4194304 4196468 140729764341920 139812420803024 139814088304539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) S 15018 15021 8396 0 -1 1077944384 415 13313 0 0 1 0 5 3 20 0 15 0 107453741 11246329856 11504 33554432000 4194304 4196468 140729764341920 139813512489200 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) S 15018 15021 8396 0 -1 1077944384 199 13313 0 0 1 0 5 3 20 0 15 0 107453741 11246329856 11570 33554432000 4194304 4196468 140729764341920 139813511436656 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=10982744 memory=140704844793472 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) S 15018 15021 8396 0 -1 1077944384 600 13313 0 0 3 0 5 3 20 0 15 0 107453741 11246329856 11570 33554432000 4194304 4196468 140729764341920 139813510383600 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11246329856 11570 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15087] ppid=15018 vsize=10982744 memory=140704844793472 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15087/stat : 15087 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453742 11246329856 11570 33554432000 4194304 4196468 140729764341920 139813509332016 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45488 KiB
[startup+0.310014 s]*
/proc/loadavg: 1.69 1.70 1.75 3/215 15087
/proc/meminfo: memFree=17494936/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=10983192 memory=57260 CPUtime=0.39 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 10287 13313 0 0 28 3 5 3 20 0 15 0 107453727 11246788608 14315 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2745798 14315 3110 1 0 2708109 0
[pid=15021/tid=15074] ppid=15018 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) R 15018 15021 8396 0 -1 4202560 6840 13313 0 0 19 2 5 3 20 0 15 0 107453736 11246788608 14315 33554432000 4194304 4196468 140729764341920 139814060097952 139814068561818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=10983192 memory=6081918200710189137 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 14315 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=10983192 memory=2072 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15079] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15079/stat : 15079 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453738 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813513542384 139814088297090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 107453738 11246788608 14315 33554432000 4194304 4196468 140729764341920 139812876052128 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453739 11246788608 14315 33554432000 4194304 4196468 140729764341920 139812728202480 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15082] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15082/stat : 15082 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11246788608 14315 33554432000 4194304 4196468 140729764341920 139812420803024 139814088304539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) S 15018 15021 8396 0 -1 1077944384 421 13313 0 0 1 0 5 3 20 0 15 0 107453741 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813512489200 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) S 15018 15021 8396 0 -1 1077944384 199 13313 0 0 1 0 5 3 20 0 15 0 107453741 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813511436656 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) S 15018 15021 8396 0 -1 1077944384 606 13313 0 0 4 0 5 3 20 0 15 0 107453741 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813510383600 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11246788608 14315 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15087] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15087/stat : 15087 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453742 11246788608 14315 33554432000 4194304 4196468 140729764341920 139813509332016 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57260 KiB
[startup+0.70079 s]
/proc/loadavg: 1.69 1.70 1.75 4/215 15087
/proc/meminfo: memFree=17483948/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=10983192 memory=89204 CPUtime=1 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 16398 13313 0 0 86 6 5 3 20 0 15 0 107453727 11246788608 22301 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2745798 22301 3232 1 0 2708109 0
[pid=15021/tid=15074] ppid=15018 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) R 15018 15021 8396 0 -1 4202560 11884 13313 0 0 55 3 5 3 20 0 15 0 107453736 11246788608 22301 33554432000 4194304 4196468 140729764341920 139814060106768 139814068557433 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 22301 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 2 13313 0 0 0 0 5 3 20 0 15 0 107453736 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15079] ppid=15018 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15079/stat : 15079 (java) S 15018 15021 8396 0 -1 1077944384 5 13313 0 0 0 0 5 3 20 0 15 0 107453738 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813513542384 139814088297090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 13 13313 0 0 0 0 5 3 20 0 15 0 107453738 11246788608 22301 33554432000 4194304 4196468 140729764341920 139812876052128 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453739 11246788608 22301 33554432000 4194304 4196468 140729764341920 139812728202480 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15082] ppid=15018 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15082/stat : 15082 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11246788608 22301 33554432000 4194304 4196468 140729764341920 139812420803024 139814088304539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=10983192 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) S 15018 15021 8396 0 -1 1077944384 1070 13313 0 0 10 0 5 3 20 0 15 0 107453741 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813512489200 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) S 15018 15021 8396 0 -1 1077944384 564 13313 0 0 6 0 5 3 20 0 15 0 107453741 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813511436656 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) S 15018 15021 8396 0 -1 1077944384 656 13313 0 0 13 0 5 3 20 0 15 0 107453741 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813510383600 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11246788608 22301 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15087] ppid=15018 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15087/stat : 15087 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453742 11246788608 22301 33554432000 4194304 4196468 140729764341920 139813509332016 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89204 KiB
[startup+1.50079 s]
/proc/loadavg: 1.69 1.70 1.75 4/215 15087
/proc/meminfo: memFree=17439724/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=10998092 memory=179232 CPUtime=2.33 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 23394 13313 0 0 215 10 5 3 20 0 15 0 107453727 11262046208 44808 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2749523 44808 3468 1 0 2711181 0
[pid=15021/tid=15074] ppid=15018 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) R 15018 15021 8396 0 -1 4202560 17212 13313 0 0 130 5 5 3 20 0 15 0 107453736 11262046208 44808 33554432000 4194304 4196468 140729764341920 139814060103584 139814068557920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 174 13313 0 0 1 0 5 3 20 0 15 0 107453736 11262046208 44808 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 51 13313 0 0 1 0 5 3 20 0 15 0 107453736 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=10998092 memory=4051323354130624818 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 25 13313 0 0 1 0 5 3 20 0 15 0 107453736 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 29 13313 0 0 1 0 5 3 20 0 15 0 107453736 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15079] ppid=15018 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15079/stat : 15079 (java) S 15018 15021 8396 0 -1 1077944384 49 13313 0 0 1 0 5 3 20 0 15 0 107453738 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813513542384 139814088297090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=10998092 memory=281409478535424 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 14 13313 0 0 0 0 5 3 20 0 15 0 107453738 11262046208 44808 33554432000 4194304 4196468 140729764341920 139812876052192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453739 11262046208 44808 33554432000 4194304 4196468 140729764341920 139812728202496 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15082] ppid=15018 vsize=10998092 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15082/stat : 15082 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11262046208 44808 33554432000 4194304 4196468 140729764341920 139812420803024 139814088304539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=10998092 memory=5788 CPUtime=0.3 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) S 15018 15021 8396 0 -1 1077944384 1541 13313 0 0 22 0 5 3 20 0 15 0 107453741 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813512489200 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=10998092 memory=4616 CPUtime=0.27 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) S 15018 15021 8396 0 -1 1077944384 784 13313 0 0 19 0 5 3 20 0 15 0 107453741 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813511436656 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=10998092 memory=12032 CPUtime=0.44 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) S 15018 15021 8396 0 -1 1077944384 1315 13313 0 0 35 1 5 3 20 0 15 0 107453741 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813510383600 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=10998092 memory=1008 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11262046208 44808 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15087] ppid=15018 vsize=10998092 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15087/stat : 15087 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453742 11262046208 44808 33554432000 4194304 4196468 140729764341920 139813509332016 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 2.33 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/loadavg: 1.79 1.73 1.76 3/215 15087
/proc/meminfo: memFree=17307560/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=11008352 memory=266772 CPUtime=5.99 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 37153 13313 0 0 575 16 5 3 20 0 15 0 107453727 11272552448 66693 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2752088 66693 3492 1 0 2713741 0
[pid=15021/tid=15074] ppid=15018 vsize=11008352 memory=281409478954304 CPUtime=3.02 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) S 15018 15021 8396 0 -1 1077944384 26527 13313 0 0 286 8 5 3 20 0 15 0 107453736 11272552448 66693 33554432000 4194304 4196468 140729764341920 139814060095104 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=11008352 memory=388 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 184 13313 0 0 1 0 5 3 20 0 15 0 107453736 11272552448 66693 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=11008352 memory=6943526294502006880 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 55 13313 0 0 1 0 5 3 20 0 15 0 107453736 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=11008352 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 42 13313 0 0 1 0 5 3 20 0 15 0 107453736 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=11008352 memory=7886128541215502642 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 38 13313 0 0 1 0 5 3 20 0 15 0 107453736 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15079] ppid=15018 vsize=11008352 memory=8389687274651202354 CPUtime=0.09 cores=0,2,4,6
/proc/15021/task/15079/stat : 15079 (java) R 15018 15021 8396 0 -1 4202560 77 13313 0 0 1 0 5 3 20 0 15 0 107453738 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813513540672 139814088307290 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=11008352 memory=7093354236711793350 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 14 13313 0 0 0 0 5 3 20 0 15 0 107453738 11272552448 66693 33554432000 4194304 4196468 140729764341920 139812876052192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=11008352 memory=281409478788608 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453739 11272552448 66693 33554432000 4194304 4196468 140729764341920 139812728202496 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15082] ppid=15018 vsize=11008352 memory=6083358604262791271 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15082/stat : 15082 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11272552448 66693 33554432000 4194304 4196468 140729764341920 139812420803024 139814088304539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=11008352 memory=6440235876196045929 CPUtime=1.09 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) S 15018 15021 8396 0 -1 1077944384 3464 13313 0 0 100 1 5 3 20 0 15 0 107453741 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813512489200 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=11008352 memory=6153985703205688929 CPUtime=0.74 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) S 15018 15021 8396 0 -1 1077944384 1279 13313 0 0 65 1 5 3 20 0 15 0 107453741 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813511436656 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=11008352 memory=288230574492221466 CPUtime=1.22 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) S 15018 15021 8396 0 -1 1077944384 3273 13313 0 0 112 2 5 3 20 0 15 0 107453741 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813510383600 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11272552448 66693 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15087] ppid=15018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15087/stat : 15087 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453742 11272552448 66693 33554432000 4194304 4196468 140729764341920 139813509332016 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 266772 KiB
[startup+4.52319 s]
# the end of solver process 15021 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.17482 s, system=0.274537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20152 s]
/proc/loadavg: 1.79 1.73 1.76 3/215 15087
/proc/meminfo: memFree=17307560/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=11008352 memory=272468 CPUtime=6.19 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 39900 13313 0 0 594 17 5 3 20 0 15 0 107453727 11272552448 68117 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2752088 68117 3492 1 0 2713741 0
[pid=15021/tid=15074] ppid=15018 vsize=11008352 memory=0 CPUtime=3.08 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) R 15018 15021 8396 0 -1 4202560 27873 13313 0 0 292 8 5 3 20 0 15 0 107453736 11272552448 68117 33554432000 4194304 4196468 140729764341920 139814060118248 139814088297878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=11008352 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 184 13313 0 0 3 0 5 3 20 0 15 0 107453736 11272552448 68117 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=11008352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 57 13313 0 0 2 0 5 3 20 0 15 0 107453736 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=11008352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 42 13313 0 0 3 0 5 3 20 0 15 0 107453736 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=11008352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 38 13313 0 0 2 0 5 3 20 0 15 0 107453736 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15079] ppid=15018 vsize=11008352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15079/stat : 15079 (java) S 15018 15021 8396 0 -1 1077944384 243 13313 0 0 3 0 5 3 20 0 15 0 107453738 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813513542384 139814088297090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 14 13313 0 0 0 0 5 3 20 0 15 0 107453738 11272552448 68117 33554432000 4194304 4196468 140729764341920 139812876052192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453739 11272552448 68117 33554432000 4194304 4196468 140729764341920 139812728202496 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15082] ppid=15018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15082/stat : 15082 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11272552448 68117 33554432000 4194304 4196468 140729764341920 139812420803024 139814088304539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=11008352 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) R 15018 15021 8396 0 -1 1077944384 3655 13313 0 0 101 1 5 3 20 0 15 0 107453741 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813512489200 139814088297090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=11008352 memory=8584 CPUtime=0.75 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) R 15018 15021 8396 0 -1 4202560 1469 13313 0 0 66 1 5 3 20 0 15 0 107453741 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813511436656 139814065874645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=11008352 memory=15872 CPUtime=1.26 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) R 15018 15021 8396 0 -1 4202560 4154 13313 0 0 116 2 5 3 20 0 15 0 107453741 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813510378640 139814072393069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11272552448 68117 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15087] ppid=15018 vsize=11008352 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15087/stat : 15087 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453742 11272552448 68117 33554432000 4194304 4196468 140729764341920 139813509332016 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 272468 KiB
[startup+4.0007 s]*
/proc/loadavg: 1.79 1.73 1.76 4/215 15087
/proc/meminfo: memFree=17224084/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=11082828 memory=327972 CPUtime=8.39 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 71497 13313 0 0 810 21 5 3 20 0 15 0 107453727 11348815872 81993 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2770707 81993 3498 1 0 2732360 0
[pid=15021/tid=15074] ppid=15018 vsize=11082828 memory=-6517102902069810590 CPUtime=3.89 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) R 15018 15021 8396 0 -1 4202560 52173 13313 0 0 370 11 5 3 20 0 15 0 107453736 11348815872 81993 33554432000 4194304 4196468 140729764341920 139814060120840 139814072329573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=11082828 memory=3691042058319900680 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 184 13313 0 0 3 0 5 3 20 0 15 0 107453736 11348815872 81993 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=11082828 memory=3618277368335892149 CPUtime=0.1 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 57 13313 0 0 2 0 5 3 20 0 15 0 107453736 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=11082828 memory=-7806830305107498646 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 42 13313 0 0 3 0 5 3 20 0 15 0 107453736 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=11082828 memory=64514703754216 CPUtime=0.1 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 38 13313 0 0 2 0 5 3 20 0 15 0 107453736 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15079] ppid=15018 vsize=11082828 memory=3540060310044687585 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15079/stat : 15079 (java) S 15018 15021 8396 0 -1 1077944384 269 13313 0 0 3 0 5 3 20 0 15 0 107453738 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813513542384 139814088297090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=11082828 memory=3689912881336361007 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 14 13313 0 0 0 0 5 3 20 0 15 0 107453738 11348815872 81993 33554432000 4194304 4196468 140729764341920 139812876052192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=11082828 memory=7518874388434743909 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 15 0 107453739 11348815872 81993 33554432000 4194304 4196468 140729764341920 139812728202496 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15082] ppid=15018 vsize=11082828 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15082/stat : 15082 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11348815872 81993 33554432000 4194304 4196468 140729764341920 139812420803024 139814088304539 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=11082828 memory=0 CPUtime=1.78 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) R 15018 15021 8396 0 -1 4202560 7014 13313 0 0 169 1 5 3 20 0 15 0 107453741 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813512475080 139814069807219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=11082828 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) R 15018 15021 8396 0 -1 1077944384 2788 13313 0 0 106 1 5 3 20 0 15 0 107453741 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813511436656 139814088297090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=11082828 memory=10 CPUtime=1.57 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) R 15018 15021 8396 0 -1 4202560 6715 13313 0 0 147 2 5 3 20 0 15 0 107453741 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813510383600 139814081382779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=11082828 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 15 0 107453741 11348815872 81993 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15087] ppid=15018 vsize=11082828 memory=159 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15087/stat : 15087 (java) S 15018 15021 8396 0 -1 1077944384 8 13313 0 0 0 0 5 3 20 0 15 0 107453742 11348815872 81993 33554432000 4194304 4196468 140729764341920 139813509332016 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 8.39 s
Current children cumulated vsize: 11082828 KiB
Current children cumulated memory: 327972 KiB
[startup+4.40077 s]
/proc/loadavg: 1.79 1.73 1.76 4/215 15087
/proc/meminfo: memFree=17224084/32770624 swapFree=67108860/67108860
[pid=15021] ppid=15018 vsize=11079000 memory=329164 CPUtime=9.43 cores=0,2,4,6
/proc/15021/stat : 15021 (java) S 15018 15021 8396 0 -1 1077944320 74356 13313 0 0 912 23 5 3 20 0 12 0 107453727 11344896000 82291 33554432000 4194304 4196468 140729764341920 140729764324464 139814088285943 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
/proc/15021/statm: 2769750 82291 3502 1 0 2731403 0
[pid=15021/tid=15074] ppid=15018 vsize=11079000 memory=6791534058613427641 CPUtime=4.19 cores=0,2,4,6
/proc/15021/task/15074/stat : 15074 (java) D 15018 15021 8396 0 -1 4202560 52709 13313 0 0 400 11 5 3 20 0 12 0 107453736 11344896000 82291 33554432000 4194304 4196468 140729764341920 139814060129592 139814080971575 0 0 0 16800975 18446744072099568773 0 0 -1 2 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15075] ppid=15018 vsize=11079000 memory=928 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15075/stat : 15075 (java) S 15018 15021 8396 0 -1 1077944384 184 13313 0 0 3 0 5 3 20 0 12 0 107453736 11344896000 82291 33554432000 4194304 4196468 140729764341920 139814092528144 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15076] ppid=15018 vsize=11079000 memory=2240 CPUtime=0.1 cores=0,2,4,6
/proc/15021/task/15076/stat : 15076 (java) S 15018 15021 8396 0 -1 1077944384 57 13313 0 0 2 0 5 3 20 0 12 0 107453736 11344896000 82291 33554432000 4194304 4196468 140729764341920 139813947247248 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15077] ppid=15018 vsize=11079000 memory=4128 CPUtime=0.11 cores=0,2,4,6
/proc/15021/task/15077/stat : 15077 (java) S 15018 15021 8396 0 -1 1077944384 42 13313 0 0 3 0 5 3 20 0 12 0 107453736 11344896000 82291 33554432000 4194304 4196468 140729764341920 139813946194192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15078] ppid=15018 vsize=11079000 memory=2200 CPUtime=0.1 cores=0,2,4,6
/proc/15021/task/15078/stat : 15078 (java) S 15018 15021 8396 0 -1 1077944384 38 13313 0 0 2 0 5 3 20 0 12 0 107453736 11344896000 82291 33554432000 4194304 4196468 140729764341920 139813945141648 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15080] ppid=15018 vsize=11079000 memory=840 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15080/stat : 15080 (java) S 15018 15021 8396 0 -1 1077944384 14 13313 0 0 0 0 5 3 20 0 12 0 107453738 11344896000 82291 33554432000 4194304 4196468 140729764341920 139812876052192 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15081] ppid=15018 vsize=11079000 memory=1796 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15081/stat : 15081 (java) S 15018 15021 8396 0 -1 1077944384 1 13313 0 0 0 0 5 3 20 0 12 0 107453739 11344896000 82291 33554432000 4194304 4196468 140729764341920 139812728202496 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15083] ppid=15018 vsize=11079000 memory=3848 CPUtime=2.09 cores=0,2,4,6
/proc/15021/task/15083/stat : 15083 (java) S 15018 15021 8396 0 -1 1077944384 8515 13313 0 0 200 1 5 3 20 0 12 0 107453741 11344896000 82291 33554432000 4194304 4196468 140729764341920 139813512473712 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15084] ppid=15018 vsize=11079000 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/15021/task/15084/stat : 15084 (java) S 15018 15021 8396 0 -1 1077944384 2896 13313 0 0 129 2 5 3 20 0 12 0 107453741 11344896000 82291 33554432000 4194304 4196468 140729764341920 139813511421168 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15085] ppid=15018 vsize=11079000 memory=4420 CPUtime=1.75 cores=0,2,4,6
/proc/15021/task/15085/stat : 15085 (java) S 15018 15021 8396 0 -1 1077944384 7080 13313 0 0 164 3 5 3 20 0 12 0 107453741 11344896000 82291 33554432000 4194304 4196468 140729764341920 139813510383600 139814088297090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
[pid=15021/tid=15086] ppid=15018 vsize=11079000 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/15021/task/15086/stat : 15086 (java) S 15018 15021 8396 0 -1 1077944384 3 13313 0 0 0 0 5 3 20 0 12 0 107453741 11344896000 82291 33554432000 4194304 4196468 140729764341920 139811990006112 139814088296149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33525760 140729764346472 140729764349281 140729764349281 140729764351951 0
Current children cumulated CPU time: 9.43 s
Current children cumulated vsize: 11079000 KiB
Current children cumulated memory: 329164 KiB
[startup+4.50064 s]*
/proc/loadavg: 1.79 1.73 1.76 5/202 15088
/proc/meminfo: memFree=17475980/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.52324
CPU time (s): 9.44936
CPU user time (s): 9.17482
CPU system time (s): 0.274537
CPU usage (%): 208.907
Max. virtual memory (cumulated for all children) (KiB): 11082888
Max. memory (cumulated for all children) (KiB): 330328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.17482
system time used= 0.274537
maximum resident set size= 331192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7179
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 15021
# total CPU time (s): 9.44936
# total CPU user time (s): 9.17482
# total CPU system time (s): 0.274537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044733 second user time and 0.089466 second system time
The end