runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453821-1307194276/watcher-3453821-1307194276 -o /tmp/evaluation-result-3453821-1307194276/solver-3453821-1307194276 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453821-1307194276.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.12 3.78 3.75 3/529 10158
/proc/meminfo: memFree=15229112/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 1836 0 1 0 0 0 0 0 17 0 2 0 831026226 10681323520 1538 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2607745 1552 906 9 0 2598901 0
[pid=10158/tid=10159] ppid=10154 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) R 10154 10158 4029 0 -1 4202560 5777 0 1 0 0 0 0 0 17 0 2 0 831026227 10694979584 6593 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242970244155 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0269221 s]
/proc/loadavg: 3.12 3.78 3.75 3/529 10158
/proc/meminfo: memFree=15229112/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10453028 CPUtime=0.02 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 10008 0 1 0 1 1 0 0 17 0 10 0 831026226 10703900672 9710 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2613257 9711 989 9 0 2604413 0
[pid=10158/tid=10159] ppid=10154 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) R 10154 10158 4029 0 -1 4202560 8887 0 1 0 0 0 0 0 18 0 10 0 831026227 10703900672 9712 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 47566280972536 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10453028
[startup+0.104945 s]
/proc/loadavg: 3.12 3.78 3.75 3/529 10158
/proc/meminfo: memFree=15229112/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10539784 CPUtime=0.1 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 13027 0 1 0 8 2 0 0 17 0 18 0 831026226 10792738816 12724 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2634946 12726 2092 9 0 2625680 0
[pid=10158/tid=10159] ppid=10154 vsize=10539784 CPUtime=0.08 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) R 10154 10158 4029 0 -1 4202560 11116 0 1 0 7 1 0 0 18 0 18 0 831026227 10792738816 12726 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 47566277350745 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539784
[startup+0.300833 s]
/proc/loadavg: 3.12 3.78 3.75 3/529 10158
/proc/meminfo: memFree=15229112/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10547800 CPUtime=0.7 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 17839 0 1 0 68 2 0 0 17 0 22 0 831026226 10800947200 16337 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2636950 16337 2191 9 0 2627684 0
[pid=10158/tid=10159] ppid=10154 vsize=10547800 CPUtime=0.13 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) S 10154 10158 4029 0 -1 4202560 11629 0 1 0 12 1 0 0 19 0 22 0 831026227 10800947200 16337 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10547800
[startup+0.700766 s]
/proc/loadavg: 3.12 3.78 3.75 3/529 10158
/proc/meminfo: memFree=15229112/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10563492 CPUtime=2.3 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 38456 0 1 0 226 4 0 0 17 0 22 0 831026226 10817015808 33527 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2640873 33527 2217 9 0 2631607 0
[pid=10158/tid=10159] ppid=10154 vsize=10563492 CPUtime=0.13 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) S 10154 10158 4029 0 -1 4202560 11629 0 1 0 12 1 0 0 15 0 22 0 831026227 10817015808 33529 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10563492
[startup+1.50067 s]
/proc/loadavg: 3.12 3.78 3.75 5/570 10206
/proc/meminfo: memFree=14872300/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10562492 CPUtime=3.34 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 66504 0 1 0 326 8 0 0 17 0 19 0 831026226 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2640623 60950 2251 9 0 2631357 0
[pid=10158/tid=10159] ppid=10154 vsize=10562492 CPUtime=0.13 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) S 10154 10158 4029 0 -1 4202560 11631 0 1 0 12 1 0 0 16 0 19 0 831026227 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10164] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10164/stat : 10164 (java) S 10154 10158 4029 0 -1 4202560 278 0 0 0 0 0 0 0 18 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10167] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10167/stat : 10167 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10169] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10169/stat : 10169 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10171] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10171/stat : 10171 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10173] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10173/stat : 10173 (java) S 10154 10158 4029 0 -1 4202560 264 0 0 0 0 0 0 0 18 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10175] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10175/stat : 10175 (java) S 10154 10158 4029 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10177] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10177/stat : 10177 (java) S 10154 10158 4029 0 -1 4202560 353 0 0 0 0 0 0 0 18 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
[pid=10158/tid=10178] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10178/stat : 10178 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831026229 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10180] ppid=10154 vsize=10562492 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10180/stat : 10180 (java) S 10154 10158 4029 0 -1 4202560 883 0 0 0 1 0 0 0 15 0 19 0 831026230 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 0 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10182] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10182/stat : 10182 (java) S 10154 10158 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831026230 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10185] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10185/stat : 10185 (java) S 10154 10158 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831026230 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10186] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10186/stat : 10186 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831026233 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982373809 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10188] ppid=10154 vsize=10562492 CPUtime=0.76 cores=1,3,5,7
/proc/10158/task/10188/stat : 10188 (java) S 10154 10158 4029 0 -1 4202560 6250 0 0 0 76 0 0 0 16 0 19 0 831026233 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10192] ppid=10154 vsize=10562492 CPUtime=0.75 cores=1,3,5,7
/proc/10158/task/10192/stat : 10192 (java) S 10154 10158 4029 0 -1 4202560 7826 0 0 0 75 0 0 0 15 0 19 0 831026233 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10194] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10194/stat : 10194 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831026233 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10196] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10196/stat : 10196 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831026233 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
[pid=10158/tid=10202] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10202/stat : 10202 (java) S 10154 10158 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831026243 10815991808 60950 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 10562492
[startup+3.10135 s]
/proc/loadavg: 3.11 3.76 3.75 4/570 10213
/proc/meminfo: memFree=14624052/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10562492 CPUtime=5.51 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 145568 0 1 0 533 18 0 0 17 0 22 0 831026226 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2640623 140012 2251 9 0 2631357 0
[pid=10158/tid=10159] ppid=10154 vsize=10562492 CPUtime=0.13 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) S 10154 10158 4029 0 -1 4202560 11631 0 1 0 12 1 0 0 15 0 22 0 831026227 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10164] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10164/stat : 10164 (java) S 10154 10158 4029 0 -1 4202560 278 0 0 0 0 0 0 0 18 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10167] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10167/stat : 10167 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10169] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10169/stat : 10169 (java) S 10154 10158 4029 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10171] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10171/stat : 10171 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10173] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10173/stat : 10173 (java) S 10154 10158 4029 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10175] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10175/stat : 10175 (java) S 10154 10158 4029 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10177] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10177/stat : 10177 (java) S 10154 10158 4029 0 -1 4202560 721 0 0 0 0 0 0 0 18 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
[pid=10158/tid=10178] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10178/stat : 10178 (java) S 10154 10158 4029 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 22 0 831026229 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10180] ppid=10154 vsize=10562492 CPUtime=0.03 cores=1,3,5,7
/proc/10158/task/10180/stat : 10180 (java) S 10154 10158 4029 0 -1 4202560 1685 0 0 0 3 0 0 0 15 0 22 0 831026230 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 0 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10182] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10182/stat : 10182 (java) S 10154 10158 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831026230 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10185] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10185/stat : 10185 (java) S 10154 10158 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831026230 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10186] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10186/stat : 10186 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831026233 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982373809 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10188] ppid=10154 vsize=10562492 CPUtime=0.86 cores=1,3,5,7
/proc/10158/task/10188/stat : 10188 (java) S 10154 10158 4029 0 -1 4202560 6258 0 0 0 86 0 0 0 15 0 22 0 831026233 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10192] ppid=10154 vsize=10562492 CPUtime=0.8 cores=1,3,5,7
/proc/10158/task/10192/stat : 10192 (java) S 10154 10158 4029 0 -1 4202560 7835 0 0 0 80 0 0 0 16 0 22 0 831026233 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10194] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10194/stat : 10194 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831026233 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10196] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10196/stat : 10196 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831026233 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
[pid=10158/tid=10202] ppid=10154 vsize=10562492 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10202/stat : 10202 (java) S 10154 10158 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831026243 10815991808 140012 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 10562492
[startup+6.30084 s]
/proc/loadavg: 3.11 3.76 3.75 6/573 10216
/proc/meminfo: memFree=14061848/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10559504 CPUtime=11.85 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 160664 0 1 0 1166 19 0 0 17 0 22 0 831026226 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2639876 154125 2258 9 0 2630610 0
[pid=10158/tid=10159] ppid=10154 vsize=10559504 CPUtime=0.13 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) S 10154 10158 4029 0 -1 4202560 11632 0 1 0 12 1 0 0 15 0 22 0 831026227 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10164] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10164/stat : 10164 (java) S 10154 10158 4029 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10167] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10167/stat : 10167 (java) S 10154 10158 4029 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10169] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10169/stat : 10169 (java) S 10154 10158 4029 0 -1 4202560 359 0 0 0 0 0 0 0 15 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10171] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10171/stat : 10171 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10173] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10173/stat : 10173 (java) S 10154 10158 4029 0 -1 4202560 275 0 0 0 0 0 0 0 16 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10175] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10175/stat : 10175 (java) S 10154 10158 4029 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10177] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10177/stat : 10177 (java) S 10154 10158 4029 0 -1 4202560 721 0 0 0 0 0 0 0 15 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10178] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10178/stat : 10178 (java) S 10154 10158 4029 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 831026229 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10180] ppid=10154 vsize=10559504 CPUtime=0.15 cores=1,3,5,7
/proc/10158/task/10180/stat : 10180 (java) S 10154 10158 4029 0 -1 4202560 3261 0 0 0 15 0 0 0 15 0 22 0 831026230 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 0 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
[pid=10158/tid=10182] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10182/stat : 10182 (java) S 10154 10158 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831026230 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10185] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10185/stat : 10185 (java) S 10154 10158 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831026230 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10186] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10186/stat : 10186 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831026233 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982373809 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10188] ppid=10154 vsize=10559504 CPUtime=0.87 cores=1,3,5,7
/proc/10158/task/10188/stat : 10188 (java) S 10154 10158 4029 0 -1 4202560 6258 0 0 0 87 0 0 0 15 0 22 0 831026233 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10192] ppid=10154 vsize=10559504 CPUtime=0.86 cores=1,3,5,7
/proc/10158/task/10192/stat : 10192 (java) S 10154 10158 4029 0 -1 4202560 7845 0 0 0 86 0 0 0 15 0 22 0 831026233 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10194] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10194/stat : 10194 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831026233 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10196] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10196/stat : 10196 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831026233 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10202] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10202/stat : 10202 (java) S 10154 10158 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831026243 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10214] ppid=10154 vsize=10559504 CPUtime=3.95 cores=1,3,5,7
/proc/10158/task/10214/stat : 10214 (java) R 10154 10158 4029 0 -1 4202560 3 0 0 0 395 0 0 0 21 0 22 0 831026444 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 46912505200007 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10158/tid=10215] ppid=10154 vsize=10559504 CPUtime=3.95 cores=1,3,5,7
/proc/10158/task/10215/stat : 10215 (java) R 10154 10158 4029 0 -1 4202560 84267 0 0 0 386 9 0 0 21 0 22 0 831026444 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 46912505527370 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10158/tid=10216] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10216/stat : 10216 (java) S 10154 10158 4029 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831026444 10812932096 154125 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.85
Current children cumulated vsize (KiB) 10559504
[startup+12.7007 s]
/proc/loadavg: 3.24 3.77 3.75 7/573 10222
/proc/meminfo: memFree=13743560/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10559504 CPUtime=25.09 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 215291 0 1 0 2483 26 0 0 17 0 19 0 831026226 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2639876 205165 2258 9 0 2630610 0
[pid=10158/tid=10159] ppid=10154 vsize=10559504 CPUtime=0.13 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) S 10154 10158 4029 0 -1 4202560 11632 0 1 0 12 1 0 0 15 0 19 0 831026227 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10164] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10164/stat : 10164 (java) S 10154 10158 4029 0 -1 4202560 299 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10167] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10167/stat : 10167 (java) S 10154 10158 4029 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10169] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10169/stat : 10169 (java) S 10154 10158 4029 0 -1 4202560 364 0 0 0 1 0 0 0 16 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10171] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10171/stat : 10171 (java) S 10154 10158 4029 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10173] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10173/stat : 10173 (java) S 10154 10158 4029 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10175] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10175/stat : 10175 (java) S 10154 10158 4029 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10177] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10177/stat : 10177 (java) S 10154 10158 4029 0 -1 4202560 725 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10178] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10178/stat : 10178 (java) S 10154 10158 4029 0 -1 4202560 324 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10180] ppid=10154 vsize=10559504 CPUtime=0.32 cores=1,3,5,7
/proc/10158/task/10180/stat : 10180 (java) S 10154 10158 4029 0 -1 4202560 4807 0 0 0 32 0 0 0 15 0 19 0 831026230 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 0 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
[pid=10158/tid=10182] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10182/stat : 10182 (java) S 10154 10158 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831026230 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10185] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10185/stat : 10185 (java) S 10154 10158 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831026230 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10186] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10186/stat : 10186 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982373809 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10188] ppid=10154 vsize=10559504 CPUtime=0.9 cores=1,3,5,7
/proc/10158/task/10188/stat : 10188 (java) S 10154 10158 4029 0 -1 4202560 6258 0 0 0 90 0 0 0 15 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10192] ppid=10154 vsize=10559504 CPUtime=1.61 cores=1,3,5,7
/proc/10158/task/10192/stat : 10192 (java) S 10154 10158 4029 0 -1 4202560 14069 0 0 0 160 1 0 0 15 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10194] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10194/stat : 10194 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10196] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10196/stat : 10196 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10202] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10202/stat : 10202 (java) S 10154 10158 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831026243 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 10559504
Solver just ended. Dumping a history of the last processes samples
[startup+12.8017 s]
/proc/loadavg: 3.24 3.77 3.75 7/573 10222
/proc/meminfo: memFree=13743560/32951132 swapFree=46579808/67111528
[pid=10158] ppid=10154 vsize=10559504 CPUtime=25.14 cores=1,3,5,7
/proc/10158/stat : 10158 (java) S 10154 10158 4029 0 -1 4202496 215291 0 1 0 2488 26 0 0 17 0 19 0 831026226 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10158/statm: 2639876 205165 2258 9 0 2630610 0
[pid=10158/tid=10159] ppid=10154 vsize=10559504 CPUtime=0.18 cores=1,3,5,7
/proc/10158/task/10159/stat : 10159 (java) R 10154 10158 4029 0 -1 4202560 11632 0 1 0 17 1 0 0 15 0 19 0 831026227 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 46912506124861 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10158/tid=10164] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10164/stat : 10164 (java) S 10154 10158 4029 0 -1 4202560 299 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10167] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10167/stat : 10167 (java) S 10154 10158 4029 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10169] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10169/stat : 10169 (java) S 10154 10158 4029 0 -1 4202560 364 0 0 0 1 0 0 0 16 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10171] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10171/stat : 10171 (java) S 10154 10158 4029 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10173] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10173/stat : 10173 (java) S 10154 10158 4029 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10175] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10175/stat : 10175 (java) S 10154 10158 4029 0 -1 4202560 14 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10177] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10177/stat : 10177 (java) S 10154 10158 4029 0 -1 4202560 725 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10178] ppid=10154 vsize=10559504 CPUtime=0.01 cores=1,3,5,7
/proc/10158/task/10178/stat : 10178 (java) S 10154 10158 4029 0 -1 4202560 324 0 0 0 1 0 0 0 15 0 19 0 831026229 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10180] ppid=10154 vsize=10559504 CPUtime=0.32 cores=1,3,5,7
/proc/10158/task/10180/stat : 10180 (java) S 10154 10158 4029 0 -1 4202560 4807 0 0 0 32 0 0 0 15 0 19 0 831026230 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 0 0 16800975 18446604464040045504 0 0 -1 1 0 0 0
[pid=10158/tid=10182] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10182/stat : 10182 (java) S 10154 10158 4029 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831026230 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10185] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10185/stat : 10185 (java) S 10154 10158 4029 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 831026230 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10186] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10186/stat : 10186 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982373809 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10188] ppid=10154 vsize=10559504 CPUtime=0.9 cores=1,3,5,7
/proc/10158/task/10188/stat : 10188 (java) S 10154 10158 4029 0 -1 4202560 6258 0 0 0 90 0 0 0 15 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 5 0 0 0
[pid=10158/tid=10192] ppid=10154 vsize=10559504 CPUtime=1.61 cores=1,3,5,7
/proc/10158/task/10192/stat : 10192 (java) R 10154 10158 4029 0 -1 4202560 14069 0 0 0 160 1 0 0 15 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 47566276215783 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10158/tid=10194] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10194/stat : 10194 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366105 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
[pid=10158/tid=10196] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10196/stat : 10196 (java) S 10154 10158 4029 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831026233 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 7 0 0 0
[pid=10158/tid=10202] ppid=10154 vsize=10559504 CPUtime=0 cores=1,3,5,7
/proc/10158/task/10202/stat : 10202 (java) S 10154 10158 4029 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831026243 10812932096 205165 33554432000 1073741824 1073778376 140736171391984 18446744073709551615 242982366720 0 4 0 16800975 18446604464040045504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 10559504
Child status: 30
Real time (s): 12.8723
CPU time (s): 25.2282
CPU user time (s): 24.9232
CPU system time (s): 0.304953
CPU usage (%): 195.988
Max. virtual memory (cumulated for all children) (KiB): 10563492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9232
system time used= 0.304953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215294
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= 1047
involuntary context switches= 519
runsolver used 0.072988 second user time and 0.177972 second system time
The end