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-3312839-1304177372/watcher-3312839-1304177372 -o /tmp/evaluation-result-3312839-1304177372/solver-3312839-1304177372 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312839-1304177372.cnf
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: 7.36 7.89 7.96 4/176 9945
/proc/meminfo: memFree=29006504/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/9945/stat : 9945 (java) R 9941 9945 9908 0 -1 4202496 802 0 0 0 0 0 0 0 17 0 1 0 607967862 23580672 288 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251362584320 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9945/statm: 5757 301 238 9 0 124 0
[startup+0.042661 s]
/proc/loadavg: 7.36 7.89 7.96 4/176 9945
/proc/meminfo: memFree=29006504/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 3748 0 1 0 2 0 0 0 17 0 13 0 607967862 15978749952 3187 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3901062 3188 1682 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248
[startup+0.100668 s]
/proc/loadavg: 7.36 7.89 7.96 4/176 9945
/proc/meminfo: memFree=29006504/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15676876 CPUtime=0.09 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 5539 0 1 0 9 0 0 0 17 0 18 0 607967862 16053121024 4963 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3919219 4965 2115 9 0 3909938 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676876
[startup+0.301665 s]
/proc/loadavg: 7.36 7.89 7.96 4/176 9945
/proc/meminfo: memFree=29006504/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15689180 CPUtime=0.47 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 10939 0 1 0 46 1 0 0 17 0 22 0 607967862 16065720320 9409 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3922295 9409 2207 9 0 3913014 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 15689180
[startup+0.700465 s]
/proc/loadavg: 7.36 7.89 7.96 4/176 9945
/proc/meminfo: memFree=29006504/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15702660 CPUtime=1.89 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 27171 0 1 0 185 4 0 0 17 0 22 0 607967862 16079523840 22950 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3925665 22950 2249 9 0 3916384 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 15702660
[startup+1.50132 s]
/proc/loadavg: 7.36 7.89 7.96 15/220 9989
/proc/meminfo: memFree=28755860/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15706988 CPUtime=5.07 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 56735 0 1 0 499 8 0 0 17 0 22 0 607967862 16083955712 49097 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3926747 49106 2270 9 0 3917466 0
[pid=9945/tid=9949] ppid=9941 vsize=15706988 CPUtime=0.31 cores=1,3,5,7
/proc/9945/task/9949/stat : 9949 (java) S 9941 9945 9908 0 -1 4202560 5930 0 1 0 30 1 0 0 18 0 22 0 607967863 16083955712 49111 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9956] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9956/stat : 9956 (java) S 9941 9945 9908 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 22 0 607967863 16083955712 49117 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9958] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9958/stat : 9958 (java) S 9941 9945 9908 0 -1 4202560 477 0 0 0 0 0 0 0 16 0 22 0 607967863 16083955712 49122 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9960] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9960/stat : 9960 (java) S 9941 9945 9908 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 22 0 607967863 16083955712 49128 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9961] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9961/stat : 9961 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 607967863 16083955712 49134 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9962] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9962/stat : 9962 (java) S 9941 9945 9908 0 -1 4202560 159 0 0 0 0 0 0 0 15 0 22 0 607967863 16083955712 49140 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9963] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9963/stat : 9963 (java) S 9941 9945 9908 0 -1 4202560 275 0 0 0 0 0 0 0 17 0 22 0 607967863 16083955712 49146 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9964] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9964/stat : 9964 (java) S 9941 9945 9908 0 -1 4202560 575 0 0 0 0 0 0 0 15 0 22 0 607967863 16083955712 49151 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9965] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9965/stat : 9965 (java) S 9941 9945 9908 0 -1 4202560 410 0 0 0 0 0 0 0 15 0 22 0 607967863 16083955712 49157 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9967] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9967/stat : 9967 (java) S 9941 9945 9908 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 607967864 16083955712 49163 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 0 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9969] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9969/stat : 9969 (java) S 9941 9945 9908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 607967865 16083955712 49169 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9970] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9970/stat : 9970 (java) S 9941 9945 9908 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 607967865 16083955712 49174 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9974] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9974/stat : 9974 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 607967867 16083955712 49180 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379370417 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9975] ppid=9941 vsize=15706988 CPUtime=0.45 cores=1,3,5,7
/proc/9945/task/9975/stat : 9975 (java) R 9941 9945 9908 0 -1 4202560 8643 0 0 0 44 1 0 0 20 0 22 0 607967867 16083955712 49185 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 47940383269328 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9945/tid=9978] ppid=9941 vsize=15706988 CPUtime=1.04 cores=1,3,5,7
/proc/9945/task/9978/stat : 9978 (java) S 9941 9945 9908 0 -1 4202560 8482 0 0 0 104 0 0 0 16 0 22 0 607967867 16083955712 49191 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9979] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9979/stat : 9979 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 607967867 16083955712 49197 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9981] ppid=9941 vsize=15706988 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9981/stat : 9981 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 607967867 16083955712 49203 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9982] ppid=9941 vsize=15706988 CPUtime=1 cores=1,3,5,7
/proc/9945/task/9982/stat : 9982 (java) R 9941 9945 9908 0 -1 4202560 8801 0 0 0 99 1 0 0 19 0 22 0 607967886 16083955712 49209 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 47940383442118 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9945/tid=9983] ppid=9941 vsize=15706988 CPUtime=0.87 cores=1,3,5,7
/proc/9945/task/9983/stat : 9983 (java) R 9941 9945 9908 0 -1 4202560 9681 0 0 0 86 1 0 0 19 0 22 0 607967886 16083955712 49214 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505226113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9945/tid=9984] ppid=9941 vsize=15706988 CPUtime=0.92 cores=1,3,5,7
/proc/9945/task/9984/stat : 9984 (java) R 9941 9945 9908 0 -1 4202560 8240 0 0 0 91 1 0 0 19 0 22 0 607967886 16083955712 49220 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505678740 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9945/tid=9985] ppid=9941 vsize=15706988 CPUtime=0.4 cores=1,3,5,7
/proc/9945/task/9985/stat : 9985 (java) R 9941 9945 9908 0 -1 4202560 3170 0 0 0 40 0 0 0 19 0 22 0 607967886 16083955712 49225 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505765212 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 15706988
[startup+3.10102 s]
/proc/loadavg: 7.89 8.00 7.99 11/220 9989
/proc/meminfo: memFree=28609920/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15708788 CPUtime=11.46 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 100011 0 1 0 1131 15 0 0 17 0 22 0 607967862 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3927197 86995 2276 9 0 3917916 0
[pid=9945/tid=9949] ppid=9941 vsize=15708788 CPUtime=0.31 cores=1,3,5,7
/proc/9945/task/9949/stat : 9949 (java) S 9941 9945 9908 0 -1 4202560 5930 0 1 0 30 1 0 0 18 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9956] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9956/stat : 9956 (java) S 9941 9945 9908 0 -1 4202560 941 0 0 0 0 0 0 0 15 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9958] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9958/stat : 9958 (java) S 9941 9945 9908 0 -1 4202560 976 0 0 0 0 0 0 0 16 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9960] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9960/stat : 9960 (java) S 9941 9945 9908 0 -1 4202560 785 0 0 0 0 0 0 0 16 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9961] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9961/stat : 9961 (java) S 9941 9945 9908 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9962] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9962/stat : 9962 (java) S 9941 9945 9908 0 -1 4202560 1058 0 0 0 0 0 0 0 15 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9963] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9963/stat : 9963 (java) S 9941 9945 9908 0 -1 4202560 681 0 0 0 0 0 0 0 15 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9964] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9964/stat : 9964 (java) S 9941 9945 9908 0 -1 4202560 1055 0 0 0 0 0 0 0 15 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9965] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9965/stat : 9965 (java) S 9941 9945 9908 0 -1 4202560 1054 0 0 0 0 0 0 0 15 0 22 0 607967863 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9967] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9967/stat : 9967 (java) S 9941 9945 9908 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 22 0 607967864 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 0 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9969] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9969/stat : 9969 (java) S 9941 9945 9908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 607967865 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9970] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9970/stat : 9970 (java) S 9941 9945 9908 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 607967865 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9974] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9974/stat : 9974 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 607967867 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379370417 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9975] ppid=9941 vsize=15708788 CPUtime=1.04 cores=1,3,5,7
/proc/9945/task/9975/stat : 9975 (java) S 9941 9945 9908 0 -1 4202560 12300 0 0 0 102 2 0 0 16 0 22 0 607967867 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9978] ppid=9941 vsize=15708788 CPUtime=1.15 cores=1,3,5,7
/proc/9945/task/9978/stat : 9978 (java) S 9941 9945 9908 0 -1 4202560 9517 0 0 0 114 1 0 0 16 0 22 0 607967867 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9979] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9979/stat : 9979 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 607967867 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9981] ppid=9941 vsize=15708788 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9981/stat : 9981 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 607967867 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9982] ppid=9941 vsize=15708788 CPUtime=2.37 cores=1,3,5,7
/proc/9945/task/9982/stat : 9982 (java) R 9941 9945 9908 0 -1 4202560 17232 0 0 0 235 2 0 0 21 0 22 0 607967886 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505859333 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9945/tid=9983] ppid=9941 vsize=15708788 CPUtime=2.29 cores=1,3,5,7
/proc/9945/task/9983/stat : 9983 (java) R 9941 9945 9908 0 -1 4202560 18352 0 0 0 227 2 0 0 21 0 22 0 607967886 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505764923 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9945/tid=9984] ppid=9941 vsize=15708788 CPUtime=2.19 cores=1,3,5,7
/proc/9945/task/9984/stat : 9984 (java) R 9941 9945 9908 0 -1 4202560 16145 0 0 0 217 2 0 0 22 0 22 0 607967886 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505882015 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9945/tid=9985] ppid=9941 vsize=15708788 CPUtime=1.99 cores=1,3,5,7
/proc/9945/task/9985/stat : 9985 (java) R 9941 9945 9908 0 -1 4202560 12255 0 0 0 198 1 0 0 25 0 22 0 607967886 16085798912 86995 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 47940386239537 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 15708788
[startup+6.30143 s]
/proc/loadavg: 7.89 8.00 7.99 9/220 9989
/proc/meminfo: memFree=28412396/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15702660 CPUtime=24.2 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 100965 0 1 0 2405 15 0 0 17 0 22 0 607967862 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3925665 74599 2283 9 0 3916384 0
[pid=9945/tid=9949] ppid=9941 vsize=15702660 CPUtime=0.31 cores=1,3,5,7
/proc/9945/task/9949/stat : 9949 (java) S 9941 9945 9908 0 -1 4202560 5930 0 1 0 30 1 0 0 18 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9956] ppid=9941 vsize=15702660 CPUtime=0.01 cores=1,3,5,7
/proc/9945/task/9956/stat : 9956 (java) S 9941 9945 9908 0 -1 4202560 1213 0 0 0 1 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9958] ppid=9941 vsize=15702660 CPUtime=0.01 cores=1,3,5,7
/proc/9945/task/9958/stat : 9958 (java) S 9941 9945 9908 0 -1 4202560 1039 0 0 0 1 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9960] ppid=9941 vsize=15702660 CPUtime=0.01 cores=1,3,5,7
/proc/9945/task/9960/stat : 9960 (java) S 9941 9945 9908 0 -1 4202560 850 0 0 0 1 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9961] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9961/stat : 9961 (java) S 9941 9945 9908 0 -1 4202560 384 0 0 0 0 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9962] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9962/stat : 9962 (java) S 9941 9945 9908 0 -1 4202560 1120 0 0 0 0 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9963] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9963/stat : 9963 (java) S 9941 9945 9908 0 -1 4202560 785 0 0 0 0 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9964] ppid=9941 vsize=15702660 CPUtime=0.01 cores=1,3,5,7
/proc/9945/task/9964/stat : 9964 (java) S 9941 9945 9908 0 -1 4202560 1078 0 0 0 1 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9965] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9965/stat : 9965 (java) S 9941 9945 9908 0 -1 4202560 1156 0 0 0 0 0 0 0 15 0 22 0 607967863 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9967] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9967/stat : 9967 (java) S 9941 9945 9908 0 -1 4202560 79 0 0 0 0 0 0 0 16 0 22 0 607967864 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 0 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9969] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9969/stat : 9969 (java) S 9941 9945 9908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 607967865 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9970] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9970/stat : 9970 (java) S 9941 9945 9908 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 607967865 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9974] ppid=9941 vsize=15702660 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9974/stat : 9974 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 607967867 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379370417 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9975] ppid=9941 vsize=15702660 CPUtime=1.08 cores=1,3,5,7
/proc/9945/task/9975/stat : 9975 (java) S 9941 9945 9908 0 -1 4202560 12313 0 0 0 106 2 0 0 15 0 22 0 607967867 16079523840 74599 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=9945/tid=9983] ppid=9941 vsize=15694644 CPUtime=1048.39 cores=1,3,5,7
/proc/9945/task/9983/stat : 9983 (java) R 9941 9945 9908 0 -1 4202560 264346 0 0 0 104796 43 0 0 25 0 22 0 607967886 16071315456 89020 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505595296 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9945/tid=9984] ppid=9941 vsize=15694644 CPUtime=1048.76 cores=1,3,5,7
/proc/9945/task/9984/stat : 9984 (java) R 9941 9945 9908 0 -1 4202560 258563 0 0 0 104834 42 0 0 25 0 22 0 607967886 16071315456 89020 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505831597 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9945/tid=9985] ppid=9941 vsize=15694644 CPUtime=1048.3 cores=1,3,5,7
/proc/9945/task/9985/stat : 9985 (java) R 9941 9945 9908 0 -1 4202560 256251 0 0 0 104786 44 0 0 25 0 22 0 607967886 16071315456 89020 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505803697 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4223.44
Current children cumulated vsize (KiB) 15694644
[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.05 10/220 10022
/proc/meminfo: memFree=28369976/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15694644 CPUtime=4461.94 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 2003027 0 1 0 445755 439 0 0 17 0 22 0 607967862 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3923661 82450 2297 9 0 3914380 0
[pid=9945/tid=9949] ppid=9941 vsize=15694644 CPUtime=0.31 cores=1,3,5,7
/proc/9945/task/9949/stat : 9949 (java) S 9941 9945 9908 0 -1 4202560 5930 0 1 0 30 1 0 0 18 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9956] ppid=9941 vsize=15694644 CPUtime=3.28 cores=1,3,5,7
/proc/9945/task/9956/stat : 9956 (java) S 9941 9945 9908 0 -1 4202560 105403 0 0 0 308 20 0 0 16 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9958] ppid=9941 vsize=15694644 CPUtime=3.18 cores=1,3,5,7
/proc/9945/task/9958/stat : 9958 (java) S 9941 9945 9908 0 -1 4202560 108938 0 0 0 297 21 0 0 16 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9960] ppid=9941 vsize=15694644 CPUtime=3.1 cores=1,3,5,7
/proc/9945/task/9960/stat : 9960 (java) S 9941 9945 9908 0 -1 4202560 107644 0 0 0 289 21 0 0 15 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9961] ppid=9941 vsize=15694644 CPUtime=3.21 cores=1,3,5,7
/proc/9945/task/9961/stat : 9961 (java) S 9941 9945 9908 0 -1 4202560 111129 0 0 0 298 23 0 0 16 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9962] ppid=9941 vsize=15694644 CPUtime=3.28 cores=1,3,5,7
/proc/9945/task/9962/stat : 9962 (java) S 9941 9945 9908 0 -1 4202560 116132 0 0 0 306 22 0 0 15 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9963] ppid=9941 vsize=15694644 CPUtime=3.13 cores=1,3,5,7
/proc/9945/task/9963/stat : 9963 (java) S 9941 9945 9908 0 -1 4202560 105901 0 0 0 294 19 0 0 15 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9964] ppid=9941 vsize=15694644 CPUtime=3.24 cores=1,3,5,7
/proc/9945/task/9964/stat : 9964 (java) S 9941 9945 9908 0 -1 4202560 108804 0 0 0 302 22 0 0 16 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9965] ppid=9941 vsize=15694644 CPUtime=3.2 cores=1,3,5,7
/proc/9945/task/9965/stat : 9965 (java) S 9941 9945 9908 0 -1 4202560 110868 0 0 0 300 20 0 0 15 0 22 0 607967863 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9967] ppid=9941 vsize=15694644 CPUtime=2.23 cores=1,3,5,7
/proc/9945/task/9967/stat : 9967 (java) S 9941 9945 9908 0 -1 4202560 5379 0 0 0 143 80 0 0 15 0 22 0 607967864 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 0 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9969] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9969/stat : 9969 (java) S 9941 9945 9908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 607967865 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9970] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9970/stat : 9970 (java) S 9941 9945 9908 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 607967865 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9974] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9974/stat : 9974 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 607967867 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379370417 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9975] ppid=9941 vsize=15694644 CPUtime=1.13 cores=1,3,5,7
/proc/9945/task/9975/stat : 9975 (java) S 9941 9945 9908 0 -1 4202560 12327 0 0 0 111 2 0 0 15 0 22 0 607967867 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9978] ppid=9941 vsize=15694644 CPUtime=1.25 cores=1,3,5,7
/proc/9945/task/9978/stat : 9978 (java) S 9941 9945 9908 0 -1 4202560 9632 0 0 0 124 1 0 0 16 0 22 0 607967867 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9979] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9979/stat : 9979 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 607967867 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9981] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9981/stat : 9981 (java) S 9941 9945 9908 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 607967867 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9982] ppid=9941 vsize=15694644 CPUtime=1108.11 cores=1,3,5,7
/proc/9945/task/9982/stat : 9982 (java) R 9941 9945 9908 0 -1 4202560 277327 0 0 0 110768 43 0 0 25 0 22 0 607967886 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505650807 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9945/tid=9983] ppid=9941 vsize=15694644 CPUtime=1107.7 cores=1,3,5,7
/proc/9945/task/9983/stat : 9983 (java) R 9941 9945 9908 0 -1 4202560 276924 0 0 0 110725 45 0 0 25 0 22 0 607967886 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505595300 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9945/tid=9984] ppid=9941 vsize=15694644 CPUtime=1107.87 cores=1,3,5,7
/proc/9945/task/9984/stat : 9984 (java) R 9941 9945 9908 0 -1 4202560 270938 0 0 0 110742 45 0 0 25 0 22 0 607967886 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505848049 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9945/tid=9985] ppid=9941 vsize=15694644 CPUtime=1107.55 cores=1,3,5,7
/proc/9945/task/9985/stat : 9985 (java) R 9941 9945 9908 0 -1 4202560 268308 0 0 0 110709 46 0 0 25 0 22 0 607967886 16071315456 82450 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505765100 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4461.94
Current children cumulated vsize (KiB) 15694644
[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 8.05 10/220 10024
/proc/meminfo: memFree=28330516/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15694644 CPUtime=4700.47 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 2118195 0 1 0 469583 464 0 0 17 0 22 0 607967862 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3923661 93855 2297 9 0 3914380 0
[pid=9945/tid=9949] ppid=9941 vsize=15694644 CPUtime=0.31 cores=1,3,5,7
/proc/9945/task/9949/stat : 9949 (java) S 9941 9945 9908 0 -1 4202560 5930 0 1 0 30 1 0 0 18 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9956] ppid=9941 vsize=15694644 CPUtime=3.46 cores=1,3,5,7
/proc/9945/task/9956/stat : 9956 (java) S 9941 9945 9908 0 -1 4202560 112357 0 0 0 325 21 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9958] ppid=9941 vsize=15694644 CPUtime=3.33 cores=1,3,5,7
/proc/9945/task/9958/stat : 9958 (java) S 9941 9945 9908 0 -1 4202560 115382 0 0 0 311 22 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9960] ppid=9941 vsize=15694644 CPUtime=3.28 cores=1,3,5,7
/proc/9945/task/9960/stat : 9960 (java) S 9941 9945 9908 0 -1 4202560 113828 0 0 0 305 23 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9961] ppid=9941 vsize=15694644 CPUtime=3.39 cores=1,3,5,7
/proc/9945/task/9961/stat : 9961 (java) S 9941 9945 9908 0 -1 4202560 116959 0 0 0 315 24 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9962] ppid=9941 vsize=15694644 CPUtime=3.44 cores=1,3,5,7
/proc/9945/task/9962/stat : 9962 (java) S 9941 9945 9908 0 -1 4202560 121761 0 0 0 321 23 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9963] ppid=9941 vsize=15694644 CPUtime=3.31 cores=1,3,5,7
/proc/9945/task/9963/stat : 9963 (java) S 9941 9945 9908 0 -1 4202560 111947 0 0 0 310 21 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9964] ppid=9941 vsize=15694644 CPUtime=3.42 cores=1,3,5,7
/proc/9945/task/9964/stat : 9964 (java) S 9941 9945 9908 0 -1 4202560 114997 0 0 0 319 23 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9965] ppid=9941 vsize=15694644 CPUtime=3.36 cores=1,3,5,7
/proc/9945/task/9965/stat : 9965 (java) S 9941 9945 9908 0 -1 4202560 116767 0 0 0 314 22 0 0 15 0 22 0 607967863 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9967] ppid=9941 vsize=15694644 CPUtime=2.36 cores=1,3,5,7
/proc/9945/task/9967/stat : 9967 (java) S 9941 9945 9908 0 -1 4202560 5683 0 0 0 152 84 0 0 15 0 22 0 607967864 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 0 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9969] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9969/stat : 9969 (java) S 9941 9945 9908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 607967865 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9970] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9970/stat : 9970 (java) S 9941 9945 9908 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 607967865 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9974] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9974/stat : 9974 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 607967867 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379370417 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9975] ppid=9941 vsize=15694644 CPUtime=1.15 cores=1,3,5,7
/proc/9945/task/9975/stat : 9975 (java) S 9941 9945 9908 0 -1 4202560 12332 0 0 0 113 2 0 0 15 0 22 0 607967867 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9978] ppid=9941 vsize=15694644 CPUtime=1.26 cores=1,3,5,7
/proc/9945/task/9978/stat : 9978 (java) S 9941 9945 9908 0 -1 4202560 9634 0 0 0 125 1 0 0 15 0 22 0 607967867 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9979] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9979/stat : 9979 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 607967867 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9981] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9981/stat : 9981 (java) S 9941 9945 9908 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 607967867 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9982] ppid=9941 vsize=15694644 CPUtime=1167.41 cores=1,3,5,7
/proc/9945/task/9982/stat : 9982 (java) R 9941 9945 9908 0 -1 4202560 293746 0 0 0 116695 46 0 0 25 0 22 0 607967886 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505882015 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9945/tid=9983] ppid=9941 vsize=15694644 CPUtime=1167 cores=1,3,5,7
/proc/9945/task/9983/stat : 9983 (java) R 9941 9945 9908 0 -1 4202560 293754 0 0 0 116651 49 0 0 25 0 22 0 607967886 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505669968 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9945/tid=9984] ppid=9941 vsize=15694644 CPUtime=1167.21 cores=1,3,5,7
/proc/9945/task/9984/stat : 9984 (java) R 9941 9945 9908 0 -1 4202560 287051 0 0 0 116674 47 0 0 25 0 22 0 607967886 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505714834 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9945/tid=9985] ppid=9941 vsize=15694644 CPUtime=1166.64 cores=1,3,5,7
/proc/9945/task/9985/stat : 9985 (java) R 9941 9945 9908 0 -1 4202560 284622 0 0 0 116616 48 0 0 25 0 22 0 607967886 16071315456 93855 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505731728 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4700.47
Current children cumulated vsize (KiB) 15694644
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.4 s]
/proc/loadavg: 8.06 8.09 8.04 9/220 10024
/proc/meminfo: memFree=28322452/32950928 swapFree=67111352/67111528
[pid=9945] ppid=9941 vsize=15694644 CPUtime=4800.29 cores=1,3,5,7
/proc/9945/stat : 9945 (java) S 9941 9945 9908 0 -1 4202496 2164742 0 1 0 479555 474 0 0 17 0 22 0 607967862 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9945/statm: 3923661 94615 2297 9 0 3914380 0
[pid=9945/tid=9949] ppid=9941 vsize=15694644 CPUtime=0.31 cores=1,3,5,7
/proc/9945/task/9949/stat : 9949 (java) S 9941 9945 9908 0 -1 4202560 5930 0 1 0 30 1 0 0 18 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9956] ppid=9941 vsize=15694644 CPUtime=3.52 cores=1,3,5,7
/proc/9945/task/9956/stat : 9956 (java) S 9941 9945 9908 0 -1 4202560 115317 0 0 0 331 21 0 0 16 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9958] ppid=9941 vsize=15694644 CPUtime=3.4 cores=1,3,5,7
/proc/9945/task/9958/stat : 9958 (java) S 9941 9945 9908 0 -1 4202560 117834 0 0 0 317 23 0 0 16 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9960] ppid=9941 vsize=15694644 CPUtime=3.35 cores=1,3,5,7
/proc/9945/task/9960/stat : 9960 (java) S 9941 9945 9908 0 -1 4202560 116650 0 0 0 312 23 0 0 15 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9961] ppid=9941 vsize=15694644 CPUtime=3.46 cores=1,3,5,7
/proc/9945/task/9961/stat : 9961 (java) S 9941 9945 9908 0 -1 4202560 118455 0 0 0 321 25 0 0 15 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9962] ppid=9941 vsize=15694644 CPUtime=3.51 cores=1,3,5,7
/proc/9945/task/9962/stat : 9962 (java) S 9941 9945 9908 0 -1 4202560 123953 0 0 0 327 24 0 0 15 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9963] ppid=9941 vsize=15694644 CPUtime=3.39 cores=1,3,5,7
/proc/9945/task/9963/stat : 9963 (java) S 9941 9945 9908 0 -1 4202560 115007 0 0 0 317 22 0 0 16 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9964] ppid=9941 vsize=15694644 CPUtime=3.48 cores=1,3,5,7
/proc/9945/task/9964/stat : 9964 (java) S 9941 9945 9908 0 -1 4202560 117825 0 0 0 325 23 0 0 16 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9965] ppid=9941 vsize=15694644 CPUtime=3.42 cores=1,3,5,7
/proc/9945/task/9965/stat : 9965 (java) S 9941 9945 9908 0 -1 4202560 119339 0 0 0 320 22 0 0 15 0 22 0 607967863 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 7 0 0 0
[pid=9945/tid=9967] ppid=9941 vsize=15694644 CPUtime=2.41 cores=1,3,5,7
/proc/9945/task/9967/stat : 9967 (java) S 9941 9945 9908 0 -1 4202560 5785 0 0 0 155 86 0 0 15 0 22 0 607967864 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 0 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9969] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9969/stat : 9969 (java) S 9941 9945 9908 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 607967865 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9970] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9970/stat : 9970 (java) S 9941 9945 9908 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 607967865 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9974] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9974/stat : 9974 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 607967867 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379370417 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9975] ppid=9941 vsize=15694644 CPUtime=1.15 cores=1,3,5,7
/proc/9945/task/9975/stat : 9975 (java) S 9941 9945 9908 0 -1 4202560 12332 0 0 0 113 2 0 0 15 0 22 0 607967867 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 3 0 0 0
[pid=9945/tid=9978] ppid=9941 vsize=15694644 CPUtime=1.26 cores=1,3,5,7
/proc/9945/task/9978/stat : 9978 (java) S 9941 9945 9908 0 -1 4202560 9634 0 0 0 125 1 0 0 15 0 22 0 607967867 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9979] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9979/stat : 9979 (java) S 9941 9945 9908 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 607967867 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379362713 0 4 0 16800975 18446604471152862336 0 0 -1 5 0 0 0
[pid=9945/tid=9981] ppid=9941 vsize=15694644 CPUtime=0 cores=1,3,5,7
/proc/9945/task/9981/stat : 9981 (java) S 9941 9945 9908 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 607967867 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 251379363328 0 4 0 16800975 18446604471152862336 0 0 -1 1 0 0 0
[pid=9945/tid=9982] ppid=9941 vsize=15694644 CPUtime=1192.22 cores=1,3,5,7
/proc/9945/task/9982/stat : 9982 (java) R 9941 9945 9908 0 -1 4202560 300025 0 0 0 119175 47 0 0 25 0 22 0 607967886 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505640149 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9945/tid=9983] ppid=9941 vsize=15694644 CPUtime=1191.8 cores=1,3,5,7
/proc/9945/task/9983/stat : 9983 (java) R 9941 9945 9908 0 -1 4202560 300290 0 0 0 119131 49 0 0 21 0 22 0 607967886 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505776904 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9945/tid=9984] ppid=9941 vsize=15694644 CPUtime=1191.95 cores=1,3,5,7
/proc/9945/task/9984/stat : 9984 (java) R 9941 9945 9908 0 -1 4202560 293705 0 0 0 119148 47 0 0 25 0 22 0 607967886 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505882050 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9945/tid=9985] ppid=9941 vsize=15694644 CPUtime=1191.48 cores=1,3,5,7
/proc/9945/task/9985/stat : 9985 (java) R 9941 9945 9908 0 -1 4202560 291214 0 0 0 119099 49 0 0 25 0 22 0 607967886 16071315456 94615 33554432000 1073741824 1073778376 140733693943824 18446744073709551615 46912505882148 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15694644
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): 1207.43
CPU time (s): 4800.35
CPU user time (s): 4795.59
CPU system time (s): 4.75728
CPU usage (%): 397.566
Max. virtual memory (cumulated for all children) (KiB): 15711576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.59
system time used= 4.75728
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2164770
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= 274787
involuntary context switches= 154253
runsolver used 2.02869 second user time and 4.6203 second system time
The end