runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456933-1307205842/watcher-3456933-1307205842 -o /tmp/evaluation-result-3456933-1307205842/solver-3456933-1307205842 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456933-1307205842.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 3/532 19936
/proc/meminfo: memFree=16396372/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 1277 0 0 0 0 0 0 0 25 0 2 0 910814999 32362496 993 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 7914 999 769 9 0 386 0
[pid=19936/tid=19937] ppid=19934 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 4761 0 1 0 0 0 0 0 25 0 2 0 910815000 10694979584 5577 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0981959 s]
/proc/loadavg: 1.92 2.01 1.99 3/532 19936
/proc/meminfo: memFree=16396372/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10540124 CPUtime=0.1 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 12906 0 1 0 8 2 0 0 25 0 18 0 910814999 10793086976 12602 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2635031 12602 2092 9 0 2625765 0
[pid=19936/tid=19937] ppid=19934 vsize=10540124 CPUtime=0.07 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 11030 0 1 0 6 1 0 0 22 0 18 0 910815000 10793086976 12602 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 215988241492 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540124
[startup+0.100193 s]
/proc/loadavg: 1.92 2.01 1.99 3/532 19936
/proc/meminfo: memFree=16396372/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10540124 CPUtime=0.1 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 12941 0 1 0 8 2 0 0 25 0 18 0 910814999 10793086976 12637 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2635031 12637 2092 9 0 2625765 0
[pid=19936/tid=19937] ppid=19934 vsize=10540124 CPUtime=0.07 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 11065 0 1 0 6 1 0 0 22 0 18 0 910815000 10793086976 12637 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 215988635831 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540124
[startup+0.384961 s]
/proc/loadavg: 1.92 2.01 1.99 3/532 19936
/proc/meminfo: memFree=16396372/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10552688 CPUtime=0.8 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 27091 0 1 0 76 4 0 0 25 0 19 0 910814999 10805952512 25095 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638172 25096 2215 9 0 2628906 0
[pid=19936/tid=19937] ppid=19934 vsize=10552688 CPUtime=0.37 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 17867 0 1 0 35 2 0 0 24 0 19 0 910815000 10805952512 25098 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505591376 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 10552688
[startup+0.701092 s]
/proc/loadavg: 1.92 2.01 1.99 3/532 19936
/proc/meminfo: memFree=16396372/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10554472 CPUtime=1.72 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 43468 0 1 0 167 5 0 0 25 0 19 0 910814999 10807779328 41051 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638618 41057 2220 9 0 2629352 0
[pid=19936/tid=19937] ppid=19934 vsize=10554472 CPUtime=0.68 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 33206 0 1 0 64 4 0 0 25 0 19 0 910815000 10807779328 41060 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505591354 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 10554472
[startup+1.50095 s]
/proc/loadavg: 1.92 2.01 1.99 3/551 19955
/proc/meminfo: memFree=16122092/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10554472 CPUtime=2.65 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 128337 0 1 0 249 16 0 0 25 0 19 0 910814999 10807779328 125920 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638618 125922 2224 9 0 2629352 0
[pid=19936/tid=19937] ppid=19934 vsize=10554472 CPUtime=1.48 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 118046 0 1 0 133 15 0 0 25 0 19 0 910815000 10807779328 125924 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505951596 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19936/tid=19939] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19939/stat : 19939 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125926 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19940] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19940/stat : 19940 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125927 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19941] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19941/stat : 19941 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125930 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19942] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19942/stat : 19942 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125933 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19943] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19943/stat : 19943 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125936 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19944] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19944/stat : 19944 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125940 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19945] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19945/stat : 19945 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125944 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19946] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19946/stat : 19946 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 125948 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19947] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19947/stat : 19947 (java) S 19934 19936 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910815002 10807779328 125952 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 0 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19948] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19948/stat : 19948 (java) S 19934 19936 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910815003 10807779328 125956 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19949] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19949/stat : 19949 (java) S 19934 19936 19289 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 910815003 10807779328 125960 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19950] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19950/stat : 19950 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910815005 10807779328 125963 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000416177 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19951] ppid=19934 vsize=10554472 CPUtime=0.59 cores=1,3,5,7
/proc/19936/task/19951/stat : 19951 (java) S 19934 19936 19289 0 -1 4202560 3508 0 0 0 59 0 0 0 15 0 19 0 910815005 10807779328 125966 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19952] ppid=19934 vsize=10554472 CPUtime=0.56 cores=1,3,5,7
/proc/19936/task/19952/stat : 19952 (java) S 19934 19936 19289 0 -1 4202560 5625 0 0 0 56 0 0 0 15 0 19 0 910815005 10807779328 125970 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19953] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19953/stat : 19953 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910815005 10807779328 125974 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19954] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19954/stat : 19954 (java) S 19934 19936 19289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 910815005 10807779328 125977 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19955] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19955/stat : 19955 (java) S 19934 19936 19289 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 910815016 10807779328 125981 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10554472
[startup+3.10073 s]
/proc/loadavg: 1.92 2.01 1.99 3/551 19955
/proc/meminfo: memFree=15617176/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10554472 CPUtime=4.27 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 309495 0 1 0 387 40 0 0 25 0 19 0 910814999 10807779328 307077 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638618 307085 2224 9 0 2629352 0
[pid=19936/tid=19937] ppid=19934 vsize=10554472 CPUtime=3.07 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 299209 0 1 0 269 38 0 0 25 0 19 0 910815000 10807779328 307088 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505979355 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19936/tid=19939] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19939/stat : 19939 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307092 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19940] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19940/stat : 19940 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307096 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19941] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19941/stat : 19941 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307100 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19942] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19942/stat : 19942 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307105 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19943] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19943/stat : 19943 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307109 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19944] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19944/stat : 19944 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307113 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19945] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19945/stat : 19945 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307117 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19946] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19946/stat : 19946 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 307120 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19947] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19947/stat : 19947 (java) S 19934 19936 19289 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 910815002 10807779328 307124 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 0 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19948] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19948/stat : 19948 (java) S 19934 19936 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910815003 10807779328 307128 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19949] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19949/stat : 19949 (java) S 19934 19936 19289 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 910815003 10807779328 307132 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19950] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19950/stat : 19950 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910815005 10807779328 307136 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000416177 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19951] ppid=19934 vsize=10554472 CPUtime=0.59 cores=1,3,5,7
/proc/19936/task/19951/stat : 19951 (java) S 19934 19936 19289 0 -1 4202560 3508 0 0 0 59 0 0 0 15 0 19 0 910815005 10807779328 307140 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19952] ppid=19934 vsize=10554472 CPUtime=0.57 cores=1,3,5,7
/proc/19936/task/19952/stat : 19952 (java) S 19934 19936 19289 0 -1 4202560 5627 0 0 0 57 0 0 0 15 0 19 0 910815005 10807779328 307144 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19953] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19953/stat : 19953 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910815005 10807779328 307147 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19954] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19954/stat : 19954 (java) S 19934 19936 19289 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 910815005 10807779328 307150 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19955] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19955/stat : 19955 (java) S 19934 19936 19289 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 910815016 10807779328 307154 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10554472
[startup+6.30111 s]
/proc/loadavg: 1.93 2.01 1.99 3/551 19955
/proc/meminfo: memFree=14312428/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10554472 CPUtime=7.58 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 608459 0 1 0 685 73 0 0 25 0 19 0 910814999 10807779328 605742 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638618 605744 2226 9 0 2629352 0
[pid=19936/tid=19937] ppid=19934 vsize=10554472 CPUtime=6.28 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 598146 0 1 0 557 71 0 0 25 0 19 0 910815000 10807779328 605744 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505536554 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19936/tid=19939] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19939/stat : 19939 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605745 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19940] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19940/stat : 19940 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19941] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19941/stat : 19941 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19942] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19942/stat : 19942 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19943] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19943/stat : 19943 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19944] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19944/stat : 19944 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19945] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19945/stat : 19945 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19946] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19946/stat : 19946 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 910815001 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19947] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19947/stat : 19947 (java) S 19934 19936 19289 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 910815002 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 0 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19948] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19948/stat : 19948 (java) S 19934 19936 19289 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 910815003 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19949] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19949/stat : 19949 (java) S 19934 19936 19289 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 910815003 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19950] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19950/stat : 19950 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910815005 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000416177 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19951] ppid=19934 vsize=10554472 CPUtime=0.59 cores=1,3,5,7
/proc/19936/task/19951/stat : 19951 (java) S 19934 19936 19289 0 -1 4202560 3508 0 0 0 59 0 0 0 16 0 19 0 910815005 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19952] ppid=19934 vsize=10554472 CPUtime=0.68 cores=1,3,5,7
/proc/19936/task/19952/stat : 19952 (java) S 19934 19936 19289 0 -1 4202560 5643 0 0 0 68 0 0 0 15 0 19 0 910815005 10807779328 605746 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/19936/task/19948/stat : 19948 (java) S 19934 19936 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19949] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19949/stat : 19949 (java) S 19934 19936 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19950] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19950/stat : 19950 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000416177 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19951] ppid=19934 vsize=10554472 CPUtime=0.6 cores=1,3,5,7
/proc/19936/task/19951/stat : 19951 (java) S 19934 19936 19289 0 -1 4202560 3510 0 0 0 60 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19952] ppid=19934 vsize=10554472 CPUtime=0.68 cores=1,3,5,7
/proc/19936/task/19952/stat : 19952 (java) S 19934 19936 19289 0 -1 4202560 5644 0 0 0 68 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19953] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19953/stat : 19953 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19954] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19954/stat : 19954 (java) S 19934 19936 19289 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19955] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19955/stat : 19955 (java) S 19934 19936 19289 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 910815016 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.39
Current children cumulated vsize (KiB) 10554472
[startup+1722.3 s]
/proc/loadavg: 2.13 2.03 2.00 3/551 20060
/proc/meminfo: memFree=11795072/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10554472 CPUtime=1724.39 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 966615 0 1 0 172319 120 0 0 25 0 19 0 910814999 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638618 957286 2239 9 0 2629352 0
[pid=19936/tid=19937] ppid=19934 vsize=10554472 CPUtime=1721.98 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 786142 0 1 0 172107 91 0 0 25 0 19 0 910815000 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505583518 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19936/tid=19939] ppid=19934 vsize=10554472 CPUtime=0.13 cores=1,3,5,7
/proc/19936/task/19939/stat : 19939 (java) S 19934 19936 19289 0 -1 4202560 22704 0 0 0 9 4 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19940] ppid=19934 vsize=10554472 CPUtime=0.12 cores=1,3,5,7
/proc/19936/task/19940/stat : 19940 (java) S 19934 19936 19289 0 -1 4202560 21848 0 0 0 9 3 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19941] ppid=19934 vsize=10554472 CPUtime=0.1 cores=1,3,5,7
/proc/19936/task/19941/stat : 19941 (java) S 19934 19936 19289 0 -1 4202560 14699 0 0 0 8 2 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19942] ppid=19934 vsize=10554472 CPUtime=0.15 cores=1,3,5,7
/proc/19936/task/19942/stat : 19942 (java) S 19934 19936 19289 0 -1 4202560 21897 0 0 0 12 3 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19943] ppid=19934 vsize=10554472 CPUtime=0.17 cores=1,3,5,7
/proc/19936/task/19943/stat : 19943 (java) S 19934 19936 19289 0 -1 4202560 29121 0 0 0 13 4 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19944] ppid=19934 vsize=10554472 CPUtime=0.14 cores=1,3,5,7
/proc/19936/task/19944/stat : 19944 (java) S 19934 19936 19289 0 -1 4202560 22214 0 0 0 11 3 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19945] ppid=19934 vsize=10554472 CPUtime=0.09 cores=1,3,5,7
/proc/19936/task/19945/stat : 19945 (java) S 19934 19936 19289 0 -1 4202560 14887 0 0 0 8 1 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19946] ppid=19934 vsize=10554472 CPUtime=0.13 cores=1,3,5,7
/proc/19936/task/19946/stat : 19946 (java) S 19934 19936 19289 0 -1 4202560 22652 0 0 0 9 4 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19947] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19947/stat : 19947 (java) S 19934 19936 19289 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 910815002 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 0 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19948] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19948/stat : 19948 (java) S 19934 19936 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19949] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19949/stat : 19949 (java) S 19934 19936 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19950] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19950/stat : 19950 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000416177 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19951] ppid=19934 vsize=10554472 CPUtime=0.6 cores=1,3,5,7
/proc/19936/task/19951/stat : 19951 (java) S 19934 19936 19289 0 -1 4202560 3510 0 0 0 60 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19952] ppid=19934 vsize=10554472 CPUtime=0.68 cores=1,3,5,7
/proc/19936/task/19952/stat : 19952 (java) S 19934 19936 19289 0 -1 4202560 5644 0 0 0 68 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19953] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19953/stat : 19953 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19954] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19954/stat : 19954 (java) S 19934 19936 19289 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19955] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19955/stat : 19955 (java) S 19934 19936 19289 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 910815016 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.39
Current children cumulated vsize (KiB) 10554472
[startup+1782.3 s]
/proc/loadavg: 2.11 2.04 2.00 3/551 20062
/proc/meminfo: memFree=11794804/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10554472 CPUtime=1784.39 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 966619 0 1 0 178319 120 0 0 25 0 19 0 910814999 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638618 957286 2239 9 0 2629352 0
[pid=19936/tid=19937] ppid=19934 vsize=10554472 CPUtime=1781.98 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 786142 0 1 0 178107 91 0 0 25 0 19 0 910815000 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505583556 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19936/tid=19939] ppid=19934 vsize=10554472 CPUtime=0.13 cores=1,3,5,7
/proc/19936/task/19939/stat : 19939 (java) S 19934 19936 19289 0 -1 4202560 22704 0 0 0 9 4 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19940] ppid=19934 vsize=10554472 CPUtime=0.12 cores=1,3,5,7
/proc/19936/task/19940/stat : 19940 (java) S 19934 19936 19289 0 -1 4202560 21848 0 0 0 9 3 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19941] ppid=19934 vsize=10554472 CPUtime=0.1 cores=1,3,5,7
/proc/19936/task/19941/stat : 19941 (java) S 19934 19936 19289 0 -1 4202560 14699 0 0 0 8 2 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19942] ppid=19934 vsize=10554472 CPUtime=0.15 cores=1,3,5,7
/proc/19936/task/19942/stat : 19942 (java) S 19934 19936 19289 0 -1 4202560 21897 0 0 0 12 3 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19943] ppid=19934 vsize=10554472 CPUtime=0.17 cores=1,3,5,7
/proc/19936/task/19943/stat : 19943 (java) S 19934 19936 19289 0 -1 4202560 29121 0 0 0 13 4 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19944] ppid=19934 vsize=10554472 CPUtime=0.14 cores=1,3,5,7
/proc/19936/task/19944/stat : 19944 (java) S 19934 19936 19289 0 -1 4202560 22214 0 0 0 11 3 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19945] ppid=19934 vsize=10554472 CPUtime=0.09 cores=1,3,5,7
/proc/19936/task/19945/stat : 19945 (java) S 19934 19936 19289 0 -1 4202560 14887 0 0 0 8 1 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19946] ppid=19934 vsize=10554472 CPUtime=0.13 cores=1,3,5,7
/proc/19936/task/19946/stat : 19946 (java) S 19934 19936 19289 0 -1 4202560 22652 0 0 0 9 4 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19947] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19947/stat : 19947 (java) S 19934 19936 19289 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 910815002 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 0 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19948] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19948/stat : 19948 (java) S 19934 19936 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19949] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19949/stat : 19949 (java) S 19934 19936 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19950] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19950/stat : 19950 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000416177 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19951] ppid=19934 vsize=10554472 CPUtime=0.6 cores=1,3,5,7
/proc/19936/task/19951/stat : 19951 (java) S 19934 19936 19289 0 -1 4202560 3510 0 0 0 60 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19952] ppid=19934 vsize=10554472 CPUtime=0.68 cores=1,3,5,7
/proc/19936/task/19952/stat : 19952 (java) S 19934 19936 19289 0 -1 4202560 5644 0 0 0 68 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19953] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19953/stat : 19953 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19954] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19954/stat : 19954 (java) S 19934 19936 19289 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19955] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19955/stat : 19955 (java) S 19934 19936 19289 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 910815016 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.39
Current children cumulated vsize (KiB) 10554472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 2.08 2.04 2.00 3/551 20062
/proc/meminfo: memFree=11769000/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=10554472 CPUtime=1800.1 cores=1,3,5,7
/proc/19936/stat : 19936 (java) S 19934 19936 19289 0 -1 4202496 966619 0 1 0 179890 120 0 0 25 0 19 0 910814999 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 2638618 957286 2239 9 0 2629352 0
[pid=19936/tid=19937] ppid=19934 vsize=10554472 CPUtime=1797.7 cores=1,3,5,7
/proc/19936/task/19937/stat : 19937 (java) R 19934 19936 19289 0 -1 4202560 786142 0 1 0 179679 91 0 0 25 0 19 0 910815000 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 46912505881181 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=19936/tid=19939] ppid=19934 vsize=10554472 CPUtime=0.13 cores=1,3,5,7
/proc/19936/task/19939/stat : 19939 (java) S 19934 19936 19289 0 -1 4202560 22704 0 0 0 9 4 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19940] ppid=19934 vsize=10554472 CPUtime=0.12 cores=1,3,5,7
/proc/19936/task/19940/stat : 19940 (java) S 19934 19936 19289 0 -1 4202560 21848 0 0 0 9 3 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19941] ppid=19934 vsize=10554472 CPUtime=0.1 cores=1,3,5,7
/proc/19936/task/19941/stat : 19941 (java) S 19934 19936 19289 0 -1 4202560 14699 0 0 0 8 2 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19942] ppid=19934 vsize=10554472 CPUtime=0.15 cores=1,3,5,7
/proc/19936/task/19942/stat : 19942 (java) S 19934 19936 19289 0 -1 4202560 21897 0 0 0 12 3 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19943] ppid=19934 vsize=10554472 CPUtime=0.17 cores=1,3,5,7
/proc/19936/task/19943/stat : 19943 (java) S 19934 19936 19289 0 -1 4202560 29121 0 0 0 13 4 0 0 16 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19944] ppid=19934 vsize=10554472 CPUtime=0.14 cores=1,3,5,7
/proc/19936/task/19944/stat : 19944 (java) S 19934 19936 19289 0 -1 4202560 22214 0 0 0 11 3 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19945] ppid=19934 vsize=10554472 CPUtime=0.09 cores=1,3,5,7
/proc/19936/task/19945/stat : 19945 (java) S 19934 19936 19289 0 -1 4202560 14887 0 0 0 8 1 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19946] ppid=19934 vsize=10554472 CPUtime=0.13 cores=1,3,5,7
/proc/19936/task/19946/stat : 19946 (java) S 19934 19936 19289 0 -1 4202560 22652 0 0 0 9 4 0 0 15 0 19 0 910815001 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
[pid=19936/tid=19947] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19947/stat : 19947 (java) S 19934 19936 19289 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 910815002 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 0 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19948] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19948/stat : 19948 (java) S 19934 19936 19289 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19949] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19949/stat : 19949 (java) S 19934 19936 19289 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 910815003 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 1 0 0 0
[pid=19936/tid=19950] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19950/stat : 19950 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000416177 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19951] ppid=19934 vsize=10554472 CPUtime=0.6 cores=1,3,5,7
/proc/19936/task/19951/stat : 19951 (java) S 19934 19936 19289 0 -1 4202560 3510 0 0 0 60 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19952] ppid=19934 vsize=10554472 CPUtime=0.68 cores=1,3,5,7
/proc/19936/task/19952/stat : 19952 (java) S 19934 19936 19289 0 -1 4202560 5644 0 0 0 68 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19953] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19953/stat : 19953 (java) S 19934 19936 19289 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000408473 0 4 0 16800975 18446604464943856704 0 0 -1 5 0 0 0
[pid=19936/tid=19954] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19954/stat : 19954 (java) S 19934 19936 19289 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 910815005 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 3 0 0 0
[pid=19936/tid=19955] ppid=19934 vsize=10554472 CPUtime=0 cores=1,3,5,7
/proc/19936/task/19955/stat : 19955 (java) S 19934 19936 19289 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 910815016 10807779328 957286 33554432000 1073741824 1073778376 140736221557312 18446744073709551615 216000409088 0 4 0 16800975 18446604464943856704 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10554472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.13 s]
/proc/loadavg: 2.08 2.04 2.00 3/551 20062
/proc/meminfo: memFree=11769000/32950940 swapFree=67111364/67111528
[pid=19936] ppid=19934 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/19936/stat : 19936 (java) Z 19934 19936 19289 0 -1 4203548 971575 0 1 0 179895 129 0 0 17 0 2 0 910814999 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/19936/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.19
CPU time (s): 1800.32
CPU user time (s): 1798.96
CPU system time (s): 1.36479
CPU usage (%): 100.118
Max. virtual memory (cumulated for all children) (KiB): 10554472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.36479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 971575
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37239
involuntary context switches= 21647
runsolver used 9.28459 second user time and 20.5559 second system time
The end