runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311827-1304187503/watcher-3311827-1304187503 -o /tmp/evaluation-result-3311827-1304187503/solver-3311827-1304187503 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311827-1304187503.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.16 8.11 8.08 6/198 24356
/proc/meminfo: memFree=23148776/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/24356/stat : 24356 (java) R 24354 24356 24018 0 -1 4202496 929 0 0 0 0 0 0 0 25 0 1 0 530350741 23580672 414 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244441982720 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24356/statm: 5757 428 330 9 0 124 0
[startup+0.0377441 s]
/proc/loadavg: 8.16 8.11 8.08 6/198 24356
/proc/meminfo: memFree=23148776/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15604248 CPUtime=0.02 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 3671 0 1 0 2 0 0 0 25 0 13 0 530350741 15978749952 3109 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3901062 3111 1677 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248
[startup+0.100753 s]
/proc/loadavg: 8.16 8.11 8.08 6/198 24356
/proc/meminfo: memFree=23148776/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15676352 CPUtime=0.09 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 5514 0 1 0 9 0 0 0 25 0 18 0 530350741 16052584448 4952 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3919088 4953 2117 9 0 3909807 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676352
[startup+0.300687 s]
/proc/loadavg: 8.16 8.11 8.08 6/198 24356
/proc/meminfo: memFree=23148776/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15683080 CPUtime=0.52 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 11904 0 1 0 50 2 0 0 25 0 22 0 530350741 16059473920 10311 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3920770 10311 2216 9 0 3911489 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15683080
[startup+0.802493 s]
/proc/loadavg: 8.16 8.11 8.08 6/198 24356
/proc/meminfo: memFree=23148776/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15706912 CPUtime=2.12 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 38481 0 1 0 207 5 0 0 25 0 22 0 530350741 16083877888 32243 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3926728 32245 2258 9 0 3917447 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 15706912
[startup+1.50143 s]
/proc/loadavg: 7.91 8.06 8.06 12/220 24378
/proc/meminfo: memFree=22964772/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15706912 CPUtime=4.91 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 61346 0 1 0 483 8 0 0 25 0 22 0 530350741 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3926728 52477 2272 9 0 3917447 0
[pid=24356/tid=24358] ppid=24354 vsize=15706912 CPUtime=0.41 cores=0,2,4,6
/proc/24356/task/24358/stat : 24358 (java) S 24354 24356 24018 0 -1 4202560 7302 0 1 0 40 1 0 0 18 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24018 0 -1 4202560 625 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24018 0 -1 4202560 765 0 0 0 0 0 0 0 16 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24018 0 -1 4202560 1429 0 0 0 0 0 0 0 16 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24018 0 -1 4202560 1409 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24018 0 -1 4202560 681 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24018 0 -1 4202560 376 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24018 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 530350743 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 0 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24368/stat : 24368 (java) R 24354 24356 24018 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458771125 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24018 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 530350744 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458768817 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=15706912 CPUtime=0.56 cores=0,2,4,6
/proc/24356/task/24371/stat : 24371 (java) R 24354 24356 24018 0 -1 4202560 5500 0 0 0 56 0 0 0 25 0 22 0 530350746 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 48005192348390 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=15706912 CPUtime=1.23 cores=0,2,4,6
/proc/24356/task/24372/stat : 24372 (java) R 24354 24356 24018 0 -1 4202560 13597 0 0 0 122 1 0 0 18 0 22 0 530350746 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 48005192340581 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530350746 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=15706912 CPUtime=0.93 cores=0,2,4,6
/proc/24356/task/24375/stat : 24375 (java) R 24354 24356 24018 0 -1 4202560 9531 0 0 0 93 0 0 0 19 0 22 0 530350768 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505719392 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24356/tid=24376] ppid=24354 vsize=15706912 CPUtime=0.41 cores=0,2,4,6
/proc/24356/task/24376/stat : 24376 (java) R 24354 24356 24018 0 -1 4202560 4522 0 0 0 41 0 0 0 18 0 22 0 530350768 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458771125 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24356/tid=24377] ppid=24354 vsize=15706912 CPUtime=0.47 cores=0,2,4,6
/proc/24356/task/24377/stat : 24377 (java) R 24354 24356 24018 0 -1 4202560 5191 0 0 0 47 0 0 0 17 0 22 0 530350768 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505216005 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24356/tid=24378] ppid=24354 vsize=15706912 CPUtime=0.79 cores=0,2,4,6
/proc/24356/task/24378/stat : 24378 (java) R 24354 24356 24018 0 -1 4202560 8956 0 0 0 78 1 0 0 16 0 22 0 530350768 16083877888 52477 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505868083 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 15706912
[startup+3.10113 s]
/proc/loadavg: 7.91 8.06 8.06 10/220 24378
/proc/meminfo: memFree=22814608/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15706912 CPUtime=11.28 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 158359 0 1 0 1107 21 0 0 25 0 22 0 530350741 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3926728 149119 2284 9 0 3917447 0
[pid=24356/tid=24358] ppid=24354 vsize=15706912 CPUtime=0.41 cores=0,2,4,6
/proc/24356/task/24358/stat : 24358 (java) S 24354 24356 24018 0 -1 4202560 7302 0 1 0 40 1 0 0 18 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24018 0 -1 4202560 2276 0 0 0 0 0 0 0 16 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24018 0 -1 4202560 2328 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=15706912 CPUtime=0.01 cores=0,2,4,6
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24018 0 -1 4202560 2808 0 0 0 1 0 0 0 16 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24018 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24018 0 -1 4202560 2946 0 0 0 0 0 0 0 16 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24018 0 -1 4202560 2857 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24018 0 -1 4202560 2204 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24018 0 -1 4202560 1792 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24018 0 -1 4202560 444 0 0 0 0 0 0 0 16 0 22 0 530350743 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 0 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24018 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24018 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458768817 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=15706912 CPUtime=0.66 cores=0,2,4,6
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24018 0 -1 4202560 5773 0 0 0 66 0 0 0 19 0 22 0 530350746 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=15706912 CPUtime=1.36 cores=0,2,4,6
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24018 0 -1 4202560 13619 0 0 0 135 1 0 0 15 0 22 0 530350746 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530350746 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=15706912 CPUtime=2.33 cores=0,2,4,6
/proc/24356/task/24375/stat : 24375 (java) R 24354 24356 24018 0 -1 4202560 27930 0 0 0 230 3 0 0 21 0 22 0 530350768 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505690957 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24356/tid=24376] ppid=24354 vsize=15706912 CPUtime=1.95 cores=0,2,4,6
/proc/24356/task/24376/stat : 24376 (java) R 24354 24356 24018 0 -1 4202560 27010 0 0 0 192 3 0 0 20 0 22 0 530350768 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505690994 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24356/tid=24377] ppid=24354 vsize=15706912 CPUtime=2.04 cores=0,2,4,6
/proc/24356/task/24377/stat : 24377 (java) R 24354 24356 24018 0 -1 4202560 26185 0 0 0 201 3 0 0 19 0 22 0 530350768 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24356/tid=24378] ppid=24354 vsize=15706912 CPUtime=2.37 cores=0,2,4,6
/proc/24356/task/24378/stat : 24378 (java) R 24354 24356 24018 0 -1 4202560 31344 0 0 0 234 3 0 0 18 0 22 0 530350768 16083877888 149119 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505676433 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.28
Current children cumulated vsize (KiB) 15706912
[startup+6.30154 s]
/proc/loadavg: 7.92 8.05 8.06 9/220 24378
/proc/meminfo: memFree=22083260/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15706912 CPUtime=24.05 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 284743 0 1 0 2367 38 0 0 25 0 22 0 530350741 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3926728 273880 2287 9 0 3917447 0
[pid=24356/tid=24358] ppid=24354 vsize=15706912 CPUtime=0.41 cores=0,2,4,6
/proc/24356/task/24358/stat : 24358 (java) S 24354 24356 24018 0 -1 4202560 7302 0 1 0 40 1 0 0 18 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24018 0 -1 4202560 2406 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24018 0 -1 4202560 2386 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=15706912 CPUtime=0.01 cores=0,2,4,6
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24018 0 -1 4202560 2814 0 0 0 1 0 0 0 16 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24018 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=15706912 CPUtime=0.01 cores=0,2,4,6
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24018 0 -1 4202560 3168 0 0 0 1 0 0 0 15 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24018 0 -1 4202560 3079 0 0 0 0 0 0 0 16 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24018 0 -1 4202560 2526 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24018 0 -1 4202560 2315 0 0 0 0 0 0 0 15 0 22 0 530350742 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24018 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 22 0 530350743 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 0 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24018 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24018 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458768817 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=15706912 CPUtime=0.74 cores=0,2,4,6
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24018 0 -1 4202560 6379 0 0 0 73 1 0 0 15 0 22 0 530350746 16083877888 273880 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=24356/tid=24376] ppid=24354 vsize=15706912 CPUtime=1107.75 cores=0,2,4,6
/proc/24356/task/24376/stat : 24376 (java) R 24354 24356 24018 0 -1 4202560 231192 0 0 0 110735 40 0 0 25 0 22 0 530350768 16083877888 88494 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 48005195339429 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24356/tid=24377] ppid=24354 vsize=15706912 CPUtime=1108.13 cores=0,2,4,6
/proc/24356/task/24377/stat : 24377 (java) R 24354 24356 24018 0 -1 4202560 227595 0 0 0 110778 35 0 0 25 0 22 0 530350768 16083877888 88494 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 48005195338474 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24356/tid=24378] ppid=24354 vsize=15706912 CPUtime=1108.43 cores=0,2,4,6
/proc/24356/task/24378/stat : 24378 (java) R 24354 24356 24018 0 -1 4202560 237334 0 0 0 110801 42 0 0 25 0 22 0 530350768 16083877888 88494 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912506255980 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4461.95
Current children cumulated vsize (KiB) 15706912
[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 8.08 9/220 24460
/proc/meminfo: memFree=22780004/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15706912 CPUtime=4700.44 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 1616977 0 1 0 469655 389 0 0 25 0 22 0 530350741 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3926728 81336 2298 9 0 3917447 0
[pid=24356/tid=24358] ppid=24354 vsize=15706912 CPUtime=0.41 cores=0,2,4,6
/proc/24356/task/24358/stat : 24358 (java) S 24354 24356 24018 0 -1 4202560 7302 0 1 0 40 1 0 0 18 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=15706912 CPUtime=3.2 cores=0,2,4,6
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24018 0 -1 4202560 75711 0 0 0 304 16 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=15706912 CPUtime=3.21 cores=0,2,4,6
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24018 0 -1 4202560 76657 0 0 0 302 19 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=15706912 CPUtime=3.14 cores=0,2,4,6
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24018 0 -1 4202560 81382 0 0 0 297 17 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=15706912 CPUtime=3.12 cores=0,2,4,6
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24018 0 -1 4202560 72825 0 0 0 296 16 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=15706912 CPUtime=3.14 cores=0,2,4,6
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24018 0 -1 4202560 76198 0 0 0 297 17 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=15706912 CPUtime=3.08 cores=0,2,4,6
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24018 0 -1 4202560 75112 0 0 0 289 19 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=15706912 CPUtime=3.18 cores=0,2,4,6
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24018 0 -1 4202560 80441 0 0 0 302 16 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=15706912 CPUtime=3.18 cores=0,2,4,6
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24018 0 -1 4202560 80042 0 0 0 299 19 0 0 15 0 22 0 530350742 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=15706912 CPUtime=2.32 cores=0,2,4,6
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24018 0 -1 4202560 3977 0 0 0 159 73 0 0 15 0 22 0 530350743 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 0 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24018 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24018 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458768817 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=15706912 CPUtime=0.83 cores=0,2,4,6
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24018 0 -1 4202560 6404 0 0 0 82 1 0 0 15 0 22 0 530350746 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=15706912 CPUtime=1.44 cores=0,2,4,6
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24018 0 -1 4202560 13632 0 0 0 143 1 0 0 16 0 22 0 530350746 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24018 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 530350746 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=15706912 CPUtime=1167.86 cores=0,2,4,6
/proc/24356/task/24375/stat : 24375 (java) R 24354 24356 24018 0 -1 4202560 244551 0 0 0 116743 43 0 0 25 0 22 0 530350768 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912506185337 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24356/tid=24376] ppid=24354 vsize=15706912 CPUtime=1167.1 cores=0,2,4,6
/proc/24356/task/24376/stat : 24376 (java) R 24354 24356 24018 0 -1 4202560 238946 0 0 0 116668 42 0 0 25 0 22 0 530350768 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912506188311 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24356/tid=24377] ppid=24354 vsize=15706912 CPUtime=1167.26 cores=0,2,4,6
/proc/24356/task/24377/stat : 24377 (java) R 24354 24356 24018 0 -1 4202560 235935 0 0 0 116690 36 0 0 25 0 22 0 530350768 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505749033 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24356/tid=24378] ppid=24354 vsize=15706912 CPUtime=1167.77 cores=0,2,4,6
/proc/24356/task/24378/stat : 24378 (java) R 24354 24356 24018 0 -1 4202560 246411 0 0 0 116733 44 0 0 25 0 22 0 530350768 16083877888 81336 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505728338 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4700.44
Current children cumulated vsize (KiB) 15706912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.4 s]
/proc/loadavg: 8.08 8.09 8.08 9/220 24461
/proc/meminfo: memFree=22747500/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15706912 CPUtime=4800.31 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 1668798 0 1 0 479633 398 0 0 25 0 22 0 530350741 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3926728 101401 2298 9 0 3917447 0
[pid=24356/tid=24358] ppid=24354 vsize=15706912 CPUtime=0.41 cores=0,2,4,6
/proc/24356/task/24358/stat : 24358 (java) S 24354 24356 24018 0 -1 4202560 7302 0 1 0 40 1 0 0 18 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=15706912 CPUtime=3.28 cores=0,2,4,6
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24018 0 -1 4202560 78013 0 0 0 311 17 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=15706912 CPUtime=3.28 cores=0,2,4,6
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24018 0 -1 4202560 78675 0 0 0 309 19 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=15706912 CPUtime=3.22 cores=0,2,4,6
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24018 0 -1 4202560 83061 0 0 0 304 18 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=15706912 CPUtime=3.21 cores=0,2,4,6
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24018 0 -1 4202560 75348 0 0 0 304 17 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=15706912 CPUtime=3.23 cores=0,2,4,6
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24018 0 -1 4202560 78679 0 0 0 305 18 0 0 16 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=15706912 CPUtime=3.15 cores=0,2,4,6
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24018 0 -1 4202560 77710 0 0 0 296 19 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=15706912 CPUtime=3.24 cores=0,2,4,6
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24018 0 -1 4202560 82471 0 0 0 308 16 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=15706912 CPUtime=3.24 cores=0,2,4,6
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24018 0 -1 4202560 81552 0 0 0 305 19 0 0 16 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=15706912 CPUtime=2.37 cores=0,2,4,6
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24018 0 -1 4202560 4097 0 0 0 162 75 0 0 16 0 22 0 530350743 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 0 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24018 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24018 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458768817 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=15706912 CPUtime=0.83 cores=0,2,4,6
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24018 0 -1 4202560 6404 0 0 0 82 1 0 0 15 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=15706912 CPUtime=1.44 cores=0,2,4,6
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24018 0 -1 4202560 13632 0 0 0 143 1 0 0 16 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24018 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=15706912 CPUtime=1192.71 cores=0,2,4,6
/proc/24356/task/24375/stat : 24375 (java) R 24354 24356 24018 0 -1 4202560 253399 0 0 0 119226 45 0 0 22 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912506094343 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24356/tid=24376] ppid=24354 vsize=15706912 CPUtime=1191.95 cores=0,2,4,6
/proc/24356/task/24376/stat : 24376 (java) R 24354 24356 24018 0 -1 4202560 247148 0 0 0 119152 43 0 0 25 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505749178 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24356/tid=24377] ppid=24354 vsize=15706912 CPUtime=1192.1 cores=0,2,4,6
/proc/24356/task/24377/stat : 24377 (java) R 24354 24356 24018 0 -1 4202560 244343 0 0 0 119174 36 0 0 25 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912506186551 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24356/tid=24378] ppid=24354 vsize=15706912 CPUtime=1192.48 cores=0,2,4,6
/proc/24356/task/24378/stat : 24378 (java) R 24354 24356 24018 0 -1 4202560 255511 0 0 0 119204 44 0 0 25 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505676416 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 15706912
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.4 s]
/proc/loadavg: 8.08 8.09 8.08 9/220 24461
/proc/meminfo: memFree=22747500/32951124 swapFree=67111524/67111528
[pid=24356] ppid=24354 vsize=15706912 CPUtime=4800.31 cores=0,2,4,6
/proc/24356/stat : 24356 (java) S 24354 24356 24018 0 -1 4202496 1668798 0 1 0 479633 398 0 0 25 0 22 0 530350741 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24356/statm: 3926728 101401 2298 9 0 3917447 0
[pid=24356/tid=24358] ppid=24354 vsize=15706912 CPUtime=0.41 cores=0,2,4,6
/proc/24356/task/24358/stat : 24358 (java) S 24354 24356 24018 0 -1 4202560 7302 0 1 0 40 1 0 0 18 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24359] ppid=24354 vsize=15706912 CPUtime=3.28 cores=0,2,4,6
/proc/24356/task/24359/stat : 24359 (java) S 24354 24356 24018 0 -1 4202560 78013 0 0 0 311 17 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24360] ppid=24354 vsize=15706912 CPUtime=3.28 cores=0,2,4,6
/proc/24356/task/24360/stat : 24360 (java) S 24354 24356 24018 0 -1 4202560 78675 0 0 0 309 19 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24361] ppid=24354 vsize=15706912 CPUtime=3.22 cores=0,2,4,6
/proc/24356/task/24361/stat : 24361 (java) S 24354 24356 24018 0 -1 4202560 83061 0 0 0 304 18 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24362] ppid=24354 vsize=15706912 CPUtime=3.21 cores=0,2,4,6
/proc/24356/task/24362/stat : 24362 (java) S 24354 24356 24018 0 -1 4202560 75348 0 0 0 304 17 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24363] ppid=24354 vsize=15706912 CPUtime=3.23 cores=0,2,4,6
/proc/24356/task/24363/stat : 24363 (java) S 24354 24356 24018 0 -1 4202560 78679 0 0 0 305 18 0 0 16 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24364] ppid=24354 vsize=15706912 CPUtime=3.15 cores=0,2,4,6
/proc/24356/task/24364/stat : 24364 (java) S 24354 24356 24018 0 -1 4202560 77710 0 0 0 296 19 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 6 0 0 0
[pid=24356/tid=24365] ppid=24354 vsize=15706912 CPUtime=3.24 cores=0,2,4,6
/proc/24356/task/24365/stat : 24365 (java) S 24354 24356 24018 0 -1 4202560 82471 0 0 0 308 16 0 0 15 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24366] ppid=24354 vsize=15706912 CPUtime=3.24 cores=0,2,4,6
/proc/24356/task/24366/stat : 24366 (java) S 24354 24356 24018 0 -1 4202560 81552 0 0 0 305 19 0 0 16 0 22 0 530350742 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 4 0 0 0
[pid=24356/tid=24367] ppid=24354 vsize=15706912 CPUtime=2.37 cores=0,2,4,6
/proc/24356/task/24367/stat : 24367 (java) S 24354 24356 24018 0 -1 4202560 4097 0 0 0 162 75 0 0 16 0 22 0 530350743 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 0 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24368] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24368/stat : 24368 (java) S 24354 24356 24018 0 -1 4202560 19 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24369] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24369/stat : 24369 (java) S 24354 24356 24018 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 530350744 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24370] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24370/stat : 24370 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458768817 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24371] ppid=24354 vsize=15706912 CPUtime=0.83 cores=0,2,4,6
/proc/24356/task/24371/stat : 24371 (java) S 24354 24356 24018 0 -1 4202560 6404 0 0 0 82 1 0 0 15 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24372] ppid=24354 vsize=15706912 CPUtime=1.44 cores=0,2,4,6
/proc/24356/task/24372/stat : 24372 (java) S 24354 24356 24018 0 -1 4202560 13632 0 0 0 143 1 0 0 16 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24373] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24373/stat : 24373 (java) S 24354 24356 24018 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761113 0 4 0 16800975 18446604453868975360 0 0 -1 2 0 0 0
[pid=24356/tid=24374] ppid=24354 vsize=15706912 CPUtime=0 cores=0,2,4,6
/proc/24356/task/24374/stat : 24374 (java) S 24354 24356 24018 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 530350746 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 244458761728 0 4 0 16800975 18446604453868975360 0 0 -1 0 0 0 0
[pid=24356/tid=24375] ppid=24354 vsize=15706912 CPUtime=1192.71 cores=0,2,4,6
/proc/24356/task/24375/stat : 24375 (java) R 24354 24356 24018 0 -1 4202560 253399 0 0 0 119226 45 0 0 22 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912506094343 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24356/tid=24376] ppid=24354 vsize=15706912 CPUtime=1191.95 cores=0,2,4,6
/proc/24356/task/24376/stat : 24376 (java) R 24354 24356 24018 0 -1 4202560 247148 0 0 0 119152 43 0 0 25 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505749178 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24356/tid=24377] ppid=24354 vsize=15706912 CPUtime=1192.1 cores=0,2,4,6
/proc/24356/task/24377/stat : 24377 (java) R 24354 24356 24018 0 -1 4202560 244343 0 0 0 119174 36 0 0 25 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912506186551 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24356/tid=24378] ppid=24354 vsize=15706912 CPUtime=1192.48 cores=0,2,4,6
/proc/24356/task/24378/stat : 24378 (java) R 24354 24356 24018 0 -1 4202560 255511 0 0 0 119204 44 0 0 25 0 22 0 530350768 16083877888 101401 33554432000 1073741824 1073778376 140733315518096 18446744073709551615 46912505676416 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 15706912
Child status: 143
Real time (s): 1207.44
CPU time (s): 4800.37
CPU user time (s): 4796.37
CPU system time (s): 4.00139
CPU usage (%): 397.567
Max. virtual memory (cumulated for all children) (KiB): 15709416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.37
system time used= 4.00139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1668824
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= 300625
involuntary context switches= 155694
runsolver used 1.9547 second user time and 4.68329 second system time
The end