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-3737666-1338755060/watcher-3737666-1338755060 -o /tmp/evaluation-result-3737666-1338755060/solver-3737666-1338755060 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3737666-1338755060.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.92 3.82 3.50 4/197 18928
/proc/meminfo: memFree=26373116/32873648 swapFree=6860/6860
[pid=18928] ppid=18926 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (java6) D 18926 18928 17435 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 341632057 2560000 46 33554432000 1073741824 1073778376 140734994773920 140734994771048 266426477863 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 625 46 37 9 0 29 0
[startup+0.0803079 s]
/proc/loadavg: 3.92 3.82 3.50 4/197 18928
/proc/meminfo: memFree=26373116/32873648 swapFree=6860/6860
[pid=18928] ppid=18926 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/18928/stat : 18928 (java) S 18926 18928 17435 0 -1 4202496 3905 0 1 0 4 1 0 0 20 0 18 0 341632057 2764726272 5624 33554432000 1073741824 1073778376 140734054642496 140734054633632 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18928/statm: 674982 5624 1771 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100208 s]
/proc/loadavg: 3.92 3.82 3.50 4/197 18928
/proc/meminfo: memFree=26373116/32873648 swapFree=6860/6860
[pid=18928] ppid=18926 vsize=2699928 CPUtime=0.08 cores=1,3,5,7
/proc/18928/stat : 18928 (java) S 18926 18928 17435 0 -1 4202496 4627 0 1 0 7 1 0 0 20 0 18 0 341632057 2764726272 6315 33554432000 1073741824 1073778376 140734054642496 140734054633632 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18928/statm: 674982 6315 2040 9 0 665676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2699928
[startup+0.300265 s]
/proc/loadavg: 3.92 3.82 3.50 4/197 18928
/proc/meminfo: memFree=26373116/32873648 swapFree=6860/6860
[pid=18928] ppid=18926 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/18928/stat : 18928 (java) S 18926 18928 17435 0 -1 4202496 5045 0 1 0 14 1 0 0 20 0 20 0 341632057 3037372416 8210 33554432000 1073741824 1073778376 140734054642496 140734054633632 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18928/statm: 741546 8210 2163 9 0 732240 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+0.700131 s]
/proc/loadavg: 3.92 3.82 3.50 4/197 18928
/proc/meminfo: memFree=26373116/32873648 swapFree=6860/6860
[pid=18928] ppid=18926 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/18928/stat : 18928 (java) S 18926 18928 17435 0 -1 4202496 5045 0 1 0 14 1 0 0 20 0 20 0 341632057 3037372416 8210 33554432000 1073741824 1073778376 140734054642496 140734054633632 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18928/statm: 741546 8210 2163 9 0 732240 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2966184
[startup+1.50059 s]
/proc/loadavg: 3.92 3.82 3.50 3/217 18950
/proc/meminfo: memFree=26348668/32873648 swapFree=6860/6860
[pid=18928] ppid=18926 vsize=2966184 CPUtime=0.18 cores=1,3,5,7
/proc/18928/stat : 18928 (java) S 18926 18928 17435 0 -1 4202496 5058 0 1 0 16 2 0 0 20 0 20 0 341632057 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140734054633632 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18928/statm: 741546 9238 2167 9 0 732240 0
[pid=18928/tid=18930] ppid=18926 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/18928/task/18930/stat : 18930 (java) S 18926 18928 17435 0 -1 4202560 2808 0 1 0 9 2 0 0 20 0 20 0 341632058 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143641400472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18931] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18931/stat : 18931 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143507794984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18932] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18932/stat : 18932 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143506742184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18928/tid=18933] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18933/stat : 18933 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143505689384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18928/tid=18934] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18934/stat : 18934 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143504636584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18935] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18935/stat : 18935 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143503583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18936] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18936/stat : 18936 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143502530984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18937] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18937/stat : 18937 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143501478184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18938] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18938/stat : 18938 (java) S 18926 18928 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143500425384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18939] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18939/stat : 18939 (java) S 18926 18928 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341632061 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143488228328 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18940] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18940/stat : 18940 (java) S 18926 18928 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341632061 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143487174392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18941] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18941/stat : 18941 (java) S 18926 18928 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341632061 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143486121480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18942] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18942/stat : 18942 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632064 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143485069968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18943] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18943/stat : 18943 (java) S 18926 18928 17435 0 -1 4202560 409 0 0 0 0 0 0 0 20 0 20 0 341632064 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143484017080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18944] ppid=18926 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18928/task/18944/stat : 18944 (java) S 18926 18928 17435 0 -1 4202560 540 0 0 0 1 0 0 0 20 0 20 0 341632064 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143482964280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18928/tid=18945] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18945/stat : 18945 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632064 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143481911672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18928/tid=18946] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18946/stat : 18946 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632064 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143480859080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18949] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18949/stat : 18949 (java) S 18926 18928 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341632072 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143477700008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18928/tid=18950] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18950/stat : 18950 (java) S 18926 18928 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341632072 3037372416 9238 33554432000 1073741824 1073778376 140734054642496 140143476647208 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 2966184
[startup+3.10066 s]
/proc/loadavg: 3.92 3.82 3.50 3/217 18952
/proc/meminfo: memFree=26343928/32873648 swapFree=6860/6860
[pid=18928] ppid=18926 vsize=2966184 CPUtime=0.6 cores=1,3,5,7
/proc/18928/stat : 18928 (java) S 18926 18928 17435 0 -1 4202496 9132 0 1 0 56 4 0 0 20 0 20 0 341632057 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140734054633632 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18928/statm: 741546 13698 2215 9 0 732240 0
[pid=18928/tid=18930] ppid=18926 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/18928/task/18930/stat : 18930 (java) S 18926 18928 17435 0 -1 4202560 2808 0 1 0 10 2 0 0 20 0 20 0 341632058 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143641400472 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18931] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18931/stat : 18931 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143507794984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18932] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18932/stat : 18932 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143506742184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18928/tid=18933] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18933/stat : 18933 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143505689384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18928/tid=18934] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18934/stat : 18934 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143504636584 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18935] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18935/stat : 18935 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143503583784 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18936] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18936/stat : 18936 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143502530984 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18937] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18937/stat : 18937 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143501478184 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18938] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18938/stat : 18938 (java) S 18926 18928 17435 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 341632059 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143500425384 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18939] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18939/stat : 18939 (java) S 18926 18928 17435 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 341632061 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143488228328 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18940] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18940/stat : 18940 (java) S 18926 18928 17435 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 341632061 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143487174392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18941] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18941/stat : 18941 (java) S 18926 18928 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341632061 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143486121480 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18942] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18942/stat : 18942 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632064 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143485069968 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18943] ppid=18926 vsize=2966184 CPUtime=0.14 cores=1,3,5,7
/proc/18928/task/18943/stat : 18943 (java) S 18926 18928 17435 0 -1 4202560 2450 0 0 0 14 0 0 0 20 0 20 0 341632064 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143484017080 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18928/tid=18944] ppid=18926 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/18928/task/18944/stat : 18944 (java) S 18926 18928 17435 0 -1 4202560 2555 0 0 0 15 0 0 0 20 0 20 0 341632064 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143482964280 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18928/tid=18945] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18945/stat : 18945 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632064 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143481911672 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18928/tid=18946] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18946/stat : 18946 (java) S 18926 18928 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 341632064 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143480859080 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18928/tid=18949] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18949/stat : 18949 (java) S 18926 18928 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341632072 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143477700008 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18928/tid=18950] ppid=18926 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18928/task/18950/stat : 18950 (java) S 18926 18928 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 341632072 3037372416 13698 33554432000 1073741824 1073778376 140734054642496 140143476647208 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 2966184
heavy processes:
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 3.16014
CPU time (s): 0.644901
CPU user time (s): 0.562914
CPU system time (s): 0.081987
CPU usage (%): 20.4074
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.562914
system time used= 0.081987
maximum resident set size= 58924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9147
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356
involuntary context switches= 46
runsolver used 0.018997 second user time and 0.034994 second system time
The end