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-3457498-1307221786/watcher-3457498-1307221786 -o /tmp/evaluation-result-3457498-1307221786/solver-3457498-1307221786 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457498-1307221786.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.99 2.04 2.00 3/533 23161
/proc/meminfo: memFree=19532704/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 7024 0 1 0 0 0 0 0 25 0 2 0 912409241 10694979584 6725 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2611079 6738 917 9 0 2602235 0
[pid=23161/tid=23162] ppid=23159 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 7495 0 1 0 0 0 0 0 25 0 2 0 912409241 10694979584 8311 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0603571 s]
/proc/loadavg: 1.99 2.04 2.00 3/533 23161
/proc/meminfo: memFree=19532704/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 11672 0 1 0 4 1 0 0 25 0 18 0 912409241 10724274176 11368 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2618231 11368 1733 9 0 2608972 0
[pid=23161/tid=23162] ppid=23159 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 10499 0 1 0 4 1 0 0 25 0 18 0 912409241 10724274176 11370 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46961550300696 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.100283 s]
/proc/loadavg: 1.99 2.04 2.00 3/533 23161
/proc/meminfo: memFree=19532704/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10540204 CPUtime=0.1 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 13102 0 1 0 9 1 0 0 25 0 18 0 912409241 10793168896 12796 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2635051 12796 2092 9 0 2625785 0
[pid=23161/tid=23162] ppid=23159 vsize=10540204 CPUtime=0.09 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 11198 0 1 0 8 1 0 0 25 0 18 0 912409241 10793168896 12796 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 18446744073699065904 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540204
[startup+0.300244 s]
/proc/loadavg: 1.99 2.04 2.00 3/533 23161
/proc/meminfo: memFree=19532704/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10545748 CPUtime=0.55 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 18637 0 1 0 53 2 0 0 25 0 19 0 912409241 10798845952 16775 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2636437 16776 2199 9 0 2627171 0
[pid=23161/tid=23162] ppid=23159 vsize=10545748 CPUtime=0.28 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 13548 0 1 0 27 1 0 0 25 0 19 0 912409241 10798845952 16776 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10545748
[startup+0.700233 s]
/proc/loadavg: 1.99 2.04 2.00 3/533 23161
/proc/meminfo: memFree=19532704/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10551752 CPUtime=1.61 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 44262 0 1 0 156 5 0 0 25 0 19 0 912409241 10804994048 37953 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2637938 37958 2223 9 0 2628672 0
[pid=23161/tid=23162] ppid=23159 vsize=10551752 CPUtime=0.68 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 31133 0 1 0 65 3 0 0 18 0 19 0 912409241 10804994048 37961 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505544567 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 10551752
[startup+1.50109 s]
/proc/loadavg: 1.99 2.04 2.00 3/552 23180
/proc/meminfo: memFree=19275588/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10551752 CPUtime=2.5 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 100624 0 1 0 238 12 0 0 25 0 19 0 912409241 10804994048 94314 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2637938 94314 2225 9 0 2628672 0
[pid=23161/tid=23162] ppid=23159 vsize=10551752 CPUtime=1.48 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 87474 0 1 0 138 10 0 0 18 0 19 0 912409241 10804994048 94315 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505581776 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23161/tid=23164] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94315 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23165] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94315 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23166] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94316 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23167] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94316 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23168] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23169] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23170] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23171] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23172] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23161 22299 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912409244 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 0 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23173] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23161 22299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912409245 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23174] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409245 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23175] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427215281 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23176] ppid=23159 vsize=10551752 CPUtime=0.49 cores=1,3,5,7
/proc/23161/task/23176/stat : 23176 (java) S 23159 23161 22299 0 -1 4202560 5613 0 0 0 49 0 0 0 15 0 19 0 912409247 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 5 0 0 0
[pid=23161/tid=23177] ppid=23159 vsize=10551752 CPUtime=0.49 cores=1,3,5,7
/proc/23161/task/23177/stat : 23177 (java) S 23159 23161 22299 0 -1 4202560 6377 0 0 0 49 0 0 0 15 0 19 0 912409247 10804994048 94317 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23178] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23178/stat : 23178 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10804994048 94318 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23179] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23179/stat : 23179 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912409247 10804994048 94318 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23180] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23180/stat : 23180 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409256 10804994048 94319 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 10551752
[startup+3.10077 s]
/proc/loadavg: 1.99 2.04 2.00 4/552 23181
/proc/meminfo: memFree=19013948/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10551752 CPUtime=4.12 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 163122 0 1 0 393 19 0 0 25 0 19 0 912409241 10804994048 156812 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2637938 156812 2225 9 0 2628672 0
[pid=23161/tid=23162] ppid=23159 vsize=10551752 CPUtime=3.09 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 149969 0 1 0 292 17 0 0 21 0 19 0 912409241 10804994048 156812 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505581776 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23161/tid=23164] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156812 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23165] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156814 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23166] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156814 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23167] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156814 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23168] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156814 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23169] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156814 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23170] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156814 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23171] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10804994048 156815 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23172] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23161 22299 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912409244 10804994048 156815 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 0 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23173] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23161 22299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912409245 10804994048 156815 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23174] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409245 10804994048 156815 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23175] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10804994048 156815 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427215281 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23176] ppid=23159 vsize=10551752 CPUtime=0.5 cores=1,3,5,7
/proc/23161/task/23176/stat : 23176 (java) S 23159 23161 22299 0 -1 4202560 5615 0 0 0 50 0 0 0 15 0 19 0 912409247 10804994048 156815 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 5 0 0 0
[pid=23161/tid=23177] ppid=23159 vsize=10551752 CPUtime=0.49 cores=1,3,5,7
/proc/23161/task/23177/stat : 23177 (java) S 23159 23161 22299 0 -1 4202560 6377 0 0 0 49 0 0 0 15 0 19 0 912409247 10804994048 156816 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23178] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23178/stat : 23178 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10804994048 156816 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23179] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23179/stat : 23179 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912409247 10804994048 156816 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23180] ppid=23159 vsize=10551752 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23180/stat : 23180 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409256 10804994048 156816 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 10551752
[startup+6.30118 s]
/proc/loadavg: 1.99 2.04 2.00 3/552 23181
/proc/meminfo: memFree=18740084/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10549384 CPUtime=7.31 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 204922 0 1 0 707 24 0 0 25 0 19 0 912409241 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2637346 198250 2226 9 0 2628080 0
[pid=23161/tid=23162] ppid=23159 vsize=10549384 CPUtime=6.29 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 191768 0 1 0 607 22 0 0 21 0 19 0 912409241 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505779898 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23161/tid=23164] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23165] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23166] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23167] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23168] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23169] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23170] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23171] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409243 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23172] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23161 22299 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912409244 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 0 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23173] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23161 22299 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912409245 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23174] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409245 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23175] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427215281 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23176] ppid=23159 vsize=10549384 CPUtime=0.5 cores=1,3,5,7
/proc/23161/task/23176/stat : 23176 (java) S 23159 23161 22299 0 -1 4202560 5615 0 0 0 50 0 0 0 15 0 19 0 912409247 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 5 0 0 0
[pid=23161/tid=23177] ppid=23159 vsize=10549384 CPUtime=0.49 cores=1,3,5,7
/proc/23161/task/23177/stat : 23177 (java) S 23159 23161 22299 0 -1 4202560 6377 0 0 0 49 0 0 0 15 0 19 0 912409247 10802569216 198250 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/23161/task/23174/stat : 23174 (java) S 23159 23161 22299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912409245 10802569216 882683 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23175] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 882683 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427215281 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23176] ppid=23159 vsize=10549384 CPUtime=0.51 cores=1,3,5,7
/proc/23161/task/23176/stat : 23176 (java) S 23159 23161 22299 0 -1 4202560 5618 0 0 0 51 0 0 0 15 0 19 0 912409247 10802569216 882683 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 5 0 0 0
[pid=23161/tid=23177] ppid=23159 vsize=10549384 CPUtime=0.53 cores=1,3,5,7
/proc/23161/task/23177/stat : 23177 (java) S 23159 23161 22299 0 -1 4202560 6391 0 0 0 53 0 0 0 15 0 19 0 912409247 10802569216 882683 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23178] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23178/stat : 23178 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 882683 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23179] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23179/stat : 23179 (java) S 23159 23161 22299 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 912409247 10802569216 882683 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23180] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23180/stat : 23180 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409256 10802569216 882683 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1663.68
Current children cumulated vsize (KiB) 10549384
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/552 23226
/proc/meminfo: memFree=15616900/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10549384 CPUtime=1723.7 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 900707 0 1 0 172270 100 0 0 25 0 19 0 912409241 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2637346 891242 2240 9 0 2628080 0
[pid=23161/tid=23162] ppid=23159 vsize=10549384 CPUtime=1722.14 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 762714 0 1 0 172133 81 0 0 25 0 19 0 912409241 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505551088 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23161/tid=23164] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23161 22299 0 -1 4202560 10829 0 0 0 3 1 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23165] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23161 22299 0 -1 4202560 12289 0 0 0 3 1 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23166] ppid=23159 vsize=10549384 CPUtime=0.08 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23161 22299 0 -1 4202560 29407 0 0 0 4 4 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23167] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23161 22299 0 -1 4202560 10598 0 0 0 3 1 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23168] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23161 22299 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23169] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23161 22299 0 -1 4202560 16094 0 0 0 2 2 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23170] ppid=23159 vsize=10549384 CPUtime=0.07 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23161 22299 0 -1 4202560 20235 0 0 0 5 2 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23171] ppid=23159 vsize=10549384 CPUtime=0.09 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23161 22299 0 -1 4202560 25187 0 0 0 7 2 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23172] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23161 22299 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 912409244 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 0 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23173] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23161 22299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912409245 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23174] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23161 22299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912409245 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23175] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427215281 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23176] ppid=23159 vsize=10549384 CPUtime=0.51 cores=1,3,5,7
/proc/23161/task/23176/stat : 23176 (java) S 23159 23161 22299 0 -1 4202560 5618 0 0 0 51 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 5 0 0 0
[pid=23161/tid=23177] ppid=23159 vsize=10549384 CPUtime=0.53 cores=1,3,5,7
/proc/23161/task/23177/stat : 23177 (java) S 23159 23161 22299 0 -1 4202560 6391 0 0 0 53 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23178] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23178/stat : 23178 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23179] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23179/stat : 23179 (java) S 23159 23161 22299 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23180] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23180/stat : 23180 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409256 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.7
Current children cumulated vsize (KiB) 10549384
[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/552 23279
/proc/meminfo: memFree=16781364/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10549384 CPUtime=1783.71 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 900711 0 1 0 178271 100 0 0 25 0 19 0 912409241 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2637346 891242 2240 9 0 2628080 0
[pid=23161/tid=23162] ppid=23159 vsize=10549384 CPUtime=1782.14 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 762714 0 1 0 178133 81 0 0 25 0 19 0 912409241 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505582431 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23161/tid=23164] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23161 22299 0 -1 4202560 10829 0 0 0 3 1 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23165] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23161 22299 0 -1 4202560 12289 0 0 0 3 1 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23166] ppid=23159 vsize=10549384 CPUtime=0.08 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23161 22299 0 -1 4202560 29407 0 0 0 4 4 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23167] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23161 22299 0 -1 4202560 10598 0 0 0 3 1 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23168] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23161 22299 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23169] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23161 22299 0 -1 4202560 16094 0 0 0 2 2 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23170] ppid=23159 vsize=10549384 CPUtime=0.07 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23161 22299 0 -1 4202560 20235 0 0 0 5 2 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23171] ppid=23159 vsize=10549384 CPUtime=0.09 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23161 22299 0 -1 4202560 25187 0 0 0 7 2 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23172] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23161 22299 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 912409244 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 0 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23173] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23161 22299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912409245 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23174] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23161 22299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912409245 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23175] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427215281 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23176] ppid=23159 vsize=10549384 CPUtime=0.51 cores=1,3,5,7
/proc/23161/task/23176/stat : 23176 (java) S 23159 23161 22299 0 -1 4202560 5618 0 0 0 51 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 5 0 0 0
[pid=23161/tid=23177] ppid=23159 vsize=10549384 CPUtime=0.53 cores=1,3,5,7
/proc/23161/task/23177/stat : 23177 (java) S 23159 23161 22299 0 -1 4202560 6391 0 0 0 53 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23178] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23178/stat : 23178 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23179] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23179/stat : 23179 (java) S 23159 23161 22299 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23180] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23180/stat : 23180 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409256 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.71
Current children cumulated vsize (KiB) 10549384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.62 s]
/proc/loadavg: 2.11 2.06 2.01 3/552 23279
/proc/meminfo: memFree=15967612/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=10549384 CPUtime=1800.04 cores=1,3,5,7
/proc/23161/stat : 23161 (java) S 23159 23161 22299 0 -1 4202496 900713 0 1 0 179904 100 0 0 25 0 19 0 912409241 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 2637346 891242 2240 9 0 2628080 0
[pid=23161/tid=23162] ppid=23159 vsize=10549384 CPUtime=1798.48 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4202560 762714 0 1 0 179767 81 0 0 25 0 19 0 912409241 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 46912505616842 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23161/tid=23164] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23164/stat : 23164 (java) S 23159 23161 22299 0 -1 4202560 10829 0 0 0 3 1 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23165] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23165/stat : 23165 (java) S 23159 23161 22299 0 -1 4202560 12289 0 0 0 3 1 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23166] ppid=23159 vsize=10549384 CPUtime=0.08 cores=1,3,5,7
/proc/23161/task/23166/stat : 23166 (java) S 23159 23161 22299 0 -1 4202560 29407 0 0 0 4 4 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23167] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23167/stat : 23167 (java) S 23159 23161 22299 0 -1 4202560 10598 0 0 0 3 1 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23168] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23168/stat : 23168 (java) S 23159 23161 22299 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23169] ppid=23159 vsize=10549384 CPUtime=0.04 cores=1,3,5,7
/proc/23161/task/23169/stat : 23169 (java) S 23159 23161 22299 0 -1 4202560 16094 0 0 0 2 2 0 0 15 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23170] ppid=23159 vsize=10549384 CPUtime=0.07 cores=1,3,5,7
/proc/23161/task/23170/stat : 23170 (java) S 23159 23161 22299 0 -1 4202560 20235 0 0 0 5 2 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23171] ppid=23159 vsize=10549384 CPUtime=0.09 cores=1,3,5,7
/proc/23161/task/23171/stat : 23171 (java) S 23159 23161 22299 0 -1 4202560 25187 0 0 0 7 2 0 0 16 0 19 0 912409243 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 7 0 0 0
[pid=23161/tid=23172] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23172/stat : 23172 (java) S 23159 23161 22299 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 912409244 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 0 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23173] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23173/stat : 23173 (java) S 23159 23161 22299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 912409245 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23174] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23174/stat : 23174 (java) S 23159 23161 22299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912409245 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23175] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23175/stat : 23175 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427215281 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23176] ppid=23159 vsize=10549384 CPUtime=0.51 cores=1,3,5,7
/proc/23161/task/23176/stat : 23176 (java) S 23159 23161 22299 0 -1 4202560 5618 0 0 0 51 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 5 0 0 0
[pid=23161/tid=23177] ppid=23159 vsize=10549384 CPUtime=0.53 cores=1,3,5,7
/proc/23161/task/23177/stat : 23177 (java) S 23159 23161 22299 0 -1 4202560 6391 0 0 0 53 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23178] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23178/stat : 23178 (java) S 23159 23161 22299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427207577 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
[pid=23161/tid=23179] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23179/stat : 23179 (java) S 23159 23161 22299 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 912409247 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 1 0 0 0
[pid=23161/tid=23180] ppid=23159 vsize=10549384 CPUtime=0 cores=1,3,5,7
/proc/23161/task/23180/stat : 23180 (java) S 23159 23161 22299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912409256 10802569216 891242 33554432000 1073741824 1073778376 140736416829984 18446744073709551615 256427208192 0 4 0 16800975 18446604458088035648 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10549384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.73 s]
/proc/loadavg: 2.11 2.06 2.01 3/552 23279
/proc/meminfo: memFree=15967612/32950928 swapFree=58671692/67111528
[pid=23161] ppid=23159 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/23161/stat : 23161 (java) Z 23159 23161 22299 0 -1 4203548 900743 0 1 0 179905 108 0 0 17 0 2 0 912409241 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23161/statm: 0 0 0 0 0 0 0
[pid=23161/tid=23162] ppid=23159 vsize=0 CPUtime=1798.57 cores=1,3,5,7
/proc/23161/task/23162/stat : 23162 (java) R 23159 23161 22299 0 -1 4203588 762714 0 1 0 179768 89 0 0 25 0 2 0 912409241 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.78
CPU time (s): 1800.19
CPU user time (s): 1799.06
CPU system time (s): 1.13783
CPU usage (%): 100.079
Max. virtual memory (cumulated for all children) (KiB): 10555704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.13783
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 900743
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= 36883
involuntary context switches= 2781
runsolver used 9.13761 second user time and 21.4047 second system time
The end