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-3731773-1338738379/watcher-3731773-1338738379 -o /tmp/evaluation-result-3731773-1338738379/solver-3731773-1338738379 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3731773-1338738379.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.91 3.76 3.68 4/196 17798
/proc/meminfo: memFree=30640064/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/17798/stat : 17798 (java6) D 17796 17798 3958 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 339963905 9515008 184 33554432000 1073741824 1073778376 140733525563296 140733525554520 217410334135 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/17798/statm: 2323 184 142 9 0 71 0
[startup+0.0962941 s]
/proc/loadavg: 3.91 3.76 3.68 4/196 17798
/proc/meminfo: memFree=30640064/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 4713 0 1 0 8 1 0 0 20 0 18 0 339963905 2764726272 6397 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 674982 6397 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100264 s]
/proc/loadavg: 3.91 3.76 3.68 4/196 17798
/proc/meminfo: memFree=30640064/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 4748 0 1 0 8 1 0 0 20 0 18 0 339963905 2764726272 6432 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 674982 6432 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300189 s]
/proc/loadavg: 3.91 3.76 3.68 4/196 17798
/proc/meminfo: memFree=30640064/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2699928 CPUtime=0.48 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 5942 0 1 0 47 1 0 0 20 0 18 0 339963905 2764726272 9254 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 674982 9254 2217 9 0 665676 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2699928
[startup+0.700149 s]
/proc/loadavg: 3.91 3.76 3.68 4/196 17798
/proc/meminfo: memFree=30640064/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2966184 CPUtime=0.94 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 12726 0 1 0 89 5 0 0 20 0 20 0 339963905 3037372416 15431 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 741546 15431 2244 9 0 732240 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 2966184
[startup+1.50066 s]
/proc/loadavg: 3.76 3.73 3.67 3/216 17820
/proc/meminfo: memFree=30586480/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2966184 CPUtime=1.6 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 14037 0 1 0 154 6 0 0 20 0 21 0 339963905 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 741546 18217 2254 9 0 732240 0
[pid=17798/tid=17800] ppid=17796 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/17798/task/17800/stat : 17800 (java) S 17796 17798 3958 0 -1 4202560 2797 0 1 0 29 1 0 0 20 0 21 0 339963906 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063203910808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17801] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17801/stat : 17801 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063188191528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17802] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17802/stat : 17802 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063187138728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17803] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17803/stat : 17803 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063186086440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17804] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17804/stat : 17804 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063185033640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17805] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17805/stat : 17805 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063183981352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17806] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17806/stat : 17806 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063182928552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17807] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17807/stat : 17807 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063181876264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17808] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17808/stat : 17808 (java) S 17796 17798 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 339963907 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063180823464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17809] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17809/stat : 17809 (java) S 17796 17798 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 339963908 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063049685224 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17810] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17810/stat : 17810 (java) S 17796 17798 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 21 0 339963908 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063048631288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17811] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17811/stat : 17811 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339963909 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063179769096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17812] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17812/stat : 17812 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963911 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063047580048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17813] ppid=17796 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/17798/task/17813/stat : 17813 (java) R 17796 17798 3958 0 -1 4202560 4732 0 0 0 38 0 0 0 20 0 21 0 339963911 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063046514952 140063210896915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17814] ppid=17796 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/17798/task/17814/stat : 17814 (java) R 17796 17798 3958 0 -1 4202560 5180 0 0 0 41 0 0 0 20 0 21 0 339963911 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140063045468712 140063207998579 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17815] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17815/stat : 17815 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963911 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140062171851896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17816] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17816/stat : 17816 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 339963911 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140062170799304 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17819] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17819/stat : 17819 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339963943 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140062167291048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17820] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17820/stat : 17820 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 339963943 3037372416 18217 33554432000 1073741824 1073778376 140735319548304 140062166238248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 2966184
[startup+3.10063 s]
/proc/loadavg: 3.76 3.73 3.67 3/216 17822
/proc/meminfo: memFree=30575372/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 14048 0 1 0 169 9 0 0 20 0 20 0 339963905 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 741546 20235 2254 9 0 732240 0
[pid=17798/tid=17800] ppid=17796 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/17798/task/17800/stat : 17800 (java) S 17796 17798 3958 0 -1 4202560 2798 0 1 0 29 1 0 0 20 0 20 0 339963906 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063203910808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17801] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17801/stat : 17801 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063188191528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17802] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17802/stat : 17802 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063187138728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17803] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17803/stat : 17803 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063186086440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17804] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17804/stat : 17804 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063185033640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17805] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17805/stat : 17805 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063183981352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17806] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17806/stat : 17806 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063182928552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17807] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17807/stat : 17807 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063181876264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17808] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17808/stat : 17808 (java) S 17796 17798 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063180823464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17809] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17809/stat : 17809 (java) S 17796 17798 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339963908 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063049685224 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17810] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17810/stat : 17810 (java) S 17796 17798 3958 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 339963908 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063048631288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17811] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17811/stat : 17811 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339963909 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063179769096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17812] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17812/stat : 17812 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963911 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063047580048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17813] ppid=17796 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/17798/task/17813/stat : 17813 (java) S 17796 17798 3958 0 -1 4202560 4734 0 0 0 43 0 0 0 20 0 20 0 339963911 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063046527672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17814] ppid=17796 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/17798/task/17814/stat : 17814 (java) S 17796 17798 3958 0 -1 4202560 5180 0 0 0 46 0 0 0 20 0 20 0 339963911 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140063045474872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17815] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17815/stat : 17815 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963911 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140062171851896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17816] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17816/stat : 17816 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963911 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140062170799304 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17819] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17819/stat : 17819 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339963943 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140062167291048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17820] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17820/stat : 17820 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 339963943 3037372416 20235 33554432000 1073741824 1073778376 140735319548304 140062166238248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 2966184
heavy processes:
[startup+6.30064 s]
/proc/loadavg: 3.76 3.73 3.67 5/219 17831
/proc/meminfo: memFree=30455944/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2966184 CPUtime=6.42 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 22156 0 1 0 623 19 0 0 20 0 20 0 339963905 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 741546 53979 2282 9 0 732240 0
[pid=17798/tid=17800] ppid=17796 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/17798/task/17800/stat : 17800 (java) S 17796 17798 3958 0 -1 4202560 2802 0 1 0 31 1 0 0 20 0 20 0 339963906 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063203910808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17801] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17801/stat : 17801 (java) S 17796 17798 3958 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063188191528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17802] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17802/stat : 17802 (java) S 17796 17798 3958 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063187138728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17803] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17803/stat : 17803 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063186086440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17804] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17804/stat : 17804 (java) S 17796 17798 3958 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063185033640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17805] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17805/stat : 17805 (java) S 17796 17798 3958 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063183981352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17806] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17806/stat : 17806 (java) S 17796 17798 3958 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063182928552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17807] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17807/stat : 17807 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063181876264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17808] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17808/stat : 17808 (java) S 17796 17798 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 339963907 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063180823464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17809] ppid=17796 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/17798/task/17809/stat : 17809 (java) S 17796 17798 3958 0 -1 4202560 36 0 0 0 1 0 0 0 20 0 20 0 339963908 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063049685224 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17810] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17810/stat : 17810 (java) S 17796 17798 3958 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 339963908 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063048631288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17811] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17811/stat : 17811 (java) S 17796 17798 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 339963909 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063179769096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17812] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17812/stat : 17812 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963911 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063047580048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17813] ppid=17796 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/17798/task/17813/stat : 17813 (java) S 17796 17798 3958 0 -1 4202560 12683 0 0 0 84 2 0 0 20 0 20 0 339963911 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063046527672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17814] ppid=17796 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/17798/task/17814/stat : 17814 (java) S 17796 17798 3958 0 -1 4202560 5184 0 0 0 60 0 0 0 20 0 20 0 339963911 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140063045474872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17815] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17815/stat : 17815 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 339963911 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140062171851896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17816] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17816/stat : 17816 (java) S 17796 17798 3958 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 339963911 3037372416 53979 33554432000 1073741824 1073778376 140735319548304 140062170799304 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17819] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=17798/tid=17820] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17820/stat : 17820 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339963943 3037372416 296096 33554432000 1073741824 1073778376 140735319548304 140062166238248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17937] ppid=17796 vsize=2966184 CPUtime=42.38 cores=1,3,5,7
/proc/17798/task/17937/stat : 17937 (java) R 17796 17798 3958 0 -1 4202560 17 0 0 0 4238 0 0 0 20 0 22 0 340040661 3037372416 296096 33554432000 1073741824 1073778376 140735319548304 140062169743824 140063061804555 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17938] ppid=17796 vsize=2966184 CPUtime=42.39 cores=1,3,5,7
/proc/17798/task/17938/stat : 17938 (java) R 17796 17798 3958 0 -1 4202560 13 0 0 0 4239 0 0 0 20 0 22 0 340040661 3037372416 296096 33554432000 1073741824 1073778376 140735319548304 140062168689032 140063061552409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1536.49
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.69 3.73 3.72 5/220 17942
/proc/meminfo: memFree=29138564/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2966184 CPUtime=1647.23 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 26985 0 1 0 164550 173 0 0 20 0 22 0 339963905 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 741546 300859 2284 9 0 732240 0
[pid=17798/tid=17800] ppid=17796 vsize=2966184 CPUtime=0.38 cores=1,3,5,7
/proc/17798/task/17800/stat : 17800 (java) S 17796 17798 3958 0 -1 4202560 2900 0 1 0 35 3 0 0 20 0 22 0 339963906 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063203910808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17801] ppid=17796 vsize=2966184 CPUtime=6.82 cores=1,3,5,7
/proc/17798/task/17801/stat : 17801 (java) S 17796 17798 3958 0 -1 4202560 352 0 0 0 672 10 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063188191528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17802] ppid=17796 vsize=2966184 CPUtime=6.8 cores=1,3,5,7
/proc/17798/task/17802/stat : 17802 (java) S 17796 17798 3958 0 -1 4202560 298 0 0 0 672 8 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063187138728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17803] ppid=17796 vsize=2966184 CPUtime=6.73 cores=1,3,5,7
/proc/17798/task/17803/stat : 17803 (java) S 17796 17798 3958 0 -1 4202560 345 0 0 0 665 8 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063186086440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17804] ppid=17796 vsize=2966184 CPUtime=7.01 cores=1,3,5,7
/proc/17798/task/17804/stat : 17804 (java) S 17796 17798 3958 0 -1 4202560 381 0 0 0 691 10 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063185033640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17805] ppid=17796 vsize=2966184 CPUtime=6.5 cores=1,3,5,7
/proc/17798/task/17805/stat : 17805 (java) S 17796 17798 3958 0 -1 4202560 316 0 0 0 638 12 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063183981352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17806] ppid=17796 vsize=2966184 CPUtime=6.72 cores=1,3,5,7
/proc/17798/task/17806/stat : 17806 (java) S 17796 17798 3958 0 -1 4202560 312 0 0 0 663 9 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063182928552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17807] ppid=17796 vsize=2966184 CPUtime=6.82 cores=1,3,5,7
/proc/17798/task/17807/stat : 17807 (java) S 17796 17798 3958 0 -1 4202560 306 0 0 0 674 8 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063181876264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17808] ppid=17796 vsize=2966184 CPUtime=6.9 cores=1,3,5,7
/proc/17798/task/17808/stat : 17808 (java) S 17796 17798 3958 0 -1 4202560 344 0 0 0 680 10 0 0 20 0 22 0 339963907 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063180823464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17809] ppid=17796 vsize=2966184 CPUtime=124.8 cores=1,3,5,7
/proc/17798/task/17809/stat : 17809 (java) S 17796 17798 3958 0 -1 4202560 182 0 0 0 12455 25 0 0 20 0 22 0 339963908 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063049685224 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17810] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17810/stat : 17810 (java) S 17796 17798 3958 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 339963908 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063048631288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17811] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17811/stat : 17811 (java) S 17796 17798 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339963909 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063179769096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17812] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17812/stat : 17812 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339963911 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063047580048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17813] ppid=17796 vsize=2966184 CPUtime=1.72 cores=1,3,5,7
/proc/17798/task/17813/stat : 17813 (java) S 17796 17798 3958 0 -1 4202560 14045 0 0 0 169 3 0 0 20 0 22 0 339963911 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063046527672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17814] ppid=17796 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/17798/task/17814/stat : 17814 (java) S 17796 17798 3958 0 -1 4202560 5192 0 0 0 79 0 0 0 20 0 22 0 339963911 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140063045474872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17815] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17815/stat : 17815 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339963911 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140062171851896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17816] ppid=17796 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/17798/task/17816/stat : 17816 (java) S 17796 17798 3958 0 -1 4202560 52 0 0 0 14 19 0 0 20 0 22 0 339963911 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140062170799304 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17819] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17819/stat : 17819 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339963943 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140062167291048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17820] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17820/stat : 17820 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339963943 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140062166238248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17937] ppid=17796 vsize=2966184 CPUtime=88.82 cores=1,3,5,7
/proc/17798/task/17937/stat : 17937 (java) R 17796 17798 3958 0 -1 4202560 35 0 0 0 8881 1 0 0 20 0 22 0 340040661 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140062169743000 140063061788336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17938] ppid=17796 vsize=2966184 CPUtime=88.8 cores=1,3,5,7
/proc/17798/task/17938/stat : 17938 (java) R 17796 17798 3958 0 -1 4202560 30 0 0 0 8879 1 0 0 20 0 22 0 340040661 3037372416 300859 33554432000 1073741824 1073778376 140735319548304 140062168688720 140063062181215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1647.23
Current children cumulated vsize (KiB) 2966184
[startup+942.301 s]
/proc/loadavg: 3.58 3.68 3.70 5/220 17965
/proc/meminfo: memFree=29071376/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2966184 CPUtime=1758.46 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 27225 0 1 0 175666 180 0 0 20 0 22 0 339963905 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 741546 305122 2284 9 0 732240 0
[pid=17798/tid=17800] ppid=17796 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/17798/task/17800/stat : 17800 (java) S 17796 17798 3958 0 -1 4202560 2907 0 1 0 36 3 0 0 20 0 22 0 339963906 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063203910808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17801] ppid=17796 vsize=2966184 CPUtime=7.61 cores=1,3,5,7
/proc/17798/task/17801/stat : 17801 (java) S 17796 17798 3958 0 -1 4202560 375 0 0 0 751 10 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063188191528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17802] ppid=17796 vsize=2966184 CPUtime=7.37 cores=1,3,5,7
/proc/17798/task/17802/stat : 17802 (java) S 17796 17798 3958 0 -1 4202560 329 0 0 0 728 9 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063187138728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17803] ppid=17796 vsize=2966184 CPUtime=7.29 cores=1,3,5,7
/proc/17798/task/17803/stat : 17803 (java) S 17796 17798 3958 0 -1 4202560 361 0 0 0 721 8 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063186086440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17804] ppid=17796 vsize=2966184 CPUtime=7.78 cores=1,3,5,7
/proc/17798/task/17804/stat : 17804 (java) S 17796 17798 3958 0 -1 4202560 384 0 0 0 768 10 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063185033640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17805] ppid=17796 vsize=2966184 CPUtime=7.09 cores=1,3,5,7
/proc/17798/task/17805/stat : 17805 (java) S 17796 17798 3958 0 -1 4202560 362 0 0 0 697 12 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063183981352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17806] ppid=17796 vsize=2966184 CPUtime=7.23 cores=1,3,5,7
/proc/17798/task/17806/stat : 17806 (java) S 17796 17798 3958 0 -1 4202560 338 0 0 0 714 9 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063182928552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17807] ppid=17796 vsize=2966184 CPUtime=7.44 cores=1,3,5,7
/proc/17798/task/17807/stat : 17807 (java) S 17796 17798 3958 0 -1 4202560 337 0 0 0 735 9 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063181876264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17808] ppid=17796 vsize=2966184 CPUtime=7.57 cores=1,3,5,7
/proc/17798/task/17808/stat : 17808 (java) S 17796 17798 3958 0 -1 4202560 361 0 0 0 747 10 0 0 20 0 22 0 339963907 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063180823464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17809] ppid=17796 vsize=2966184 CPUtime=135.9 cores=1,3,5,7
/proc/17798/task/17809/stat : 17809 (java) S 17796 17798 3958 0 -1 4202560 186 0 0 0 13563 27 0 0 20 0 22 0 339963908 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063049685224 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17810] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17810/stat : 17810 (java) S 17796 17798 3958 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 339963908 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063048631288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17811] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17811/stat : 17811 (java) S 17796 17798 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339963909 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063179769096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17812] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17812/stat : 17812 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339963911 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063047580048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17813] ppid=17796 vsize=2966184 CPUtime=1.72 cores=1,3,5,7
/proc/17798/task/17813/stat : 17813 (java) S 17796 17798 3958 0 -1 4202560 14045 0 0 0 169 3 0 0 20 0 22 0 339963911 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063046527672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17814] ppid=17796 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/17798/task/17814/stat : 17814 (java) S 17796 17798 3958 0 -1 4202560 5192 0 0 0 79 0 0 0 20 0 22 0 339963911 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140063045474872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17815] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17815/stat : 17815 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339963911 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140062171851896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17816] ppid=17796 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/17798/task/17816/stat : 17816 (java) S 17796 17798 3958 0 -1 4202560 56 0 0 0 14 21 0 0 20 0 22 0 339963911 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140062170799304 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17819] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17819/stat : 17819 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339963943 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140062167291048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17820] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17820/stat : 17820 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339963943 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140062166238248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17937] ppid=17796 vsize=2966184 CPUtime=136.35 cores=1,3,5,7
/proc/17798/task/17937/stat : 17937 (java) R 17796 17798 3958 0 -1 4202560 52 0 0 0 13633 2 0 0 20 0 22 0 340040661 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140062169743824 140063061804433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17938] ppid=17796 vsize=2966184 CPUtime=136.33 cores=1,3,5,7
/proc/17798/task/17938/stat : 17938 (java) R 17796 17798 3958 0 -1 4202560 45 0 0 0 13631 2 0 0 20 0 22 0 340040661 3037372416 305122 33554432000 1073741824 1073778376 140735319548304 140062168689200 140063061998191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1758.46
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+964.801 s]
/proc/loadavg: 3.56 3.67 3.70 5/219 17965
/proc/meminfo: memFree=29069092/32873648 swapFree=7628/7628
[pid=17798] ppid=17796 vsize=2966184 CPUtime=1800.12 cores=1,3,5,7
/proc/17798/stat : 17798 (java) S 17796 17798 3958 0 -1 4202496 27280 0 1 0 179830 182 0 0 20 0 22 0 339963905 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140735319539440 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17798/statm: 741546 305674 2284 9 0 732240 0
[pid=17798/tid=17800] ppid=17796 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/17798/task/17800/stat : 17800 (java) S 17796 17798 3958 0 -1 4202560 2911 0 1 0 36 3 0 0 20 0 22 0 339963906 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063203910808 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17801] ppid=17796 vsize=2966184 CPUtime=7.9 cores=1,3,5,7
/proc/17798/task/17801/stat : 17801 (java) S 17796 17798 3958 0 -1 4202560 375 0 0 0 780 10 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063188191528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17802] ppid=17796 vsize=2966184 CPUtime=7.73 cores=1,3,5,7
/proc/17798/task/17802/stat : 17802 (java) S 17796 17798 3958 0 -1 4202560 334 0 0 0 764 9 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063187138728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17803] ppid=17796 vsize=2966184 CPUtime=7.58 cores=1,3,5,7
/proc/17798/task/17803/stat : 17803 (java) S 17796 17798 3958 0 -1 4202560 363 0 0 0 750 8 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063186086440 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17804] ppid=17796 vsize=2966184 CPUtime=8.05 cores=1,3,5,7
/proc/17798/task/17804/stat : 17804 (java) S 17796 17798 3958 0 -1 4202560 384 0 0 0 795 10 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063185033640 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17805] ppid=17796 vsize=2966184 CPUtime=7.35 cores=1,3,5,7
/proc/17798/task/17805/stat : 17805 (java) S 17796 17798 3958 0 -1 4202560 366 0 0 0 723 12 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063183981352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17806] ppid=17796 vsize=2966184 CPUtime=7.52 cores=1,3,5,7
/proc/17798/task/17806/stat : 17806 (java) S 17796 17798 3958 0 -1 4202560 356 0 0 0 743 9 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063182928552 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17807] ppid=17796 vsize=2966184 CPUtime=7.71 cores=1,3,5,7
/proc/17798/task/17807/stat : 17807 (java) S 17796 17798 3958 0 -1 4202560 348 0 0 0 762 9 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063181876264 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17808] ppid=17796 vsize=2966184 CPUtime=7.82 cores=1,3,5,7
/proc/17798/task/17808/stat : 17808 (java) S 17796 17798 3958 0 -1 4202560 362 0 0 0 772 10 0 0 20 0 22 0 339963907 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063180823464 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17809] ppid=17796 vsize=2966184 CPUtime=140.3 cores=1,3,5,7
/proc/17798/task/17809/stat : 17809 (java) S 17796 17798 3958 0 -1 4202560 186 0 0 0 14002 28 0 0 20 0 22 0 339963908 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063049685224 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17810] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17810/stat : 17810 (java) S 17796 17798 3958 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 339963908 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063048631288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17811] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17811/stat : 17811 (java) S 17796 17798 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 339963909 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063179769096 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17812] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17812/stat : 17812 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339963911 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063047580048 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17813] ppid=17796 vsize=2966184 CPUtime=1.72 cores=1,3,5,7
/proc/17798/task/17813/stat : 17813 (java) S 17796 17798 3958 0 -1 4202560 14045 0 0 0 169 3 0 0 20 0 22 0 339963911 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063046527672 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17814] ppid=17796 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/17798/task/17814/stat : 17814 (java) S 17796 17798 3958 0 -1 4202560 5192 0 0 0 79 0 0 0 20 0 22 0 339963911 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140063045474872 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17815] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17815/stat : 17815 (java) S 17796 17798 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 339963911 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140062171851896 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17816] ppid=17796 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/17798/task/17816/stat : 17816 (java) S 17796 17798 3958 0 -1 4202560 56 0 0 0 15 22 0 0 20 0 22 0 339963911 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140062170799304 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17798/tid=17819] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17819/stat : 17819 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339963943 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140062167291048 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17798/tid=17820] ppid=17796 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17798/task/17820/stat : 17820 (java) S 17796 17798 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 339963943 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140062166238248 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17798/tid=17937] ppid=17796 vsize=2966184 CPUtime=153.83 cores=1,3,5,7
/proc/17798/task/17937/stat : 17937 (java) R 17796 17798 3958 0 -1 4202560 55 0 0 0 15381 2 0 0 20 0 22 0 340040661 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140062169742880 140063061804510 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17798/tid=17938] ppid=17796 vsize=2966184 CPUtime=153.83 cores=1,3,5,7
/proc/17798/task/17938/stat : 17938 (java) R 17796 17798 3958 0 -1 4202560 52 0 0 0 15381 2 0 0 20 0 22 0 340040661 3037372416 305674 33554432000 1073741824 1073778376 140735319548304 140062168688912 140063062181134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
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): 964.844
CPU time (s): 1800.49
CPU user time (s): 1798.45
CPU system time (s): 2.04269
CPU usage (%): 186.609
Max. virtual memory (cumulated for all children) (KiB): 2966524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 2.04269
maximum resident set size= 1222808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27311
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37949
involuntary context switches= 124476
runsolver used 3.64045 second user time and 8.89365 second system time
The end