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-3312228-1304185503/watcher-3312228-1304185503 -o /tmp/evaluation-result-3312228-1304185503/solver-3312228-1304185503 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312228-1304185503.cnf -hbr 2
running on 4 cores: 1,3,5,7
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.13 8.09 8.00 5/198 30157
/proc/meminfo: memFree=29600308/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/30157/stat : 30157 (java) R 30155 30157 29917 0 -1 4202496 940 0 0 0 0 0 0 0 25 0 1 0 530150671 23580672 426 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253635897109 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30157/statm: 5757 438 337 9 0 124 0
[startup+0.105202 s]
/proc/loadavg: 8.13 8.09 8.00 5/198 30157
/proc/meminfo: memFree=29600308/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15676336 CPUtime=0.1 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 5628 0 1 0 9 1 0 0 25 0 18 0 530150671 16052568064 5033 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3919084 5033 2118 9 0 3909803 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676336
[startup+0.200184 s]
/proc/loadavg: 8.13 8.09 8.00 5/198 30157
/proc/meminfo: memFree=29600308/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15676648 CPUtime=0.27 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 6992 0 1 0 25 2 0 0 25 0 18 0 530150671 16052887552 6334 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3919162 6335 2184 9 0 3909881 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15676648
[startup+0.301177 s]
/proc/loadavg: 8.13 8.09 8.00 5/198 30157
/proc/meminfo: memFree=29600308/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15679612 CPUtime=0.52 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 15459 0 1 0 49 3 0 0 25 0 18 0 530150671 16055922688 13928 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3919903 13934 2207 9 0 3910622 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679612
[startup+0.70509 s]
/proc/loadavg: 8.13 8.09 8.00 5/198 30157
/proc/meminfo: memFree=29600308/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15683724 CPUtime=1 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 41914 0 1 0 95 5 0 0 25 0 22 0 530150671 16060133376 40380 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3920931 40380 2240 9 0 3911650 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 15683724
[startup+1.50094 s]
/proc/loadavg: 7.88 8.04 7.98 7/220 30179
/proc/meminfo: memFree=29435460/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15689344 CPUtime=2.85 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 54457 0 1 0 278 7 0 0 25 0 22 0 530150671 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3922336 46649 2265 9 0 3913055 0
[pid=30157/tid=30159] ppid=30155 vsize=15689344 CPUtime=1.47 cores=1,3,5,7
/proc/30157/task/30159/stat : 30159 (java) R 30155 30157 29917 0 -1 4202560 35653 0 1 0 143 4 0 0 21 0 22 0 530150671 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912505121138 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30157/tid=30160] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30160/stat : 30160 (java) S 30155 30157 29917 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30161] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30161/stat : 30161 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30162] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30162/stat : 30162 (java) S 30155 30157 29917 0 -1 4202560 650 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30163] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30163/stat : 30163 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30164] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30164/stat : 30164 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30165] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30165/stat : 30165 (java) S 30155 30157 29917 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30166] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30166/stat : 30166 (java) S 30155 30157 29917 0 -1 4202560 330 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30167] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30167/stat : 30167 (java) S 30155 30157 29917 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 22 0 530150672 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30168] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30168/stat : 30168 (java) S 30155 30157 29917 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 530150673 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30169] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30169/stat : 30169 (java) S 30155 30157 29917 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 530150673 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30170] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30170/stat : 30170 (java) S 30155 30157 29917 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 530150673 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30171/stat : 30171 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30172] ppid=30155 vsize=15689344 CPUtime=0.9 cores=1,3,5,7
/proc/30157/task/30172/stat : 30172 (java) S 30155 30157 29917 0 -1 4202560 13458 0 0 0 88 2 0 0 25 0 22 0 530150676 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30173] ppid=30155 vsize=15689344 CPUtime=0.44 cores=1,3,5,7
/proc/30157/task/30173/stat : 30173 (java) R 30155 30157 29917 0 -1 4202560 2784 0 0 0 44 0 0 0 16 0 22 0 530150676 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 47006503303808 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=30157/tid=30174] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30174/stat : 30174 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30175] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30175/stat : 30175 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530150676 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30176] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30176/stat : 30176 (java) S 30155 30157 29917 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 530150736 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30177] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30177/stat : 30177 (java) S 30155 30157 29917 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530150736 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30178] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30178/stat : 30178 (java) S 30155 30157 29917 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 530150736 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30179] ppid=30155 vsize=15689344 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30179/stat : 30179 (java) S 30155 30157 29917 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530150736 16065888256 46649 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 15689344
[startup+3.10871 s]
/proc/loadavg: 7.88 8.04 7.98 4/197 30182
/proc/meminfo: memFree=29922096/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15689768 CPUtime=5.82 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 59806 0 1 0 574 8 0 0 25 0 22 0 530150671 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3922442 51743 2275 9 0 3913161 0
[pid=30157/tid=30159] ppid=30155 vsize=15689768 CPUtime=2.02 cores=1,3,5,7
/proc/30157/task/30159/stat : 30159 (java) S 30155 30157 29917 0 -1 4202560 35694 0 1 0 198 4 0 0 22 0 22 0 530150671 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30160] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30160/stat : 30160 (java) S 30155 30157 29917 0 -1 4202560 67 0 0 0 0 0 0 0 18 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30161] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30161/stat : 30161 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30162] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30162/stat : 30162 (java) S 30155 30157 29917 0 -1 4202560 2070 0 0 0 0 0 0 0 17 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30163] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30163/stat : 30163 (java) S 30155 30157 29917 0 -1 4202560 582 0 0 0 0 0 0 0 17 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30164] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30164/stat : 30164 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30165] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30165/stat : 30165 (java) S 30155 30157 29917 0 -1 4202560 1594 0 0 0 0 0 0 0 17 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30166] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30166/stat : 30166 (java) S 30155 30157 29917 0 -1 4202560 1535 0 0 0 0 0 0 0 18 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30167] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30167/stat : 30167 (java) S 30155 30157 29917 0 -1 4202560 20 0 0 0 0 0 0 0 18 0 22 0 530150672 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30168] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30168/stat : 30168 (java) S 30155 30157 29917 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 530150673 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30169] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30169/stat : 30169 (java) S 30155 30157 29917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30170] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30170/stat : 30170 (java) S 30155 30157 29917 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30171/stat : 30171 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30172] ppid=30155 vsize=15689768 CPUtime=1.37 cores=1,3,5,7
/proc/30157/task/30172/stat : 30172 (java) S 30155 30157 29917 0 -1 4202560 13892 0 0 0 135 2 0 0 15 0 22 0 530150676 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30173] ppid=30155 vsize=15689768 CPUtime=0.8 cores=1,3,5,7
/proc/30157/task/30173/stat : 30173 (java) S 30155 30157 29917 0 -1 4202560 2896 0 0 0 80 0 0 0 15 0 22 0 530150676 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30174] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30174/stat : 30174 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30175] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30175/stat : 30175 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530150676 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30176] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30176/stat : 30176 (java) S 30155 30157 29917 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 530150736 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30177] ppid=30155 vsize=15689768 CPUtime=0.51 cores=1,3,5,7
/proc/30157/task/30177/stat : 30177 (java) R 30155 30157 29917 0 -1 4202560 10 0 0 0 51 0 0 0 15 0 22 0 530150736 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506254243 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30157/tid=30178] ppid=30155 vsize=15689768 CPUtime=0.57 cores=1,3,5,7
/proc/30157/task/30178/stat : 30178 (java) R 30155 30157 29917 0 -1 4202560 24 0 0 0 57 0 0 0 15 0 22 0 530150736 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506266145 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30157/tid=30179] ppid=30155 vsize=15689768 CPUtime=0.47 cores=1,3,5,7
/proc/30157/task/30179/stat : 30179 (java) R 30155 30157 29917 0 -1 4202560 8 0 0 0 47 0 0 0 16 0 22 0 530150736 16066322432 51743 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506185284 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 15689768
[startup+6.30103 s]
/proc/loadavg: 7.88 8.04 7.98 7/220 30230
/proc/meminfo: memFree=29486484/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15689768 CPUtime=18.15 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 135834 0 1 0 1795 20 0 0 25 0 22 0 530150671 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3922442 127237 2275 9 0 3913161 0
[pid=30157/tid=30159] ppid=30155 vsize=15689768 CPUtime=2.02 cores=1,3,5,7
/proc/30157/task/30159/stat : 30159 (java) S 30155 30157 29917 0 -1 4202560 35694 0 1 0 198 4 0 0 22 0 22 0 530150671 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30160] ppid=30155 vsize=15689768 CPUtime=0.03 cores=1,3,5,7
/proc/30157/task/30160/stat : 30160 (java) S 30155 30157 29917 0 -1 4202560 7331 0 0 0 3 0 0 0 15 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30161] ppid=30155 vsize=15689768 CPUtime=0.01 cores=1,3,5,7
/proc/30157/task/30161/stat : 30161 (java) S 30155 30157 29917 0 -1 4202560 5021 0 0 0 1 0 0 0 15 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30162] ppid=30155 vsize=15689768 CPUtime=0.02 cores=1,3,5,7
/proc/30157/task/30162/stat : 30162 (java) S 30155 30157 29917 0 -1 4202560 6589 0 0 0 1 1 0 0 16 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30163] ppid=30155 vsize=15689768 CPUtime=0.01 cores=1,3,5,7
/proc/30157/task/30163/stat : 30163 (java) S 30155 30157 29917 0 -1 4202560 4594 0 0 0 1 0 0 0 15 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30164] ppid=30155 vsize=15689768 CPUtime=0.05 cores=1,3,5,7
/proc/30157/task/30164/stat : 30164 (java) S 30155 30157 29917 0 -1 4202560 10959 0 0 0 3 2 0 0 16 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30165] ppid=30155 vsize=15689768 CPUtime=0.01 cores=1,3,5,7
/proc/30157/task/30165/stat : 30165 (java) S 30155 30157 29917 0 -1 4202560 3942 0 0 0 1 0 0 0 15 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30166] ppid=30155 vsize=15689768 CPUtime=0.05 cores=1,3,5,7
/proc/30157/task/30166/stat : 30166 (java) S 30155 30157 29917 0 -1 4202560 13788 0 0 0 3 2 0 0 16 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=30157/tid=30167] ppid=30155 vsize=15689768 CPUtime=0.04 cores=1,3,5,7
/proc/30157/task/30167/stat : 30167 (java) S 30155 30157 29917 0 -1 4202560 9271 0 0 0 3 1 0 0 16 0 22 0 530150672 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30168] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30168/stat : 30168 (java) S 30155 30157 29917 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 22 0 530150673 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=30157/tid=30169] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30169/stat : 30169 (java) S 30155 30157 29917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30170] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30170/stat : 30170 (java) S 30155 30157 29917 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30171/stat : 30171 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30172] ppid=30155 vsize=15689768 CPUtime=1.46 cores=1,3,5,7
/proc/30157/task/30172/stat : 30172 (java) S 30155 30157 29917 0 -1 4202560 13897 0 0 0 144 2 0 0 16 0 22 0 530150676 16066322432 127237 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=30157/tid=30177] ppid=30155 vsize=15689768 CPUtime=1106.45 cores=1,3,5,7
/proc/30157/task/30177/stat : 30177 (java) R 30155 30157 29917 0 -1 4202560 172813 0 0 0 110622 23 0 0 25 0 22 0 530150736 16066322432 197519 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506254417 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30157/tid=30178] ppid=30155 vsize=15689768 CPUtime=1106.27 cores=1,3,5,7
/proc/30157/task/30178/stat : 30178 (java) R 30155 30157 29917 0 -1 4202560 165730 0 0 0 110606 21 0 0 25 0 22 0 530150736 16066322432 197519 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912505577753 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30157/tid=30179] ppid=30155 vsize=15689768 CPUtime=1108.01 cores=1,3,5,7
/proc/30157/task/30179/stat : 30179 (java) R 30155 30157 29917 0 -1 4202560 179837 0 0 0 110779 22 0 0 25 0 22 0 530150736 16066322432 197519 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506185181 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4465.85
Current children cumulated vsize (KiB) 15689768
[startup+1182.3 s]
/proc/loadavg: 8.20 8.13 8.05 9/220 30323
/proc/meminfo: memFree=28658380/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15689768 CPUtime=4704.88 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 2746207 0 1 0 470023 465 0 0 25 0 22 0 530150671 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3922442 206768 2293 9 0 3913161 0
[pid=30157/tid=30159] ppid=30155 vsize=15689768 CPUtime=2.02 cores=1,3,5,7
/proc/30157/task/30159/stat : 30159 (java) S 30155 30157 29917 0 -1 4202560 35694 0 1 0 198 4 0 0 22 0 22 0 530150671 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30160] ppid=30155 vsize=15689768 CPUtime=4.56 cores=1,3,5,7
/proc/30157/task/30160/stat : 30160 (java) S 30155 30157 29917 0 -1 4202560 265814 0 0 0 413 43 0 0 15 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30161] ppid=30155 vsize=15689768 CPUtime=4.35 cores=1,3,5,7
/proc/30157/task/30161/stat : 30161 (java) S 30155 30157 29917 0 -1 4202560 258728 0 0 0 392 43 0 0 16 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30162] ppid=30155 vsize=15689768 CPUtime=4.36 cores=1,3,5,7
/proc/30157/task/30162/stat : 30162 (java) S 30155 30157 29917 0 -1 4202560 254457 0 0 0 396 40 0 0 16 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30163] ppid=30155 vsize=15689768 CPUtime=4.2 cores=1,3,5,7
/proc/30157/task/30163/stat : 30163 (java) S 30155 30157 29917 0 -1 4202560 217200 0 0 0 383 37 0 0 15 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30164] ppid=30155 vsize=15689768 CPUtime=4.26 cores=1,3,5,7
/proc/30157/task/30164/stat : 30164 (java) S 30155 30157 29917 0 -1 4202560 242807 0 0 0 388 38 0 0 15 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30165] ppid=30155 vsize=15689768 CPUtime=4.3 cores=1,3,5,7
/proc/30157/task/30165/stat : 30165 (java) S 30155 30157 29917 0 -1 4202560 234715 0 0 0 394 36 0 0 16 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=30157/tid=30166] ppid=30155 vsize=15689768 CPUtime=4.32 cores=1,3,5,7
/proc/30157/task/30166/stat : 30166 (java) S 30155 30157 29917 0 -1 4202560 245040 0 0 0 396 36 0 0 15 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=30157/tid=30167] ppid=30155 vsize=15689768 CPUtime=4.16 cores=1,3,5,7
/proc/30157/task/30167/stat : 30167 (java) S 30155 30157 29917 0 -1 4202560 236644 0 0 0 376 40 0 0 16 0 22 0 530150672 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30168] ppid=30155 vsize=15689768 CPUtime=2.1 cores=1,3,5,7
/proc/30157/task/30168/stat : 30168 (java) S 30155 30157 29917 0 -1 4202560 6974 0 0 0 164 46 0 0 16 0 22 0 530150673 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30169] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30169/stat : 30169 (java) S 30155 30157 29917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30170] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30170/stat : 30170 (java) S 30155 30157 29917 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30171/stat : 30171 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30172] ppid=30155 vsize=15689768 CPUtime=1.7 cores=1,3,5,7
/proc/30157/task/30172/stat : 30172 (java) S 30155 30157 29917 0 -1 4202560 13915 0 0 0 168 2 0 0 15 0 22 0 530150676 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30173] ppid=30155 vsize=15689768 CPUtime=0.86 cores=1,3,5,7
/proc/30157/task/30173/stat : 30173 (java) S 30155 30157 29917 0 -1 4202560 2898 0 0 0 86 0 0 0 16 0 22 0 530150676 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30174] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30174/stat : 30174 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30175] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30175/stat : 30175 (java) S 30155 30157 29917 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530150676 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=30157/tid=30176] ppid=30155 vsize=15689768 CPUtime=1164.96 cores=1,3,5,7
/proc/30157/task/30176/stat : 30176 (java) R 30155 30157 29917 0 -1 4202560 186658 0 0 0 116473 23 0 0 25 0 22 0 530150736 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912505933675 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30157/tid=30177] ppid=30155 vsize=15689768 CPUtime=1165.83 cores=1,3,5,7
/proc/30157/task/30177/stat : 30177 (java) R 30155 30157 29917 0 -1 4202560 180567 0 0 0 116559 24 0 0 25 0 22 0 530150736 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506254262 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30157/tid=30178] ppid=30155 vsize=15689768 CPUtime=1165.63 cores=1,3,5,7
/proc/30157/task/30178/stat : 30178 (java) R 30155 30157 29917 0 -1 4202560 172699 0 0 0 116542 21 0 0 25 0 22 0 530150736 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912505933491 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30157/tid=30179] ppid=30155 vsize=15689768 CPUtime=1167.12 cores=1,3,5,7
/proc/30157/task/30179/stat : 30179 (java) R 30155 30157 29917 0 -1 4202560 189943 0 0 0 116689 23 0 0 25 0 22 0 530150736 16066322432 206768 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912505933687 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4704.88
Current children cumulated vsize (KiB) 15689768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1206.2 s]
/proc/loadavg: 8.13 8.12 8.04 9/220 30323
/proc/meminfo: memFree=28569960/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15689768 CPUtime=4800.24 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 2788501 0 1 0 479552 472 0 0 25 0 22 0 530150671 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3922442 201584 2293 9 0 3913161 0
[pid=30157/tid=30159] ppid=30155 vsize=15689768 CPUtime=2.02 cores=1,3,5,7
/proc/30157/task/30159/stat : 30159 (java) S 30155 30157 29917 0 -1 4202560 35694 0 1 0 198 4 0 0 22 0 22 0 530150671 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30160] ppid=30155 vsize=15689768 CPUtime=4.67 cores=1,3,5,7
/proc/30157/task/30160/stat : 30160 (java) S 30155 30157 29917 0 -1 4202560 269828 0 0 0 423 44 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30161] ppid=30155 vsize=15689768 CPUtime=4.44 cores=1,3,5,7
/proc/30157/task/30161/stat : 30161 (java) S 30155 30157 29917 0 -1 4202560 260803 0 0 0 401 43 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=30157/tid=30162] ppid=30155 vsize=15689768 CPUtime=4.45 cores=1,3,5,7
/proc/30157/task/30162/stat : 30162 (java) S 30155 30157 29917 0 -1 4202560 258786 0 0 0 404 41 0 0 15 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30163] ppid=30155 vsize=15689768 CPUtime=4.28 cores=1,3,5,7
/proc/30157/task/30163/stat : 30163 (java) S 30155 30157 29917 0 -1 4202560 220943 0 0 0 391 37 0 0 15 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30164] ppid=30155 vsize=15689768 CPUtime=4.34 cores=1,3,5,7
/proc/30157/task/30164/stat : 30164 (java) S 30155 30157 29917 0 -1 4202560 245185 0 0 0 395 39 0 0 15 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30165] ppid=30155 vsize=15689768 CPUtime=4.37 cores=1,3,5,7
/proc/30157/task/30165/stat : 30165 (java) S 30155 30157 29917 0 -1 4202560 236598 0 0 0 400 37 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30166] ppid=30155 vsize=15689768 CPUtime=4.42 cores=1,3,5,7
/proc/30157/task/30166/stat : 30166 (java) S 30155 30157 29917 0 -1 4202560 249951 0 0 0 405 37 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30167] ppid=30155 vsize=15689768 CPUtime=4.25 cores=1,3,5,7
/proc/30157/task/30167/stat : 30167 (java) S 30155 30157 29917 0 -1 4202560 239160 0 0 0 385 40 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30168] ppid=30155 vsize=15689768 CPUtime=2.12 cores=1,3,5,7
/proc/30157/task/30168/stat : 30168 (java) S 30155 30157 29917 0 -1 4202560 7072 0 0 0 165 47 0 0 15 0 22 0 530150673 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30169] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30169/stat : 30169 (java) S 30155 30157 29917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30170] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30170/stat : 30170 (java) S 30155 30157 29917 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30171/stat : 30171 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30172] ppid=30155 vsize=15689768 CPUtime=1.7 cores=1,3,5,7
/proc/30157/task/30172/stat : 30172 (java) S 30155 30157 29917 0 -1 4202560 13915 0 0 0 168 2 0 0 15 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30173] ppid=30155 vsize=15689768 CPUtime=0.86 cores=1,3,5,7
/proc/30157/task/30173/stat : 30173 (java) S 30155 30157 29917 0 -1 4202560 2898 0 0 0 86 0 0 0 16 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30174] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30174/stat : 30174 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30175] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30175/stat : 30175 (java) S 30155 30157 29917 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30176] ppid=30155 vsize=15689768 CPUtime=1188.51 cores=1,3,5,7
/proc/30157/task/30176/stat : 30176 (java) R 30155 30157 29917 0 -1 4202560 191088 0 0 0 118828 23 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506254131 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30157/tid=30177] ppid=30155 vsize=15689768 CPUtime=1189.52 cores=1,3,5,7
/proc/30157/task/30177/stat : 30177 (java) R 30155 30157 29917 0 -1 4202560 185876 0 0 0 118928 24 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 18446744073699065897 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30157/tid=30178] ppid=30155 vsize=15689768 CPUtime=1189.33 cores=1,3,5,7
/proc/30157/task/30178/stat : 30178 (java) R 30155 30157 29917 0 -1 4202560 175128 0 0 0 118911 22 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912505933524 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30157/tid=30179] ppid=30155 vsize=15689768 CPUtime=1190.82 cores=1,3,5,7
/proc/30157/task/30179/stat : 30179 (java) R 30155 30157 29917 0 -1 4202560 194120 0 0 0 119058 24 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 18446744073699065904 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 15689768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1206.2 s]
/proc/loadavg: 8.13 8.12 8.04 9/220 30323
/proc/meminfo: memFree=28569960/32951124 swapFree=67111364/67111528
[pid=30157] ppid=30155 vsize=15689768 CPUtime=4800.24 cores=1,3,5,7
/proc/30157/stat : 30157 (java) S 30155 30157 29917 0 -1 4202496 2788501 0 1 0 479552 472 0 0 25 0 22 0 530150671 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30157/statm: 3922442 201584 2293 9 0 3913161 0
[pid=30157/tid=30159] ppid=30155 vsize=15689768 CPUtime=2.02 cores=1,3,5,7
/proc/30157/task/30159/stat : 30159 (java) S 30155 30157 29917 0 -1 4202560 35694 0 1 0 198 4 0 0 22 0 22 0 530150671 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30160] ppid=30155 vsize=15689768 CPUtime=4.67 cores=1,3,5,7
/proc/30157/task/30160/stat : 30160 (java) S 30155 30157 29917 0 -1 4202560 269828 0 0 0 423 44 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30161] ppid=30155 vsize=15689768 CPUtime=4.44 cores=1,3,5,7
/proc/30157/task/30161/stat : 30161 (java) S 30155 30157 29917 0 -1 4202560 260803 0 0 0 401 43 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=30157/tid=30162] ppid=30155 vsize=15689768 CPUtime=4.45 cores=1,3,5,7
/proc/30157/task/30162/stat : 30162 (java) S 30155 30157 29917 0 -1 4202560 258786 0 0 0 404 41 0 0 15 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30163] ppid=30155 vsize=15689768 CPUtime=4.28 cores=1,3,5,7
/proc/30157/task/30163/stat : 30163 (java) S 30155 30157 29917 0 -1 4202560 220943 0 0 0 391 37 0 0 15 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30164] ppid=30155 vsize=15689768 CPUtime=4.34 cores=1,3,5,7
/proc/30157/task/30164/stat : 30164 (java) S 30155 30157 29917 0 -1 4202560 245185 0 0 0 395 39 0 0 15 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30165] ppid=30155 vsize=15689768 CPUtime=4.37 cores=1,3,5,7
/proc/30157/task/30165/stat : 30165 (java) S 30155 30157 29917 0 -1 4202560 236598 0 0 0 400 37 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30166] ppid=30155 vsize=15689768 CPUtime=4.42 cores=1,3,5,7
/proc/30157/task/30166/stat : 30166 (java) S 30155 30157 29917 0 -1 4202560 249951 0 0 0 405 37 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30167] ppid=30155 vsize=15689768 CPUtime=4.25 cores=1,3,5,7
/proc/30157/task/30167/stat : 30167 (java) S 30155 30157 29917 0 -1 4202560 239160 0 0 0 385 40 0 0 16 0 22 0 530150672 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=30157/tid=30168] ppid=30155 vsize=15689768 CPUtime=2.12 cores=1,3,5,7
/proc/30157/task/30168/stat : 30168 (java) S 30155 30157 29917 0 -1 4202560 7072 0 0 0 165 47 0 0 15 0 22 0 530150673 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30169] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30169/stat : 30169 (java) S 30155 30157 29917 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30170] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30170/stat : 30170 (java) S 30155 30157 29917 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530150673 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30171] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30171/stat : 30171 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30172] ppid=30155 vsize=15689768 CPUtime=1.7 cores=1,3,5,7
/proc/30157/task/30172/stat : 30172 (java) S 30155 30157 29917 0 -1 4202560 13915 0 0 0 168 2 0 0 15 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30173] ppid=30155 vsize=15689768 CPUtime=0.86 cores=1,3,5,7
/proc/30157/task/30173/stat : 30173 (java) S 30155 30157 29917 0 -1 4202560 2898 0 0 0 86 0 0 0 16 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30174] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30174/stat : 30174 (java) S 30155 30157 29917 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=30157/tid=30175] ppid=30155 vsize=15689768 CPUtime=0 cores=1,3,5,7
/proc/30157/task/30175/stat : 30175 (java) S 30155 30157 29917 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530150676 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=30157/tid=30176] ppid=30155 vsize=15689768 CPUtime=1188.51 cores=1,3,5,7
/proc/30157/task/30176/stat : 30176 (java) R 30155 30157 29917 0 -1 4202560 191088 0 0 0 118828 23 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912506254131 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=30157/tid=30177] ppid=30155 vsize=15689768 CPUtime=1189.52 cores=1,3,5,7
/proc/30157/task/30177/stat : 30177 (java) R 30155 30157 29917 0 -1 4202560 185876 0 0 0 118928 24 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 18446744073699065897 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=30157/tid=30178] ppid=30155 vsize=15689768 CPUtime=1189.33 cores=1,3,5,7
/proc/30157/task/30178/stat : 30178 (java) R 30155 30157 29917 0 -1 4202560 175128 0 0 0 118911 22 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 46912505933524 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30157/tid=30179] ppid=30155 vsize=15689768 CPUtime=1190.82 cores=1,3,5,7
/proc/30157/task/30179/stat : 30179 (java) R 30155 30157 29917 0 -1 4202560 194120 0 0 0 119058 24 0 0 25 0 22 0 530150736 16066322432 201584 33554432000 1073741824 1073778376 140736474955568 18446744073709551615 18446744073699065904 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 15689768
Child status: 143
Real time (s): 1206.24
CPU time (s): 4800.31
CPU user time (s): 4795.56
CPU system time (s): 4.75928
CPU usage (%): 397.955
Max. virtual memory (cumulated for all children) (KiB): 15689768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.55
system time used= 4.75928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2788527
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= 71526
involuntary context switches= 72051
runsolver used 1.9917 second user time and 4.65029 second system time
The end