runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4085779-1465296568/watcher-4085779-1465296568 -o /tmp/evaluation-result-4085779-1465296568/solver-4085779-1465296568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28820 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085779-1465296568.opb
pid=31891
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: 2.04 2.02 2.00 3/194 31894
/proc/meminfo: memFree=29079660/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31894/stat : 31894 (java) R 31891 31894 28803 0 -1 4202496 491 0 0 0 0 0 0 0 20 0 1 0 111590178 9515008 145 33554432000 1073741824 1073778376 140734416743392 140734416740520 140141354967874 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2323 150 110 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 31894
/proc/meminfo: memFree=29079660/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 111590178 9787879424 6028 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200215 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 31894
/proc/meminfo: memFree=29079660/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 5108 0 1 0 26 1 0 0 20 0 18 0 111590178 9787879424 11087 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2389619 11087 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300242 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 31894
/proc/meminfo: memFree=29079660/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 5965 0 1 0 50 1 0 0 20 0 18 0 111590178 9787879424 13011 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2389619 13011 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700227 s]
/proc/loadavg: 2.04 2.02 2.00 3/194 31894
/proc/meminfo: memFree=29079660/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9558476 CPUtime=1.18 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 7259 0 1 0 115 3 0 0 20 0 18 0 111590178 9787879424 43765 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2389619 43765 2261 9 0 2380296 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9558476
[startup+1.50083 s]
/proc/loadavg: 2.04 2.02 2.00 3/212 31912
/proc/meminfo: memFree=28734504/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9558476 CPUtime=2.28 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 7976 0 1 0 216 12 0 0 20 0 18 0 111590178 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2389619 88343 2263 9 0 2380296 0
[pid=31894/tid=31896] ppid=31891 vsize=9558476 CPUtime=1.33 cores=1,3,5,7
/proc/31894/task/31896/stat : 31896 (java) R 31891 31894 28803 0 -1 4202560 2519 0 1 0 129 4 0 0 20 0 18 0 111590179 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141343346640 140141176230436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31897] ppid=31891 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31891 31894 28803 0 -1 4202560 38 0 0 0 3 0 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141304846632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31898] ppid=31891 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31891 31894 28803 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141303793832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31899] ppid=31891 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31891 31894 28803 0 -1 4202560 112 0 0 0 4 0 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141302741544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31900] ppid=31891 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31891 31894 28803 0 -1 4202560 129 0 0 0 7 2 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141301688744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31901] ppid=31891 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31891 31894 28803 0 -1 4202560 42 0 0 0 4 1 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141300636456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31902] ppid=31891 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31891 31894 28803 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141299583656 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31903] ppid=31891 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31891 31894 28803 0 -1 4202560 137 0 0 0 3 1 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141298531368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31904] ppid=31891 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31891 31894 28803 0 -1 4202560 101 0 0 0 5 0 0 0 20 0 18 0 111590180 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141297478568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31905] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31891 31894 28803 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 111590181 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141167339752 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31906] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31891 31894 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 111590182 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141166285816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31907] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 111590182 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141165233416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31908] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111590184 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141164181904 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31909] ppid=31891 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31891 31894 28803 0 -1 4202560 2227 0 0 0 24 0 0 0 20 0 18 0 111590184 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141163129528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31910] ppid=31891 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31891 31894 28803 0 -1 4202560 1197 0 0 0 19 0 0 0 20 0 18 0 111590184 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141162076728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31911] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111590184 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140141161024632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31912] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111590184 9787879424 88343 33554432000 1073741824 1073778376 140734416743392 140140152351944 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9558476
[startup+3.10083 s]
/proc/loadavg: 2.03 2.02 2.00 3/212 31912
/proc/meminfo: memFree=28453016/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9558476 CPUtime=4.14 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 8698 0 1 0 391 23 0 0 20 0 18 0 111590178 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2389619 158474 2263 9 0 2380296 0
[pid=31894/tid=31896] ppid=31891 vsize=9558476 CPUtime=2.84 cores=1,3,5,7
/proc/31894/task/31896/stat : 31896 (java) R 31891 31894 28803 0 -1 4202560 2808 0 1 0 276 8 0 0 20 0 18 0 111590179 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141343354336 140141176178713 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31897] ppid=31891 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31891 31894 28803 0 -1 4202560 57 0 0 0 6 2 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141304846632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31898] ppid=31891 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31891 31894 28803 0 -1 4202560 44 0 0 0 7 2 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141303793832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31899] ppid=31891 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31891 31894 28803 0 -1 4202560 126 0 0 0 5 2 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141302741544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31900] ppid=31891 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31891 31894 28803 0 -1 4202560 144 0 0 0 11 2 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141301688744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31901] ppid=31891 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31891 31894 28803 0 -1 4202560 58 0 0 0 7 2 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141300636456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31902] ppid=31891 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31891 31894 28803 0 -1 4202560 38 0 0 0 6 2 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141299583656 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31903] ppid=31891 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31891 31894 28803 0 -1 4202560 155 0 0 0 6 3 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141298531368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31904] ppid=31891 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31891 31894 28803 0 -1 4202560 114 0 0 0 6 2 0 0 20 0 18 0 111590180 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141297478568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31905] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31891 31894 28803 0 -1 4202560 478 0 0 0 0 0 0 0 20 0 18 0 111590181 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141167339752 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31906] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31891 31894 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 111590182 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141166285816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31907] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 111590182 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141165233416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31908] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111590184 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141164181904 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31909] ppid=31891 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31891 31894 28803 0 -1 4202560 2227 0 0 0 24 0 0 0 20 0 18 0 111590184 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141163129528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31910] ppid=31891 vsize=9558476 CPUtime=0.19 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31891 31894 28803 0 -1 4202560 1197 0 0 0 19 0 0 0 20 0 18 0 111590184 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141162076728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31911] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111590184 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140141161024632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31912] ppid=31891 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 111590184 9787879424 158474 33554432000 1073741824 1073778376 140734416743392 140140152351944 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9558476
[startup+6.30084 s]
/proc/loadavg: 2.03 2.02 2.00 5/212 31912
/proc/meminfo: memFree=26858092/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9625040 CPUtime=9.11 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 18006 0 1 0 845 66 0 0 20 0 19 0 111590178 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2406260 557033 2277 9 0 2396937 0
[pid=31894/tid=31896] ppid=31891 vsize=9625040 CPUtime=5.66 cores=1,3,5,7
/proc/31894/task/31896/stat : 31896 (java) R 31891 31894 28803 0 -1 4202560 4298 0 1 0 535 31 0 0 20 0 19 0 111590179 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141343355128 140141176603540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31897] ppid=31891 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31891 31894 28803 0 -1 4202560 187 0 0 0 27 6 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141304846632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31898] ppid=31891 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31891 31894 28803 0 -1 4202560 84 0 0 0 20 4 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141303793832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31899] ppid=31891 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31891 31894 28803 0 -1 4202560 217 0 0 0 20 4 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141302741544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31900] ppid=31891 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31891 31894 28803 0 -1 4202560 559 0 0 0 33 7 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141301688744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31901] ppid=31891 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31891 31894 28803 0 -1 4202560 138 0 0 0 20 3 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141300636456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31902] ppid=31891 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31891 31894 28803 0 -1 4202560 76 0 0 0 19 3 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141299583656 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31903] ppid=31891 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31891 31894 28803 0 -1 4202560 201 0 0 0 19 4 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141298531368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31904] ppid=31891 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31891 31894 28803 0 -1 4202560 181 0 0 0 26 4 0 0 20 0 19 0 111590180 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141297478568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31905] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31891 31894 28803 0 -1 4202560 1264 0 0 0 0 0 0 0 20 0 19 0 111590181 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141167339752 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31906] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31891 31894 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141166285816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31907] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141165233416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31908] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141164181904 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31909] ppid=31891 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31891 31894 28803 0 -1 4202560 4648 0 0 0 47 0 0 0 20 0 19 0 111590184 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141163129528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31910] ppid=31891 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31891 31894 28803 0 -1 4202560 4893 0 0 0 65 0 0 0 20 0 19 0 111590184 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141162076728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31911] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140141161024632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31912] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 557033 33554432000 1073741824 1073778376 140734416743392 140140152351944 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.11
Current children cumulated vsize (KiB) 9625040
[startup+12.7009 s]
/proc/loadavg: 2.03 2.02 2.00 4/212 31978
/proc/meminfo: memFree=28514848/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9625040 CPUtime=15.53 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 18007 0 1 0 1485 68 0 0 20 0 19 0 111590178 9856040960 556438 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2406260 556438 2277 9 0 2396937 0
################
# More data... #
################
[pid=31894/tid=31906] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31891 31894 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141166285816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31907] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141165233416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31908] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141164181904 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31909] ppid=31891 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31891 31894 28803 0 -1 4202560 4655 0 0 0 52 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141163129528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31910] ppid=31891 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31891 31894 28803 0 -1 4202560 5619 0 0 0 86 2 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141162076728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31911] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141161024632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31912] ppid=31891 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31891 31894 28803 0 -1 4202560 95 0 0 0 34 47 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140152351944 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31913] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31913/stat : 31913 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590734 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140151296936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.07
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/213 32047
/proc/meminfo: memFree=26775200/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9625040 CPUtime=1726.07 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 18995 0 1 0 172482 125 0 0 20 0 19 0 111590178 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2406260 576444 2285 9 0 2396937 0
[pid=31894/tid=31896] ppid=31891 vsize=9625040 CPUtime=1721.66 cores=1,3,5,7
/proc/31894/task/31896/stat : 31896 (java) R 31891 31894 28803 0 -1 4202560 4305 0 1 0 172101 65 0 0 20 0 19 0 111590179 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141343346368 140141176603540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31897] ppid=31891 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31891 31894 28803 0 -1 4202560 204 0 0 0 29 6 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141304846632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31898] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31891 31894 28803 0 -1 4202560 101 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141303793832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31899] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31891 31894 28803 0 -1 4202560 231 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141302741544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31900] ppid=31891 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31891 31894 28803 0 -1 4202560 596 0 0 0 37 9 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141301688744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31901] ppid=31891 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31891 31894 28803 0 -1 4202560 154 0 0 0 22 4 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141300636456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31902] ppid=31891 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31891 31894 28803 0 -1 4202560 89 0 0 0 20 3 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141299583656 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31903] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31891 31894 28803 0 -1 4202560 225 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141298531368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31904] ppid=31891 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31891 31894 28803 0 -1 4202560 191 0 0 0 27 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141297478568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31905] ppid=31891 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31891 31894 28803 0 -1 4202560 1267 0 0 0 0 3 0 0 20 0 19 0 111590181 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141167339752 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31906] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31891 31894 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141166285816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31907] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141165233416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31908] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141164181904 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31909] ppid=31891 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31891 31894 28803 0 -1 4202560 4655 0 0 0 52 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141163129528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31910] ppid=31891 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31891 31894 28803 0 -1 4202560 5619 0 0 0 86 2 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141162076728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31911] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141161024632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31912] ppid=31891 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31891 31894 28803 0 -1 4202560 99 0 0 0 36 48 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140152351944 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31913] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31913/stat : 31913 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590734 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140151296936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.07
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/213 32048
/proc/meminfo: memFree=26774948/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9625040 CPUtime=1786.09 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 18999 0 1 0 178482 127 0 0 20 0 19 0 111590178 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2406260 576444 2285 9 0 2396937 0
[pid=31894/tid=31896] ppid=31891 vsize=9625040 CPUtime=1781.66 cores=1,3,5,7
/proc/31894/task/31896/stat : 31896 (java) R 31891 31894 28803 0 -1 4202560 4305 0 1 0 178100 66 0 0 20 0 19 0 111590179 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141343346368 140141176603509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31897] ppid=31891 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31891 31894 28803 0 -1 4202560 204 0 0 0 29 6 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141304846632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31898] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31891 31894 28803 0 -1 4202560 101 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141303793832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31899] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31891 31894 28803 0 -1 4202560 231 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141302741544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31900] ppid=31891 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31891 31894 28803 0 -1 4202560 596 0 0 0 37 9 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141301688744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31901] ppid=31891 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31891 31894 28803 0 -1 4202560 154 0 0 0 22 4 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141300636456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31902] ppid=31891 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31891 31894 28803 0 -1 4202560 89 0 0 0 20 3 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141299583656 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31903] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31891 31894 28803 0 -1 4202560 225 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141298531368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31904] ppid=31891 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31891 31894 28803 0 -1 4202560 191 0 0 0 27 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141297478568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31905] ppid=31891 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31891 31894 28803 0 -1 4202560 1267 0 0 0 0 3 0 0 20 0 19 0 111590181 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141167339752 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31906] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31891 31894 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141166285816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31907] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141165233416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31908] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141164181904 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31909] ppid=31891 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31891 31894 28803 0 -1 4202560 4655 0 0 0 52 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141163129528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31910] ppid=31891 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31891 31894 28803 0 -1 4202560 5619 0 0 0 86 2 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141162076728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31911] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141161024632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31912] ppid=31891 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31891 31894 28803 0 -1 4202560 103 0 0 0 37 50 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140152351944 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31913] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31913/stat : 31913 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590734 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140151296936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.09
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.13 2.05 2.01 3/213 32048
/proc/meminfo: memFree=26775196/32872528 swapFree=11320/319964
[pid=31894] ppid=31891 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/31894/stat : 31894 (java) S 31891 31894 28803 0 -1 4202496 18999 0 1 0 179872 128 0 0 20 0 19 0 111590178 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140734416734528 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31894/statm: 2406260 576444 2285 9 0 2396937 0
[pid=31894/tid=31896] ppid=31891 vsize=9625040 CPUtime=1795.56 cores=1,3,5,7
/proc/31894/task/31896/stat : 31896 (java) R 31891 31894 28803 0 -1 4202560 4305 0 1 0 179489 67 0 0 20 0 19 0 111590179 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141343346368 140141176677488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31894/tid=31897] ppid=31891 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/31894/task/31897/stat : 31897 (java) S 31891 31894 28803 0 -1 4202560 204 0 0 0 29 6 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141304846632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31898] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31898/stat : 31898 (java) S 31891 31894 28803 0 -1 4202560 101 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141303793832 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31899] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31899/stat : 31899 (java) S 31891 31894 28803 0 -1 4202560 231 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141302741544 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31900] ppid=31891 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/31894/task/31900/stat : 31900 (java) S 31891 31894 28803 0 -1 4202560 596 0 0 0 37 9 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141301688744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31894/tid=31901] ppid=31891 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/31894/task/31901/stat : 31901 (java) S 31891 31894 28803 0 -1 4202560 154 0 0 0 22 4 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141300636456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31902] ppid=31891 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/31894/task/31902/stat : 31902 (java) S 31891 31894 28803 0 -1 4202560 89 0 0 0 20 3 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141299583656 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31903] ppid=31891 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/31894/task/31903/stat : 31903 (java) S 31891 31894 28803 0 -1 4202560 225 0 0 0 22 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141298531368 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31904] ppid=31891 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/31894/task/31904/stat : 31904 (java) S 31891 31894 28803 0 -1 4202560 191 0 0 0 27 5 0 0 20 0 19 0 111590180 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141297478568 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31905] ppid=31891 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/31894/task/31905/stat : 31905 (java) S 31891 31894 28803 0 -1 4202560 1267 0 0 0 0 3 0 0 20 0 19 0 111590181 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141167339752 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31906] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31906/stat : 31906 (java) S 31891 31894 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141166285816 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31907] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31907/stat : 31907 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590182 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141165233416 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31908] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31908/stat : 31908 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141164181904 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31909] ppid=31891 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/31894/task/31909/stat : 31909 (java) S 31891 31894 28803 0 -1 4202560 4655 0 0 0 52 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141163129528 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31910] ppid=31891 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/31894/task/31910/stat : 31910 (java) S 31891 31894 28803 0 -1 4202560 5619 0 0 0 86 2 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141162076728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31911] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31911/stat : 31911 (java) S 31891 31894 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140141161024632 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31894/tid=31912] ppid=31891 vsize=9625040 CPUtime=0.88 cores=1,3,5,7
/proc/31894/task/31912/stat : 31912 (java) S 31891 31894 28803 0 -1 4202560 103 0 0 0 37 51 0 0 20 0 19 0 111590184 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140152351944 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31894/tid=31913] ppid=31891 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/31894/task/31913/stat : 31913 (java) S 31891 31894 28803 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 111590734 9856040960 576444 33554432000 1073741824 1073778376 140734416743392 140140151296936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31894 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.24
CPU time (s): 1800.61
CPU user time (s): 1798.82
CPU system time (s): 1.79173
CPU usage (%): 100.243
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.79173
maximum resident set size= 2305912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19040
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38331
involuntary context switches= 4078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.85526 second user time and 7.2559 second system time
The end