runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742223-1338785696/watcher-3742223-1338785696 -o /tmp/evaluation-result-3742223-1338785696/solver-3742223-1338785696 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742223-1338785696.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.69 3.82 3.81 3/197 18634
/proc/meminfo: memFree=28715532/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18634/stat : 18634 (java6) D 18632 18634 17860 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 344695097 9515008 183 33554432000 1073741824 1073778376 140736034608112 140736034599144 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/18634/statm: 2323 183 140 9 0 71 0
[startup+0.0809389 s]
/proc/loadavg: 3.69 3.82 3.81 3/197 18634
/proc/meminfo: memFree=28715532/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 3897 0 1 0 5 1 0 0 20 0 18 0 344695097 2764726272 5616 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100535 s]
/proc/loadavg: 3.69 3.82 3.81 3/197 18634
/proc/meminfo: memFree=28715532/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 4711 0 1 0 8 1 0 0 20 0 18 0 344695097 2764726272 6412 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 674982 6415 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300236 s]
/proc/loadavg: 3.69 3.82 3.81 3/197 18634
/proc/meminfo: memFree=28715532/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2699928 CPUtime=0.55 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 7098 0 1 0 54 1 0 0 20 0 18 0 344695097 2764726272 12448 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 674982 12448 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2699928
[startup+0.700178 s]
/proc/loadavg: 3.69 3.82 3.81 3/197 18634
/proc/meminfo: memFree=28715532/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2966184 CPUtime=1.66 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 12132 0 1 0 162 4 0 0 20 0 22 0 344695097 3037372416 36326 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 741546 36326 2252 9 0 732240 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 2966184
[startup+1.5007 s]
/proc/loadavg: 3.69 3.82 3.81 7/219 18656
/proc/meminfo: memFree=28543968/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2966184 CPUtime=4.33 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 22199 0 1 0 424 9 0 0 20 0 22 0 344695097 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 741546 97186 2258 9 0 732240 0
[pid=18634/tid=18636] ppid=18632 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18634 17860 0 -1 4202560 2842 0 1 0 50 3 0 0 20 0 22 0 344695098 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595590984856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18637] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595575266088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18638] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595574213288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18639] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595573161000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18640] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595572108200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18641] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595571054888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18642] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595570002088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18643] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595568949800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18644] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18634 17860 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595567897000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18645] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18634 17860 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595555486440 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18646] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18634 17860 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595554432504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18647] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595435661064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18648] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595434609552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18649] ppid=18632 vsize=2966184 CPUtime=0.97 cores=1,3,5,7
/proc/18634/task/18649/stat : 18649 (java) S 18632 18634 17860 0 -1 4202560 8012 0 0 0 95 2 0 0 20 0 22 0 344695104 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595433556152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18650] ppid=18632 vsize=2966184 CPUtime=0.94 cores=1,3,5,7
/proc/18634/task/18650/stat : 18650 (java) S 18632 18634 17860 0 -1 4202560 9938 0 0 0 93 1 0 0 20 0 22 0 344695104 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595432503352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18651] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18651/stat : 18651 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595431451256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18652] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18652/stat : 18652 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595430398664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18653] ppid=18632 vsize=2966184 CPUtime=0.91 cores=1,3,5,7
/proc/18634/task/18653/stat : 18653 (java) R 18632 18634 17860 0 -1 4202560 25 0 0 0 91 0 0 0 20 0 22 0 344695154 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595429344352 140595436342788 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18654] ppid=18632 vsize=2966184 CPUtime=0.91 cores=1,3,5,7
/proc/18634/task/18654/stat : 18654 (java) R 18632 18634 17860 0 -1 4202560 176 0 0 0 87 4 0 0 20 0 22 0 344695154 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595428288816 140595435732922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18655] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18655/stat : 18655 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595427239592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18656] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18656/stat : 18656 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 97186 33554432000 1073741824 1073778376 140736297920768 140595426186792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 2966184
[startup+3.10071 s]
/proc/loadavg: 3.69 3.82 3.81 5/219 18656
/proc/meminfo: memFree=28301380/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2966184 CPUtime=7.83 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 22300 0 1 0 772 11 0 0 20 0 22 0 344695097 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 741546 108999 2271 9 0 732240 0
[pid=18634/tid=18636] ppid=18632 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18634 17860 0 -1 4202560 2842 0 1 0 50 3 0 0 20 0 22 0 344695098 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595590984856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18637] ppid=18632 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18634 17860 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595575266088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18638] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18634 17860 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595574213288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18639] ppid=18632 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595573161000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18640] ppid=18632 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595572108200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18641] ppid=18632 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595571054888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18642] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18634 17860 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595570002088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18643] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18634 17860 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595568949800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18644] ppid=18632 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18634 17860 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 344695100 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595567897000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18645] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18634 17860 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595555486440 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18646] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18634 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595554432504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18647] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18634 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595435661064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18648] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595434609552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18649] ppid=18632 vsize=2966184 CPUtime=1.05 cores=1,3,5,7
/proc/18634/task/18649/stat : 18649 (java) S 18632 18634 17860 0 -1 4202560 8012 0 0 0 103 2 0 0 20 0 22 0 344695104 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595433556152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18650] ppid=18632 vsize=2966184 CPUtime=1.11 cores=1,3,5,7
/proc/18634/task/18650/stat : 18650 (java) S 18632 18634 17860 0 -1 4202560 9951 0 0 0 109 2 0 0 20 0 22 0 344695104 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595432503352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18651] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18651/stat : 18651 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595431451256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18652] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18652/stat : 18652 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595430398664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18653] ppid=18632 vsize=2966184 CPUtime=2.46 cores=1,3,5,7
/proc/18634/task/18653/stat : 18653 (java) R 18632 18634 17860 0 -1 4202560 25 0 0 0 246 0 0 0 20 0 22 0 344695154 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595429343944 140595436474489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18654] ppid=18632 vsize=2966184 CPUtime=2.45 cores=1,3,5,7
/proc/18634/task/18654/stat : 18654 (java) R 18632 18634 17860 0 -1 4202560 188 0 0 0 241 4 0 0 20 0 22 0 344695154 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595428291144 140595436649731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18655] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18655/stat : 18655 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595427239592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18656] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18656/stat : 18656 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 108999 33554432000 1073741824 1073778376 140736297920768 140595426186792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 2966184
[startup+6.30072 s]
/proc/loadavg: 3.71 3.82 3.81 5/219 18656
/proc/meminfo: memFree=28271608/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2966184 CPUtime=14.42 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 22362 0 1 0 1429 13 0 0 20 0 22 0 344695097 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 741546 112246 2283 9 0 732240 0
[pid=18634/tid=18636] ppid=18632 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18634 17860 0 -1 4202560 2842 0 1 0 50 3 0 0 20 0 22 0 344695098 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595590984856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18637] ppid=18632 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18634 17860 0 -1 4202560 26 0 0 0 5 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595575266088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18638] ppid=18632 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595574213288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18639] ppid=18632 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595573161000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18640] ppid=18632 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595572108200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18641] ppid=18632 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18634 17860 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595571054888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18642] ppid=18632 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18634 17860 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595570002088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18643] ppid=18632 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18634 17860 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595568949800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18644] ppid=18632 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18634 17860 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 344695100 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595567897000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18645] ppid=18632 vsize=2966184 CPUtime=0.04 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18634 17860 0 -1 4202560 36 0 0 0 4 0 0 0 20 0 22 0 344695101 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595555486440 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18646] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18634 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595554432504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18647] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18634 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595435661064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18648] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595434609552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18649] ppid=18632 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/18634/task/18649/stat : 18649 (java) S 18632 18634 17860 0 -1 4202560 8017 0 0 0 112 2 0 0 20 0 22 0 344695104 3037372416 112246 33554432000 1073741824 1073778376 140736297920768 140595433556152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=18634/tid=18654] ppid=18632 vsize=2966184 CPUtime=741.77 cores=1,3,5,7
/proc/18634/task/18654/stat : 18654 (java) R 18632 18634 17860 0 -1 4202560 446 0 0 0 74160 17 0 0 20 0 22 0 344695154 3037372416 210394 33554432000 1073741824 1073778376 140736297920768 140595428289152 140595436654704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18655] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18655/stat : 18655 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 210394 33554432000 1073741824 1073778376 140736297920768 140595427239592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18656] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18656/stat : 18656 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 210394 33554432000 1073741824 1073778376 140736297920768 140595426186792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1522.49
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 4.37 4.04 3.89 5/219 18744
/proc/meminfo: memFree=27833672/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2966184 CPUtime=1642.02 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 24652 0 1 0 164090 112 0 0 20 0 22 0 344695097 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 741546 217627 2284 9 0 732240 0
[pid=18634/tid=18636] ppid=18632 vsize=2966184 CPUtime=0.54 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18634 17860 0 -1 4202560 2853 0 1 0 51 3 0 0 20 0 22 0 344695098 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595590984856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18637] ppid=18632 vsize=2966184 CPUtime=3.11 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18634 17860 0 -1 4202560 211 0 0 0 305 6 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595575266088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18638] ppid=18632 vsize=2966184 CPUtime=3.04 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18634 17860 0 -1 4202560 166 0 0 0 297 7 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595574213288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18639] ppid=18632 vsize=2966184 CPUtime=3.17 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18634 17860 0 -1 4202560 208 0 0 0 311 6 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595573161000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18640] ppid=18632 vsize=2966184 CPUtime=3.11 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18634 17860 0 -1 4202560 188 0 0 0 304 7 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595572108200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18641] ppid=18632 vsize=2966184 CPUtime=3.22 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18634 17860 0 -1 4202560 193 0 0 0 315 7 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595571054888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18642] ppid=18632 vsize=2966184 CPUtime=3.09 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18634 17860 0 -1 4202560 166 0 0 0 304 5 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595570002088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18643] ppid=18632 vsize=2966184 CPUtime=3.15 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18634 17860 0 -1 4202560 222 0 0 0 308 7 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595568949800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18644] ppid=18632 vsize=2966184 CPUtime=3.2 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18634 17860 0 -1 4202560 197 0 0 0 313 7 0 0 20 0 22 0 344695100 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595567897000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18645] ppid=18632 vsize=2966184 CPUtime=14.7 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18634 17860 0 -1 4202560 102 0 0 0 1441 29 0 0 20 0 22 0 344695101 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595555486440 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18646] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18634 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595554432504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18647] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18634 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595435661064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18648] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595434609552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18649] ppid=18632 vsize=2966184 CPUtime=1.27 cores=1,3,5,7
/proc/18634/task/18649/stat : 18649 (java) S 18632 18634 17860 0 -1 4202560 8028 0 0 0 125 2 0 0 20 0 22 0 344695104 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595433556152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18650] ppid=18632 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/18634/task/18650/stat : 18650 (java) S 18632 18634 17860 0 -1 4202560 9954 0 0 0 124 2 0 0 20 0 22 0 344695104 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595432503352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18651] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18651/stat : 18651 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595431451256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18652] ppid=18632 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/18634/task/18652/stat : 18652 (java) S 18632 18634 17860 0 -1 4202560 46 0 0 0 11 18 0 0 20 0 22 0 344695104 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595430398664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18653] ppid=18632 vsize=2966184 CPUtime=799.43 cores=1,3,5,7
/proc/18634/task/18653/stat : 18653 (java) R 18632 18634 17860 0 -1 4202560 464 0 0 0 79928 15 0 0 20 0 22 0 344695154 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595429343024 140595436571084 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18654] ppid=18632 vsize=2966184 CPUtime=799.44 cores=1,3,5,7
/proc/18634/task/18654/stat : 18654 (java) R 18632 18634 17860 0 -1 4202560 461 0 0 0 79925 19 0 0 20 0 22 0 344695154 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595428288928 140595436377860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18655] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18655/stat : 18655 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595427239592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18656] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18656/stat : 18656 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 217627 33554432000 1073741824 1073778376 140736297920768 140595426186792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1642.02
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.03 4.00 3.88 5/219 18745
/proc/meminfo: memFree=27819464/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2966184 CPUtime=1762.32 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 24725 0 1 0 176115 117 0 0 20 0 22 0 344695097 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 741546 217649 2284 9 0 732240 0
[pid=18634/tid=18636] ppid=18632 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18634 17860 0 -1 4202560 2854 0 1 0 51 4 0 0 20 0 22 0 344695098 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595590984856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18637] ppid=18632 vsize=2966184 CPUtime=3.34 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18634 17860 0 -1 4202560 217 0 0 0 327 7 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595575266088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18638] ppid=18632 vsize=2966184 CPUtime=3.25 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18634 17860 0 -1 4202560 167 0 0 0 318 7 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595574213288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18639] ppid=18632 vsize=2966184 CPUtime=3.38 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18634 17860 0 -1 4202560 210 0 0 0 332 6 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595573161000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18640] ppid=18632 vsize=2966184 CPUtime=3.32 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18634 17860 0 -1 4202560 192 0 0 0 325 7 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595572108200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18641] ppid=18632 vsize=2966184 CPUtime=3.41 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18634 17860 0 -1 4202560 196 0 0 0 334 7 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595571054888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18642] ppid=18632 vsize=2966184 CPUtime=3.29 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18634 17860 0 -1 4202560 168 0 0 0 324 5 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595570002088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18643] ppid=18632 vsize=2966184 CPUtime=3.33 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18634 17860 0 -1 4202560 222 0 0 0 326 7 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595568949800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18644] ppid=18632 vsize=2966184 CPUtime=3.44 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18634 17860 0 -1 4202560 201 0 0 0 337 7 0 0 20 0 22 0 344695100 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595567897000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18645] ppid=18632 vsize=2966184 CPUtime=15.07 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18634 17860 0 -1 4202560 106 0 0 0 1475 32 0 0 20 0 22 0 344695101 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595555486440 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18646] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18634 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595554432504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18647] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18634 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595435661064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18648] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595434609552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18649] ppid=18632 vsize=2966184 CPUtime=1.27 cores=1,3,5,7
/proc/18634/task/18649/stat : 18649 (java) S 18632 18634 17860 0 -1 4202560 8028 0 0 0 125 2 0 0 20 0 22 0 344695104 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595433556152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18650] ppid=18632 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/18634/task/18650/stat : 18650 (java) S 18632 18634 17860 0 -1 4202560 9954 0 0 0 124 2 0 0 20 0 22 0 344695104 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595432503352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18651] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18651/stat : 18651 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595431451256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18652] ppid=18632 vsize=2966184 CPUtime=0.31 cores=1,3,5,7
/proc/18634/task/18652/stat : 18652 (java) S 18632 18634 17860 0 -1 4202560 50 0 0 0 11 20 0 0 20 0 22 0 344695104 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595430398664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18653] ppid=18632 vsize=2966184 CPUtime=858.54 cores=1,3,5,7
/proc/18634/task/18653/stat : 18653 (java) R 18632 18634 17860 0 -1 4202560 489 0 0 0 85838 16 0 0 20 0 22 0 344695154 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595429343008 140595436564720 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18654] ppid=18632 vsize=2966184 CPUtime=858.57 cores=1,3,5,7
/proc/18634/task/18654/stat : 18654 (java) R 18632 18634 17860 0 -1 4202560 478 0 0 0 85837 20 0 0 20 0 22 0 344695154 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595428289152 140595436561417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18655] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18655/stat : 18655 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595427239592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18656] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18656/stat : 18656 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 217649 33554432000 1073741824 1073778376 140736297920768 140595426186792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1762.32
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.001 s]
/proc/loadavg: 3.94 3.98 3.88 6/219 18745
/proc/meminfo: memFree=27813076/32873648 swapFree=7116/7116
[pid=18634] ppid=18632 vsize=2966184 CPUtime=1800.01 cores=1,3,5,7
/proc/18634/stat : 18634 (java) S 18632 18634 17860 0 -1 4202496 24753 0 1 0 179882 119 0 0 20 0 22 0 344695097 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140736297911904 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18634/statm: 741546 217663 2284 9 0 732240 0
[pid=18634/tid=18636] ppid=18632 vsize=2966184 CPUtime=0.55 cores=1,3,5,7
/proc/18634/task/18636/stat : 18636 (java) S 18632 18634 17860 0 -1 4202560 2854 0 1 0 51 4 0 0 20 0 22 0 344695098 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595590984856 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18637] ppid=18632 vsize=2966184 CPUtime=3.43 cores=1,3,5,7
/proc/18634/task/18637/stat : 18637 (java) S 18632 18634 17860 0 -1 4202560 218 0 0 0 336 7 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595575266088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18638] ppid=18632 vsize=2966184 CPUtime=3.3 cores=1,3,5,7
/proc/18634/task/18638/stat : 18638 (java) S 18632 18634 17860 0 -1 4202560 169 0 0 0 323 7 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595574213288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18639] ppid=18632 vsize=2966184 CPUtime=3.46 cores=1,3,5,7
/proc/18634/task/18639/stat : 18639 (java) S 18632 18634 17860 0 -1 4202560 211 0 0 0 340 6 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595573161000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18640] ppid=18632 vsize=2966184 CPUtime=3.42 cores=1,3,5,7
/proc/18634/task/18640/stat : 18640 (java) S 18632 18634 17860 0 -1 4202560 193 0 0 0 335 7 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595572108200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18641] ppid=18632 vsize=2966184 CPUtime=3.5 cores=1,3,5,7
/proc/18634/task/18641/stat : 18641 (java) S 18632 18634 17860 0 -1 4202560 198 0 0 0 343 7 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595571054888 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18642] ppid=18632 vsize=2966184 CPUtime=3.38 cores=1,3,5,7
/proc/18634/task/18642/stat : 18642 (java) S 18632 18634 17860 0 -1 4202560 172 0 0 0 333 5 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595570002088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18643] ppid=18632 vsize=2966184 CPUtime=3.4 cores=1,3,5,7
/proc/18634/task/18643/stat : 18643 (java) S 18632 18634 17860 0 -1 4202560 223 0 0 0 333 7 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595568949800 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18644] ppid=18632 vsize=2966184 CPUtime=3.54 cores=1,3,5,7
/proc/18634/task/18644/stat : 18644 (java) S 18632 18634 17860 0 -1 4202560 203 0 0 0 347 7 0 0 20 0 22 0 344695100 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595567897000 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18645] ppid=18632 vsize=2966184 CPUtime=15.08 cores=1,3,5,7
/proc/18634/task/18645/stat : 18645 (java) S 18632 18634 17860 0 -1 4202560 106 0 0 0 1476 32 0 0 20 0 22 0 344695101 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595555486440 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18646] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18646/stat : 18646 (java) S 18632 18634 17860 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595554432504 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18647] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18647/stat : 18647 (java) S 18632 18634 17860 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344695101 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595435661064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18648] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18648/stat : 18648 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595434609552 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18649] ppid=18632 vsize=2966184 CPUtime=1.27 cores=1,3,5,7
/proc/18634/task/18649/stat : 18649 (java) S 18632 18634 17860 0 -1 4202560 8028 0 0 0 125 2 0 0 20 0 22 0 344695104 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595433556152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18650] ppid=18632 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/18634/task/18650/stat : 18650 (java) S 18632 18634 17860 0 -1 4202560 9954 0 0 0 124 2 0 0 20 0 22 0 344695104 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595432503352 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18651] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18651/stat : 18651 (java) S 18632 18634 17860 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344695104 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595431451256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18652] ppid=18632 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/18634/task/18652/stat : 18652 (java) S 18632 18634 17860 0 -1 4202560 52 0 0 0 12 20 0 0 20 0 22 0 344695104 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595430398664 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18634/tid=18653] ppid=18632 vsize=2966184 CPUtime=877.05 cores=1,3,5,7
/proc/18634/task/18653/stat : 18653 (java) R 18632 18634 17860 0 -1 4202560 495 0 0 0 87689 16 0 0 20 0 22 0 344695154 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595429343024 140595436342770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18634/tid=18654] ppid=18632 vsize=2966184 CPUtime=877.08 cores=1,3,5,7
/proc/18634/task/18654/stat : 18654 (java) R 18632 18634 17860 0 -1 4202560 484 0 0 0 87688 20 0 0 20 0 22 0 344695154 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595428288928 140595436662631 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18634/tid=18655] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18655/stat : 18655 (java) S 18632 18634 17860 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595427239592 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18634/tid=18656] ppid=18632 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18634/task/18656/stat : 18656 (java) S 18632 18634 17860 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 344695156 3037372416 217663 33554432000 1073741824 1073778376 140736297920768 140595426186792 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 901.049
CPU time (s): 1800.45
CPU user time (s): 1798.8
CPU system time (s): 1.65175
CPU usage (%): 199.817
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.65175
maximum resident set size= 870780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24789
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42599
involuntary context switches= 71235
runsolver used 3.42148 second user time and 7.8628 second system time
The end